×

Realization-obstruction exact sequences for Clifford system extensions. (English) Zbl 1510.16039

Summary: For every action \(\phi \in \operatorname{Hom} (G, \operatorname{Aut}_k(K))\) of a group \(G\) on a commutative ring \(K\) we introduce two abelian monoids. The monoid \(\mathrm{Cliff}_k (\phi)\) consists of equivalence classes of strongly \(G\)-graded algebras of type \(\phi\) up to \(G\)-graded Clifford system extensions of \(K\)-central algebras. The monoid \(\mathcal{C}_k(\phi)\) consists of equivariance classes of homomorphisms of type \(\phi\) from \(G\) to the Picard groups of \(K\)-central algebras (generalized collective characters). Furthermore, for every such \(\phi\) there is an exact sequence of abelian monoids \[ 0 \to{H^2}(G,K_\phi^\ast) \to \mathrm{Cliff}_k(\phi) \to \mathcal{C}_k(\phi) \to{H^3}(G,K_\phi^\ast). \] This sequence describes the obstruction to realizing a generalized collective character of type \(\phi\), that is it determines if such a character is associated to some strongly \(G\)-graded \(k\)-algebra. The rightmost homomorphism is often surjective, terminating the above sequence. When \(\phi\) is a Galois action, then the well-known restriction-obstruction sequence of Brauer groups is an image of an exact sequence of sub-monoids appearing in the above sequence.

MSC:

16W50 Graded rings and modules (associative rings and algebras)
16H05 Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.)
20J06 Cohomology of groups

References:

[1] Aljadeff, E.; Rosset, S., Crossed products, cohomology, and equivariant projective representations, Journal of Algebra, 121, 99-116 (1989) · Zbl 0676.16023 · doi:10.1016/0021-8693(89)90087-2
[2] Bass, H., Algebraic K-theory (1968), New York—Amsterdam: W. A. Benjamin, New York—Amsterdam · Zbl 0174.30302
[3] Cegarra, A. M.; Garzón, A. R., Obstructions to Clifford system extensions of algebras, Indian Academy of Sciences. Proceedings. Mathematical Sciences, 111, 151-161 (2001) · Zbl 0985.16030 · doi:10.1007/BF02829587
[4] Cegarra, A. M.; Garzón, A. R., Some algebraic applications of graded categorical group theory, Theory and Applications of Categories, 11, 215-251 (2003) · Zbl 1019.18004
[5] Dade, E. C., Compounding Clifford’s theory, Annals of Mathematics, 91, 236-290 (1970) · Zbl 0224.20037 · doi:10.2307/1970606
[6] Eilenberg, S.; MacLane, S., Cohomology theory in abstract groups. II. Group extensions with a non-Abelian kernel, Annals of Mathematics, 48, 326-341 (1947) · Zbl 0029.34101 · doi:10.2307/1969174
[7] Eilenberg, S.; MacLane, S., Cohomology and Galois theory. I. Normality of algebras and Teichmüller’s cocycle, Transactions of the American Mathematical Society, 64, 1-20 (1948) · Zbl 0031.34301
[8] Ginosar, Y.; Schnabel, O., Groups of central type, maximal connected gradings and intrinsic fundamental groups of complex semisimple algebras, Transactions of the American Mathematical Society, 371, 6125-6168 (2019) · Zbl 1436.16050 · doi:10.1090/tran/7457
[9] Herstein, I. N., Noncommutative Rings (1968), New York: The Mathematical Association of America; John Wiley & Sons, New York · Zbl 0177.05801
[10] McConnell, J. C.; Robson, J. C., Noncommutative Noetherian Rings (1987), Chichester: John Wiley & Sons, Chichester · Zbl 0644.16008
[11] Năstăsescu, C.; Van Oystaeyen, F., Methods of graded rings (2004), Berlin: Springer, Berlin · Zbl 1043.16017 · doi:10.1007/b94904
[12] Passman, D. S., The Algebraic Structure of Group Rings (1977), New York—London—Sydney: Wiley-Interscience, New York—London—Sydney · Zbl 0368.16003
[13] Sweedler, M. E., Groups of simple algebras, Institut des Hautes Études Scientifiques. Publications Mathématiques, 44, 79-189 (1974) · Zbl 0314.16008 · doi:10.1007/BF02685882
[14] Van Oystaeyen, F., Separable algebras, Handbook of Algebra, Vol. 2, 461-505 (2000), Amsterdam: Elsevier/North-Holland, Amsterdam · Zbl 0966.16007 · doi:10.1016/S1570-7954(00)80036-4
[15] Vinogradov, A. A., On the free product of ordered groups, Matematicheskiǐ Sbornik, 25, 163-168 (1949) · Zbl 0038.15904
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.