Group of roots of unity

Let be a commutative ring. The roots of unity

form a subgroup of the group of units. #m/thm/ring

Proof

Suppose , then these are both units and where .

In particular, if is the th cyclotomic field, we denote this group by .

#state/tidy | #lang/en | #SemBr