Group actions on central simple algebras

DOI10.1006/JABR.2001.9098MaRDI QIDQ1602010zbMATH OpenOpenAlexFDO

Authors Daniel S. Sage

Publication date 6 October 2002

Published in Journal of Algebra (Search for Journal in Brave)

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

zbMATH Keywords

central simple algebrassemisimple algebrasinvariant idealsprojective representationsinvariant subalgebras

Mathematics Subject Classification ID

Finite-dimensional division rings (16K20) Actions of groups and semigroups; invariant theory (associative rings and algebras) (16W22)

Abstract: Let $G$ be a group, $F$ a field, and $A$ a finite-dimensional central simple algebra over $F$ on which $G$ acts by $F$-algebra automorphisms. We study the ideals and subalgebras of $A$ which are preserved by the group action. Let $V$ be the unique simple module of $A$. We show that $V$ is a projective representation of $G$ and $Acongext{End}_D(V)$ makes $V$ into a projective representation. We then prove that there is a natural one-to-one correspondence between $G$-invariant $D$-submodules of $V$ and invariant left (and right) ideals of $A$. Under the assumption that $V$ is irreducible, we show that an invariant (unital) subalgebra must be a simply embedded semisimple subalgebra. We introduce induction of $G$-algebras. We show that each invariant subalgebras is induced from a simple $H$-algebra for some subgroup $H$ of finite index and obtain a parametrization of the set of invariant subalgebras in terms of induction data. We then describe invariant central simple subalgebras. For $F$ algebraically closed, we obtain an entirely explicit classification of the invariant subalgebras. Furthermore, we show that the set of invariant subalgebras is finite if $G$ is a finite group. Finally, we consider invariant subalgebras when $V$ is a continuous projective representation of a topological group $G$. We show that if the connected component of the identity acts irreducibly on $V$, then all invariant subalgebras are simple. We then apply our results to obtain a particularly nice solution to the classification problem when $G$ is a compact connected Lie group and $F=mathbfC$.

Recommendations

• Group actions on central simple algebras: a geometric approach.
• Tame group actions on central simple algebras.
• Invariants for equivalence of central simple \(G\)-algebras.
• CLIFFORD CLASSES OF PRIMITIVE CENTRAL SIMPLE G-ALGEBRAS
• Equivalence of g-algebras with complemented centroid

Cites work

• scientific article; zbMATH DE number 3906699 (Why is no real title available?)
• scientific article; zbMATH DE number 4073291 (Why is no real title available?)
• scientific article; zbMATH DE number 3526920 (Why is no real title available?)
• scientific article; zbMATH DE number 195162 (Why is no real title available?)
• scientific article; zbMATH DE number 790100 (Why is no real title available?)
• Exact relations for effective tensors of composites: Necessary conditions and sufficient conditions
• Exact relations for effective tensors of polycrystals. I: Necessary conditions
• Exact relations for effective tensors of polycrystals. II: Applications to elasticity and piezoelectricity
• Fixed rings of finite automorphism groups of associative rings
• Group extensions, representations, and the Schur multiplicator
• Howe correspondences on a p-adic field

Cited in

(8)

• Tame group actions on central simple algebras.
• Group actions on central simple algebras: a geometric approach.
• THE SEMICENTRE OF A GROUP ALGEBRA. II
• Subrepresentation semirings and an analog of 6j-symbols
• Racah coefficients, subrepresentation semirings, and composite materials
• \(p\)-central action on finite groups.
• Atomistic subsemirings of the lattice of subspaces of an algebra.
• Action of a Frobenius-like group with kernel having central derived subgroup

This page was built for publication: Group actions on central simple algebras

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