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!