Groups, Rings and Modules

Hidetsune Kobayashi, L. Chen and H. Murao

May 18, 2004

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.

Abstract

The theory of groups, rings and modules is developed to a great depth. Group theory results include Zassenhaus's theorem and the Jordan-Hoelder theorem. The ring theory development includes ideals, quotient rings and the Chinese remainder theorem. The module development includes the Nakayama lemma, exact sequences and Tensor products.

License

BSD License

Topics

Session Group-Ring-Module

Used by

Cite

× 
@article{Group-Ring-Module-AFP,
  author  = {Hidetsune Kobayashi and L. Chen and H. Murao},
  title   = {Groups, Rings and Modules},
  journal = {Archive of Formal Proofs},
  month   = {May},
  year    = {2004},
  note    = {\url{https://isa-afp.org/entries/Group-Ring-Module.html},
             Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: