Projective schur division algebras

From MaRDI portal





Let \(B\) be a finite-dimensional central simple \(k\)-algebra (where \(k\) is a field). The authors call \(B\) a projective Schur algebra if it is a homomorphic image of a twisted group algebra \(k^\beta G\), where \(G\) is a finite group and \(\beta\in H^2(G,k^*)\). When \(\beta=0\), \(B\) is a homomorphic image of \(kG\), the group algebra, so \(B\) is then a Schur algebra. The authors' aim is to generalize certain results for Schur algebras to the projective case. Thus they prove that every projective Schur division \(k\)-algebra \(B\) is similar to a crossed product algebra \((L/k,\alpha)\) where \(\alpha\in H^2(L/k,L^*)\) and \(\alpha\) is represented by a 2-cocycle with values in the group of \(n\)th roots of 1 for some \(n>0\) [for the Schur case cf. \textit{G. Janusz}, Proc. Am. Math. Soc. 35, 387-388 (1972; Zbl 0256.13005)]. As a consequence, they deduce that (i) when \(\text{char }k=0\), then \(k\) contains \(\varepsilon_m\), a primitive \(m\)th root of 1, where \(m\) is the exponent of \(k\), (ii) if \(k\) is an extension of the rationals \(\mathbb{Q}\) and \(p\) is any rational prime, with \(\wp\) a prime of \(k\) lying over \(p\), and if further, \(\theta\) is an automorphism of \(k/\mathbb{Q}\) with \(\theta(\varepsilon_m)=\varepsilon^b_m\), where \(b>0\) and \(b\) is prime to \(m\), then \(\text{inv}_{\wp}(B)\equiv b\cdot\text{inv}_{\wp^\theta}(B)\pmod 1\). They end by asking whether every projective Schur algebra is similar to a Schur algebra with these properties.











This page was built for publication: Projective schur division algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4395735)