Orevillkor
I ringteorin är ett Orevillkor (efter Øystein Ore) ett svagare villkor än kommutativitet på en nolldelarfri ring, som ändå möjliggör likartade slutsatser.

En nolldelarfri unitär ring "R" sägs uppfylla ett "höger Orevillkor" (eller "högerorevillkor"), om det för varje par "a" och "b" av element i "R" skilda från noll existerar nollskilda element "c" och "d" i "R", sådana att
:"a"·"c" = "b"·"d". Om "R" dessutom är en kommutativ ring gäller ju att   "a"·"b" = "b"·"a",   så att Orevillkoret trivialt gäller (med "c" = "b" och "d" = "a"). Vänster Orevillkor definieras analogt, och uppfylls också automatiskt, om "R" är kommutativ.

Om endera Orevillkoret är uppfyllt för "R", så är "R" isomorf med en delring av någon skevkropp. Omvändningen gäller dock inte. Om exempelvis "k" är en godtycklig kropp, och   "G" = <x,y>   är den fria monoiden på två symboler "x" och "y", så uppfyller monoidringen formula_1 inte något Orevillkor, trots att den är en friidealring och alltså en delring av en skevkropp, enligt [, Corollary 4.5.9].
Q1208658
ringteori
Concept
Q329846
Øystein Ore
PER
Q165474
kommutativitet
Concept
Q828111
nolldelarfri
UNK
Q161172
ring
Concept
Q3269789
unitär ring
Concept
Q180750
element
UNK
Q858656
kommutativ ring
Concept
Q189112
isomorf
Concept
Q650741
skevkropp
Concept
None
fri
UNK
Q208237
monoid
Concept
None
monoidring
UNK
Q2893366
friidealring
UNK
Q986499
Orevillkor
Concept
Q986499
Orevillkor
Concept
Q986499
Orevillkor
Concept
Q986499
Orevillkor
Concept
Q986499
Orevillkor
Concept
Q986499
Orevillkor
Concept
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+4.5^^http://www.w3.org/2001/XMLSchema#decimal
4.5
NUMBER
+9^^http://www.w3.org/2001/XMLSchema#decimal
9
NUMBER
named after
studies
notable work