×

Group algebras and enveloping algebras with nonmatrix and semigroup identities. (English) Zbl 0932.16028

This paper characterizes modular group algebras and restricted enveloping algebras satisfying a nonmatrix identity or a semigroup identity. Let \(K\) be a field of characteristic \(p>0\). Then it is shown that \(K[G]\) satisfies a nonmatrix identity if and only if (1) \(G\) has a normal subgroup \(A\) with \(G/A\) and \(A'\) both finite, and (2) \(G'\) is a \(p\)-group of finite exponent. Similarly, \(u(L)\) satisfies a nonmatrix identity if and only if (1) \(L\) has a restricted ideal \(A\) with \(L/A\) and \(A'\) both finite dimensional, and (2) \(L'\) is \(p\)-nil of bounded index. If \(K\) is an infinite field, then analogous results characterize group algebras and restricted enveloping algebras satisfying a semigroup identity. The paper also discusses the possibility that the augmentation ideal of \(K[G]\) or \(u(L)\) satisfies one of these two types of identities. The question in the case of semigroup identities seems to be rather delicate.

MSC:

16S34 Group rings
16S30 Universal enveloping algebras of Lie algebras
16R40 Identities other than those of matrices over commutative rings
17B35 Universal enveloping (super)algebras
20C07 Group rings of infinite groups and their modules (group-theoretic aspects)

References:

[1] DOI: 10.1017/S0305004100033934 · doi:10.1017/S0305004100033934
[2] DOI: 10.1016/0021-8693(84)90224-2 · Zbl 0538.16013 · doi:10.1016/0021-8693(84)90224-2
[3] DOI: 10.1006/jabr.1996.6892 · Zbl 0876.16020 · doi:10.1006/jabr.1996.6892
[4] DOI: 10.1017/S1446788700016748 · Zbl 0286.20028 · doi:10.1017/S1446788700016748
[5] DOI: 10.1007/BF01668994 · Zbl 0467.16025 · doi:10.1007/BF01668994
[6] Passman D.S., The Algebraic Structure of Group Rings (1977) · Zbl 0368.16003
[7] DOI: 10.1016/0021-8693(90)90062-S · Zbl 0713.16013 · doi:10.1016/0021-8693(90)90062-S
[8] DOI: 10.1090/S0002-9939-97-04024-0 · Zbl 0863.16019 · doi:10.1090/S0002-9939-97-04024-0
[9] Petrogradski V.M., Mat. Zametki 49 pp 84– (1991)
[10] DOI: 10.4153/CJM-1973-076-4 · Zbl 0266.16011 · doi:10.4153/CJM-1973-076-4
[11] Riley D.M., Arch. Math 66 pp 372– (1996)
[12] DOI: 10.1006/jabr.1996.6940 · Zbl 0879.16012 · doi:10.1006/jabr.1996.6940
[13] DOI: 10.1006/jabr.1993.1240 · Zbl 0798.17011 · doi:10.1006/jabr.1993.1240
[14] Riley D.M., Associative algebras satisfying a semigroup identity (1997)
[15] Sehgal S.K., Topics in Group Rings (1978) · Zbl 0411.16004
[16] DOI: 10.2307/2154332 · Zbl 0797.16031 · doi:10.2307/2154332
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.