词条 | Augmentation ideal |
释义 |
In algebra, an augmentation ideal is an ideal that can be defined in any group ring. If G is a group and R a commutative ring, there is a ring homomorphism , called the augmentation map, from the group ring to R, defined by taking a (finite[1]) sum to (Here and .) In less formal terms, for any element , for any element , and is then extended to a homomorphism of R-modules in the obvious way. The augmentation ideal {{mvar|A}} is the kernel of and is therefore a two-sided ideal in R[G]. {{mvar|A}} is generated by the differences of group elements. Equivalently, it is also generated by , which is a basis as a free R-module.For R and G as above, the group ring R[G] is an example of an augmented R-algebra. Such an algebra comes equipped with a ring homomorphism to R. The kernel of this homomorphism is the augmentation ideal of the algebra. The augmentation ideal plays a basic role in group cohomology, amongst other applications. Examples of Quotients by the Augmentation Ideal
Notes1. ^When constructing {{math|R[G]}}, we restrict {{math|R[G]}} to only finite (formal) sums References
2 : Ideals|Hopf algebras |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。