ring hierarchy


Figure 1: Diagram of the hierarchy of rings.

The objects in the diagram reflect many of the common rings encountered in ring theory.

  • •

    Every ring considered here has a 1.

  • •

    When one class of rings is connected to another class by a line, then the lower class is a subclass of the higher placed class.

  • •

    If a class has more than one parent in the graph it is not always the case that this class represents the strict intersectionMathworldPlanetmath of these two classes, but it is certainly contained in this intersection.

  • •

    Many of these containments are trivial in the sense that they are defined as subclasses of one another. For instance, principal ideal domainMathworldPlanetmath is by definition a domain.

  • •

    However some subclasses are the result of deep theorems. For example, every artinian ring is also noetherianPlanetmathPlanetmathPlanetmath.

List of common rings

  1. 1.

    Ring.

  2. 2.
  3. 3.

    Noetherian ring (http://planetmath.org/Noetherian).

  4. 4.
  5. 5.
  6. 6.
  7. 7.

    Artinian ring (http://planetmath.org/ArtinianPlanetmathPlanetmath).

  8. 8.
  9. 9.
  10. 10.
  11. 11.
  12. 12.

    Principal ideal domain (PID) (http://planetmath.org/PrincipalIdealDomain).

  13. 13.
  14. 14.

    Discrete valuation domain (DVD) (http://planetmath.org/DiscreteValuationRing) (Also called a Discrete valuation ring).

  15. 15.
  16. 16.
  17. 17.

    Field.

The following containments are definitional:

  • •

    Ring > commutative ring, noetherian ring and Jacobson semisimple ring.

  • •

    Commutative ring > local ring and integral domain.

  • •

    Integral domain > unique factorization domain and Dedekind domain.

  • •

    Semisimple rings > simple rings.

  • •

    Local rings > Discrete valuation domains.

  • •

    Principal ideal domains > Discrete valuation domains.

  • •

    Division rings > fields.

The following containments are due to theorems:

  1. 1.

    Jacobson semisimple rings > primitive rings [2, p. 571].

  2. 2.

    Noetherian rings > artinian rings [Hopkins-Levitzki] [2, Theorem 8.46].

  3. 3.

    Noetherian rings > Dedekind domain [1, Theorem VIII.6.10].

  4. 4.

    Artinian rings > semisimple rings, [Wedderburn-Artin theorem]. 11Some definitions semisimplePlanetmathPlanetmathPlanetmath make this containment part of the definition. Otherwise the result is part of the Wedderburn-Artin theorem.

  5. 5.

    Jacobson semisimple > semisimple rings.[Wedderburn-Artin theorem].22Also depends on the definition of semisimple.

  6. 6.

    Dedekind domain > Principal ideal domain [1, p. 401].

  7. 7.

    Principal ideal domains > euclidean domains [2, Theorem 3.60].

  8. 8.

    Simple rings > division rings.

References

  • 1 Hungerford, Thomas W. Algebra, Graduate Texts in Mathematics, 73 Springer-Verlag, New York, (1980), pp. xxiii+502.
  • 2 Rotman, Joseph J. Advanced modern algebra, Prentice Hall Inc.,Upper Saddle River, NJ, (2002), pp xvi+1012+A8+B6+I14.
Title ring hierarchy
Canonical name RingHierarchy
Date of creation 2013-03-22 16:01:16
Last modified on 2013-03-22 16:01:16
Owner Algeboy (12884)
Last modified by Algeboy (12884)
Numerical id 8
Author Algeboy (12884)
Entry type Topic
Classification msc 06E20