Description of the unit group of the integral group ring of a cyclic group of order $16$

R. Zh. Aleev ; O. V. Mitina ; T. A. Khanenko

Trudy Instituta matematiki i mehaniki, Trudy Instituta Matematiki i Mekhaniki UrO RAN, Tome 23 (2017) no. 4, pp. 32-42

Résumé

The paper is devoted to the description of the group of units of the integral group ring of a cyclic group of order $16$. The groups of units of the integral group rings of cyclic groups of orders $2$ and $4$ are trivial, and the group of units of the integral group ring of a cyclic group of order $8$ is well known. Thus, the case of a cyclic group of order $16$ is the first for which the structure of the group of units of the integral group ring of a cyclic $2$-group has not been studied completely. When the groups of units of the integral group rings of cyclic $2$-groups of orders greater than $16$ are studied, it is necessary to have information on the structure of the groups of units of the integral group rings of cyclic $2$-groups of lower orders, in particular, of order $16$. Thus, we can say that the case of the group of order $16$ is the basis for further research. We describe the group of units of the integral group ring of a cyclic group of order $16$ in terms of local units defined by the characters of a cyclic group of order $16$ and by the units of the ring of integers of the cyclotomic field $\mathbf{Q}_{16}$ obtained by adjoining a primitive root of unity of degree $16$ to the field of rational numbers. That is why we study in detail the structure of the group of units of the ring of integers of the cyclotomic field $\mathbf{Q}_{16}$. In addition, we derive important relations between the coefficients of an arbitrary unit of the integral group ring of a cyclic group of order $16$. These relations will obviously serve as patterns and examples for obtaining similar relations in studying the units for the cases of $2$-groups of orders greater than $16$. Finally, we note that one of the generators of the group of units of the integral group ring of a cyclic group of order $16$ is a singular unit defined by two units of the ring of integers of the cyclotomic field $\mathbf{Q}_{16}$. This unit is the product of the two local units, each of which is not contained in the integral group ring of a cyclic group of order $16$.

Détail

Keywords: cyclic group, group ring, unit of a group ring, cyclotomic field, ring of integers of a field, unit of the ring of integers of a cyclotomic field, integral group ring.

Bibliographie

[1] Aleev R.Zh, Mitina O.V., Khristenko E.A., “Sravnenie po modulyu 2 krugovykh edinits v polyakh $Q_{16}$ i $Q_{32}$”, Chelyab. fiz.-mat. zhurn., 1:4 (2016), 8–29 | MR

[2] Aleev R.Zh, Mitina O.V., Khanenko T.A., “Nakhozhdenie edinits tselochislennykh gruppovykh kolets tsiklicheskikh grupp poryadkov 16 i 32”, Chelyab. fiz.-mat. zhurn., 1:4 (2016), 30–55 | MR

[3] Kertis Ch., Rainer I., Teoriya predstavlenii konechnykh grupp i assotsiativnykh algebr, Nauka, M., 1969, 668 pp. | MR

[4] Aleev R.Zh., “Tsentralnye elementy tselochislennykh gruppovykh kolets”, Algebra i logika, 39:5 (2000), 513–525 | MR | Zbl

[5] Aleev R.Zh., “Edinitsy polei kharakterov i tsentralnye edinitsy tselochislennykh gruppovykh kolets konechnykh grupp”, Mat. tr., 3:1 (2000), 3–37 | MR | Zbl