Kürzbarkeit ist eine Eigenschaft von Elementen einer algebraischen Struktur.
Kürzbare/reguläre Elemente Bearbeiten
Gegeben sei ein Gruppoid/Magma .
Definition Bearbeiten
Ein Element heißt linkskürzbar oder linksregulär, wenn für alle gilt:
und rechtskürzbar oder rechtsregulär, wenn für alle gilt:
heißt zweiseitig kürzbar bzw. zweiseitig regulär oder einfach nur kürzbar bzw. regulär, wenn links- und rechtskürzbar ist.
Bemerkung Bearbeiten
Ist * kommutativ, sind alle drei Arten der Kürzbarkeit gleich, im Allgemeinen jedoch nicht.
Beispiel Bearbeiten
- In einem Ring ist ein Element genau dann kürzbar, wenn es ein Nichtnullteiler ist.
- In einer Quasigruppe sind alle Elemente kürzbar.
Kürzbare/reguläre Halbgruppen Bearbeiten
Definition Bearbeiten
Eine Halbgruppe heißt kürzbar oder regulär, wenn jedes kürzbar ist.