Kommutative Monoidtheorie/Monoid mit Kürzungsregel/Definition

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Kürzungsregel (Monoid)

Man sagt, dass in einem kommutativen Monoid die Kürzungsregel gilt (oder dass ein Monoid mit Kürzungsregel ist), wenn aus einer Gleichung

stets folgt, dass ist.