Kommutative Ringtheorie/Angeordneter Ring/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.