| Home |
| About |
| Submission |
| Updating Entries |
| Using Entries |
| Search |
| Statistics |
| Index |
| Download |
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. |
| BibTeX: |
@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{http://isa-afp.org/entries/Group-Ring-Module.shtml},
Formal proof development},
ISSN = {2150-914x},
}
|
| License: | BSD License |
| Used by: | Valuation |
| Status: [skipped] | This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations. |