Augmentation ideal of the infinite cyclic group

ID: augmentation-ideal-of-the-infinite-cyclic-group

The group ring of an infinite cyclic group is the Laurent polynomial ring , with augmentation . Multiply any element in the kernel by a power of to obtain a polynomial vanishing at one. The factor theorem makes it divisible by . Thus the augmentation ideal is . Since is an integral domain, multiplication by is an injective module map, so this ideal is a free -module of rank one, even though its additive group has infinite rank.

New to topics? Read the docs here!