On a finite \(2,3\)-generated group of period \(12\). (Q892027)

Let \(G\) be the maximal finite quotient of the free product \(F=\mathbb Z_2*\mathbb Z_3\) in the variety of groups of exponent \(12\). In other words, every finite group of exponent \(12\) generated by an element of order \(2\) and an element of order \(3\) is a quotient of \(G\). The main result in this paper is Theorem 1, which describes the structure of \(G\); in particular \(|G|=2^{66}\cdot 3^7\), \(G\) is a soluble group of derived length \(4\) and Fitting length \(3\) and \(Z(G)=1\).