Nilpotent decomposition in integral group rings (Q2662157)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Nilpotent decomposition in integral group rings |
scientific article |
Statements
Nilpotent decomposition in integral group rings (English)
0 references
9 April 2021
0 references
Let \(\mathbb Z[G]\) be the integral group ring of a group \(G\) and let \(U(\mathbb Z[G])\) be the unit groups of \(\mathbb Z[G]\). The authors give the following definition. ``Definition 3.1. A nilpotent element \(\alpha\) of \(\mathbb Z[G]\) is said to have the \textit{nilpotent decomposition property} (ND) if \(\alpha e \in \mathbb Z[G]\) for every central idempotent \(e \in \mathbb Q[G]\). An integral group ring \(\mathbb Z[G]\), or simply the group \(G\), is said to have the \textit{nilpotent decomposition property} (ND) if every nilpotent element of \(\mathbb Z[G]\) has ND.'' If \(N\) is a normal in a group \(G\), then we denote it by \(N\triangleleft G\). A finite group \(G\) has a property SN, if \(N\triangleleft G\) and \(Y \leq G\) implies \(Y \supseteq N\) or \(YN\triangleleft G\) [\textit{C.-H. Liu} and \textit{D. S. Passman}, J. Algebra Appl. 8, No. 4, 505--519 (2009; Zbl 1185.20002), Proposition 2.5]. If \(G\) is a finite group, then, by Maschke's Theorem, the semisimple algebra \(\mathbb Q[G] = M_{n_1} (D_1) \times \cdots \times M_{n_m} (D_m)\) is a direct product of matrices \(M_{n_i}(D_i)\) over skew fields \(D_i\). The matrix components \(M_{n_1} (D_1), \cdots, M_{n_m} (D_m)\) are called Wedderburn components of \(\mathbb Q[G]\). The authors says, that the group \(G\) has a property SSN if every subgroup of \(G\) has the property SN. The authors give necessary and sufficient conditions \(\mathbb Q[G]\) to have only one matrix component a) when \(G\) is a nilpotent SSN group (Theorem A) and b) when \(G\) is a non-nilpotent SSN group (Theorem B) Let \(G\) be a finite group. The unit \(u\) of \(\mathbb Z[G]\) is called a unipotent unit, if \(u = 1+ \beta\), where \(\beta\) is a nilpotent element. The unit \(u\) of \(\mathbb Z[G]\) is called a primitive unipotent unit, if in the above equality \(\beta\) is also a nilpotent element, such that \(\beta = \beta e\) for a primitive central idempotent \(e\) of \(\mathbb Q[G]\). Let \(U(G)\) be the subgroup of \(U(\mathbb Z[G])\) generated by the unipotent units and let \(pU(G)\) be the subgroup of \(U(\mathbb Z[G])\) generated by the primitive unipotent units. The authors prove also the following result. ``Theorem. For a finite group \(G\), \(\mathbb Z[G]\) has ND if and only if \(U (G)/pU(G)\) is a trivial group.''
0 references
integral group ring
0 references
rational group algebra
0 references
nilpotent decomposition
0 references
multiplicative Jordan decomposition
0 references
Wedderburn component
0 references
Shoda pair
0 references
strong Shoda pair
0 references
SN group
0 references
SSN group
0 references
0 references
0 references
0 references