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

From MaRDI portal





scientific article; zbMATH DE number 1384465
Language Label Description Also known as
English
Projective Schur algebras of nilpotent type are Brauer equivalent to radical algebras
scientific article; zbMATH DE number 1384465

    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