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.
Articles by others on the same topic
There are currently no matching articles.