On generic G-graded Azumaya algebras

DOI10.1016/J.AIM.2022.108292MaRDI QIDQ2118927zbMATH OpenOpenAlexFDO

Authors Eli Aljadeff, Yakov Karasik

Publication date 23 March 2022

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2008.00976

zbMATH Keywords

Azumaya algebragraded algebrasgraded division algebraspolynomial identitiesverbally prime

Mathematics Subject Classification ID

Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.) (16H05) Finite-dimensional division rings (16K20) (T)-ideals, identities, varieties of associative rings and algebras (16R10) Other kinds of identities (generalized polynomial, rational, involution) (16R50) Graded rings and modules (associative rings and algebras) (16W50)

Abstract: Let $F$ be an algebraically closed field of characteristic zero and let $G$ be a finite group. Consider $G$-graded simple algebras $A$ which are finite dimensional and $e$-central over $F$, i.e. $Z(A{)}_e:=Z(A)cap{A}_e=F$. For any such algebra we construct a extit{generic} $G$-graded algebra $mathcalU$ which is extit{Azumaya} in the following sense. $(1)$ extit{$($Correspondence of ideals$)$}: There is one to one correspondence between the $G$-graded ideals of $mathcalU$ and the ideals of the ring $R$, the $e$-center of $mathcalU$. $(2)$ extit{Artin-Procesi condition}: $mathcalU$ satisfies the $G$-graded identities of $A$ and no nonzero $G$-graded homomorphic image of $mathcalU$ satisfies properly more identities. $(3)$ extit{Generic}: If $B$ is a $G$-graded algebra over a field then it is a specialization of $mathcalU$ along an ideal $mathfrakainspec(Z(mathcalU{)}_e)$ if and only if it is a $G$-graded form of $A$ over its $e$-center. We apply this to characterize finite dimensional $G$-graded simple algebras over $F$ that admit a $G$-graded division algebra form over their $e$-center.

Review text

Let \(F\) be an algebraically closed field of characteristic zero, and \(G\) a finite group. Given a finite dimensional \(G\)-graded central simple algebra \(A\) over \(F\), the authors construct a graded Azumaya algebra \(\mathcal{U}\) which is graded generic for \(A\). Namely, \(\mathcal{U}\), and all its nonzero graded quotients satisfy the same \(G\)-graded polynomial identities as \(A\); there is a one-to-one correspondence between graded ideals of \(\mathcal{U}\) and the ideals of its graded-center; and the graded prime quotients of \(\mathcal{U}\) are precisely the graded forms of \(A\). A substantial part of the paper is devoted to showing that a certain cyclotomic field is the unique minimal field of definition of~\(A\). This field is also the unique minimal field of definition of the T-ideal of graded identities of \(A\). This is done by recalling that a graded central simple algebra over an algebraically closed field is a matrix algebra over a twisted subgroup algebra for some subgroup \(H \leq G\), and adjusting the twisting cocycle. The algebra \(\mathcal{U}\) is then obtained as the localization, by a suitable polynomial, of the relatively free algebra of \(A\) over the minimal field of definition. This polynomial is chosen as an identity of all the graded algebras that have strictly more identities than \(A\), of which there are finitely many. As an application, it is shown that \(A\) admits a \(G\)-graded division algebra form over its \(e\)-center \(Z(A)_e\) if and only if its T-ideal of graded identities is strongly verbally prime having the same minimal field of definition as \(A\).

Recommendations

• Graded identities of matrix algebras and the universal graded algebra.
• On the universal G-graded central simple algebra.
• \(G\)-graded central polynomials and \(G\)-graded Posner's theorem
• Simple 𝐺-graded algebras and their polynomial identities
• On graded simple algebras

Cites work

• \(G\)-graded central polynomials and \(G\)-graded Posner's theorem
• A Generalization of the Brauer Group of Graded Algebras
• Central simple algebras and Galois cohomology
• Descent, fields of invariants, and generic forms via symmetric monoidal categories
• FIELDS OF DEFINITION FOR DIVISION ALGEBRAS
• Finite-Dimensional Division Algebras over Fields
• Finite-dimensional simple graded algebras
• Full quivers of representations of algebras.
• Graded Brauer Groups.
• Graded division algebras
• Graded division algebras over the field of real numbers
• Graded embeddings of finite dimensional simple graded algebras.
• Graded identities of matrix algebras and the universal graded algebra.
• Graded-division algebras and Galois extensions
• Graded-division algebras over arbitrary fields
• Gradings on simple Lie algebras
• scientific article; zbMATH DE number 7314181 (Why is no real title available?)
• scientific article; zbMATH DE number 7077373 (Why is no real title available?)
• Kemer's theorem for affine PI algebras over a field of characteristic zero.
• Noncrossed Products and Nonabelian Crossed Products Over ℚ(T) and ℚ((T))
• On a characterization of Azumaya algebras
• On Artin's theorem and Azumaya algebras
• Open problems on central simple algebras.
• PI-varieties associated to full quivers of representations of algebras.
• Representability and Specht problem for G-graded algebras.
• Semisimple algebras, Galois actions and group cohomology
• Simple graded division algebras over the field of real numbers
• Simple 𝐺-graded algebras and their polynomial identities
• Specht’s problem for associative affine algebras over commutative Noetherian rings
• T-ideals and superAzumaya algebras
• The Brauer Group of Graded Azumaya Algebras
• The Brauer-Wall Group of a Commutative Ring
• The generic division rings
• The local finite basis property and local representability of varieties of associative rings.
• Verbally prime T-ideals and graded division algebras

Cited in

(9)

• Graded PI-rings and generalized crossed product Azumaya algebras
• Verbally prime T-ideals and graded division algebras
• On the universal G-graded central simple algebra.
• On graded simple algebras
• scientific article; zbMATH DE number 1166356 (Why is no real title available?)
• scientific article; zbMATH DE number 1537890 (Why is no real title available?)
• CENTRAL SIMPLE -GRADED ALGEBRAS
• scientific article; zbMATH DE number 6460210 (Why is no real title available?)
• Semisimple algebras and PI-invariants of finite dimensional algebras

This page was built for publication: On generic \(G\)-graded Azumaya algebras

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