Kürzbarkeit

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Kürzbar)
Zur Navigation springen Zur Suche springen

Kürzbarkeit ist eine Eigenschaft von Elementen einer algebraischen Struktur.

Kürzbare/reguläre Elemente

[Bearbeiten | Quelltext bearbeiten]

Gegeben sei ein Gruppoid/Magma .

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.

Ist * kommutativ, sind alle drei Arten der Kürzbarkeit gleich, im Allgemeinen jedoch nicht.

  • 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 | Quelltext bearbeiten]

Eine Halbgruppe heißt kürzbar oder regulär, wenn jedes kürzbar ist.

  • Die Menge der natürlichen Zahlen mit der üblichen Addition oder mit der üblichen Multiplikation ist eine kürzbare Halbgruppe.
  • Die Menge der natürlichen Zahlen mit dem Maximum oder mit dem Minimum ist keine kürzbare Halbgruppe.