Necessary and sufficient conditions for the regularity of the Sylow \(p \)-subgroups of the Chevalley groups over \({ \mathbb{Z} }_p\) and \({ \mathbb{Z} }_{p^2} \) (Q6101503)

A finite \(p\)-group \(G\) is regular whenever for all \(a, b \in G\) the commutator subgroup of \(\langle a,b \rangle\) contains some elements \(c_{1}, \ldots, c_{k}\) such that \((ab)^{p} = a^{p}b^{p}c_{1}^{p} \ldots c_{k}^{p}\). In [Sib. Math. J. 47, No. 6, 1054--1059 (2006; Zbl 1137.20044)], the second author showed that in the elementary Chevalley group \(E\Phi(\mathbb{Z}_{p^{m}})\) of normal type \(\Phi\) defined over the integer residue ring \(\mathbb{Z}_{p^{m}}\) the Sylow \(p\)-subgroup \(P\Phi(\mathbb{Z}_{p^{m}})\) is regular provided that \(|\Phi|+|\Pi(\Phi)| <p\). On the other hand, the nilpotency class of \(P\Phi(\mathbb{Z}_{p^{m}})\) is at most \(mh(\Phi)- 1\), where \(h(\Phi)\) is the Coxeter number of the root system \(\Phi\) (see [\textit{V. M. Levchuk}, Ukr. Math. J. 44, No. 6, 710--718 (1992; Zbl 0784.20020)]), therefore \(P\Phi(\mathbb{Z}_{p^{m}})\) is regular when \(mh(\Phi)-1 < p\). The main result in this paper is Theorem 1: Suppose that \(\Phi\) is \(A_{n}\) (\(n\geq 1\)), \(B_{n}\) (\(n \geq 2\)), \(C_{n}\) (\(n \geq 2\)) or \(D_{n}\) (\(n \geq 4\)) and \(m \in \{1, 2\}\). The group \(P\Phi(\mathbb{Z}_{p^{m}})\) is regular if and only if \(h(\Phi)m -1 < p\).