Projective Schur algebras of nilpotent type are Brauer equivalent to radical algebras (Q1818857)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Projective Schur algebras of nilpotent type are Brauer equivalent to radical algebras
scientific article

    Statements

    Projective Schur algebras of nilpotent type are Brauer equivalent to radical algebras (English)
    0 references
    0 references
    0 references
    27 February 2001
    0 references
    Given a field \(k\), a finite group \(G\) and \(\alpha\in H^2(G,k^\times)\), where \(G\) acts trivially on \(k^\times\), the authors form the twisted group algebra \(k^\alpha G\) and define a projective Schur algebra over \(k\) as a \(k\)-central simple algebra which is a homomorphic image of some \(k^\alpha G\). Such an algebra determines an element in the Brauer group \(\text{Br}(k)\) and the set of these elements forms a subgroup, called the projective Brauer group of \(k\) and denoted by \(\text{PS}(k)\) [see \textit{F. Lorenz} and \textit{H. Opolka}, Math. Z. 162, 175-182 (1978; Zbl 0373.16006)]. The authors study projective Schur algebras defined by a nilpotent group \(G\). The subgroup of \(\text{PS}(k)\) generated by the corresponding elements is written \(\text{PNil}(k)\), with the subgroup \(\text{PAb}(k)\) arising from Abelian groups, i.e. algebras of Abelian type. They show that every projective Schur algebra of Abelian type is isomorphic to a full matrix ring over a tensor product of symbol algebras. -- Next take a finite extension \(K/k\), let \(F\) be the set of elements of \(K^\times\) of finite order \(\text{mod }k^\times\), and form the subfield \(k(F)\) spanned by \(F\). If \(K=k(F)\), \(K/k\) is called a radical extension and a central simple \(k\)-algebra \(A\) is called a radical algebra if it is a crossed product with a radical extension as splitting field. The authors prove that every element of \(\text{PNil}(k)\) can be represented by a radical algebra and they conjecture that this result holds for every member of \(\text{PS}(k)\). The proofs are by a series of reductions, using results from their earlier papers [\textit{E. Aljadeff} and \textit{J. Sonn}, J. Algebra 175, No. 1, 179-187 (1995; Zbl 0828.16017), ibid. 178, No. 2, 530-540 (1995; Zbl 0852.16011)].
    0 references
    central simple algebras
    0 references
    finite groups
    0 references
    twisted group algebras
    0 references
    projective Schur algebras
    0 references
    projective Brauer groups
    0 references
    algebras of Abelian type
    0 references
    full matrix rings
    0 references
    tensor products of symbol algebras
    0 references
    crossed products
    0 references
    radical extensions
    0 references
    splitting fields
    0 references
    0 references

    Identifiers