Units of $\mathbb{Z}C_{p^n}$

TL;DR

This paper explicitly describes a multiplicatively independent set that generates a complement to the units of the cyclic group ring of order p^n, enhancing understanding of the structure of these units.

Contribution

It provides an explicit construction of a generating set for the complement of ±C_{p^n} in the unit group of the integral group ring.

Findings

Explicit generating set for the complement of ±C_{p^n} in units.

Description of a multiplicatively independent generating set.

Enhanced structural understanding of units in group rings.

Abstract

Let $p$ be a prime integer and $n,i$ be positive integers such that \linebreak $S=\{-1, \ \theta, \ \mu_i=1+\theta+... + \theta^{i-1} \ \mid 1 < i < \frac{p^n}{2}, \ gcd(p^n,i)=1 \}$ generates the group of units of $\mathbb{Z}[\theta],$ where $\theta$ is a primitive ${p^n}$--$th$ root of unity. Denote by $C_{p^n}$ the cyclic group of order $p^n.$ In this paper we describe explicitly a multiplicatively independent set which generates a complement to $\pm C_{p^n}$ in the group of units of the integral group ring of $C_{p^n}.$