Groups, Rings and Modules

Hidetsune Kobayashi, L. Chen and H. Murao

18 May 2004

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.
BSD License

Used by

Topics

Theories

Cite

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