Zum Inhalt springen

Kommutative Ringtheorie/Angeordneter Ring/Definition

Aus Wikiversity
Angeordneter Ring

Ein kommutativer Ring heißt angeordnet, wenn es eine totale Ordnung auf gibt, die die beiden Eigenschaften

  1. Aus folgt für beliebige ,
  2. Aus und folgt für beliebige ,

erfüllt.