Quotients of Passman fours group and non-units of their group algebras

DOI10.1007/S41980-020-00475-6MaRDI QIDQ2666356zbMATH OpenOpenAlexFDO

Authors Alireza Abdollahi, Soraya Mahdi Zanjanian

Publication date 22 November 2021

Published in Bulletin of the Iranian Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s41980-020-00475-6

zbMATH Keywords

group algebratorsion free groupunit conjecture

Mathematics Subject Classification ID

Group rings (16S34) Units, groups of units (associative rings and algebras) (16U60) Group rings of finite groups and their modules (group-theoretic aspects) (20C05) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07)

Review text

The Unit Conjecture for group rings states that for a torsion free group \(G\) and a field \(K\) any unit in the group algebra \(KG\) is trivial, i.e., of shape \(kg\) for some \(k \in K\) and \(g \in G\). The conjecture is known to hold for unique product groups, but for arguably the easiest group which is not in this class it remained open for decades. This group is \(\Gamma = \langle x,y \ | \ (x^2)^y = x^{-2}, \ (y^2)^x = y^{-2} \rangle\) which the authors here call the fours group and which is also known as the Promislow group. Though it was recently shown that for \(K\) of positive characteristic \(K\Gamma\) does contain non-trivial units [\textit{G. Gardam}, Ann. Math. (2) 194, No. 3, 967--979 (2021; Zbl 1494.16026); \textit{A. G. Murray}, ``More counterexamples to the unit conjecture for group rings, Preprint, \url{arXiv:2106.02147}], the conjecture remains open in characteristic \(0\), the case studied here. The authors consider the normal subgroup \(H_n = \langle x^{2^n}, y^{2^n}, (xy)^{2^n} \rangle\) of \(\Gamma\) and the quotient \(G_n = \Gamma/H_n\) for a positive integer \(n\). As a unit maps to a unit under the natural ring homomorphism \(\mathbb{C} \Gamma \rightarrow \mathbb{C}G_n\), conditions on units in \(\mathbb{C}G_n\) can be lifted to conditions on units of \(\mathbb{C}\Gamma\). The units of \(\mathbb{C}G_n\) are then studied using irreducible complex characters of \(G_n\) and the central idempotents of \(\mathbb{C}G_n\) and in particular conditions are obtained when elements of \(\mathbb{C}G_n\) a non-units. This allows to derive restrictions on the coefficients of a possible unit in \(\mathbb{C}\Gamma\) which are all listed in the introduction of the paper.

Recommendations

• Nonunits of group algebras over the fours group
• Units of group algebras of the fours group
• A counterexample to the unit conjecture for group rings
• On the unit conjecture for supersoluble group algebras.
• Unit groups of group algebras of some small groups.

Cites work

• A note on u.p. groups
• A Note on Zero Divisors in Group-Rings
• Applications of a New K-Theoretic Theorem to Soluble Group Rings
• scientific article; zbMATH DE number 3159554 (Why is no real title available?)
• scientific article; zbMATH DE number 42273 (Why is no real title available?)
• scientific article; zbMATH DE number 3574054 (Why is no real title available?)
• scientific article; zbMATH DE number 824935 (Why is no real title available?)
• scientific article; zbMATH DE number 3255019 (Why is no real title available?)
• Integral group rings: Groups of units and classical K-theory
• Nonunits of group algebras over the fours group
• On the support of _*-symmetric units in group algebras
• On the unit conjecture for supersoluble group algebras.
• The zero divisor question for supersolvable groups
• Units of group algebras of the fours group

Cited in

(3)

• Units of group algebras of the fours group
• On the unit conjecture for supersoluble group algebras.
• Nonunits of group algebras over the fours group

This page was built for publication: Quotients of Passman fours group and non-units of their group algebras

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