Implikationsdiagramm für kommutative Ringe


    Euklidischer Bereich    
       
    Hauptidealbereich    
     
Dedekindbereich       Faktorieller Bereich
     
    Normaler Integritätsbereich    
       
    Integritätsbereich    
       
    Kommutativer Ring