Groups, Rings and Modules


Title: Groups, Rings and Modules
Authors: Hidetsune Kobayashi, L. Chen and H. Murao
Submission date: 2004-05-18
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.
  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{},
            Formal proof development},
  ISSN    = {2150-914x},
License: BSD License
Used by: Valuation