Eine Eigenschaft einer binären Operation in einer algebraischen Struktur, die besagt: Für ein festes Element a gilt: wenn a · x = a · y, dann x = y; gilt dies für alle a in einer angegebenen Teilmenge, sagt man, Linksannullierung gilt dort.

Prinzip

Linke Multiplikation durch ein kompensierendes Element ist injektiv: die Abbildung x ↦ a · x erhält Verschiedenheit, sodass Gleichheit nach linker Multiplikation Gleichheit davor impliziert, wenn Linksannullierung gegeben ist.

Demonstration

In einer Gruppe (G, ·) ist jedes Element annullierbar: aus a·x = a·y folgt durch Linksmultiplikation mit a^{-1} sofort x = y. In den positiven ganzen Zahlen unter Addition gilt Linksannullierung ebenfalls, weil a + x = a + y zu x = y führt.

Fehlanwendung

Linksannullierung in Strukturen voraussetzen, in denen sie fehlschlägt, wie in bestimmten Halbgruppen mit Nullteilern oder Monoiden mit Idempotenten, wo a·x = a·y nicht notwendigerweise x = y impliziert; links und rechts verwechseln ohne Seitenbezug zu prüfen.

Konsequenz

Wenn Linksannullierung gilt, lassen sich Gleichungen durch Streichen eines gemeinsamen linken Faktors vereinfachen; das erleichtert das Lösen von Gleichungen, Beweise von Eindeutigkeit und die Analyse injektiver linker Aktionen.

Umkehrung

Das Gegenteil ist linke Nichtannullierbarkeit: a·x = a·y mit x ≠ y, was auf Nullteiler, Identifikationen oder Verlust der Injketivität der linken Multiplikation hinweist und das Lösen von Gleichungen erschwert.

Abgrenzung

Gilt für binäre Operationen, bei denen linke Multiplikation sinnvoll ist; gilt nicht allgemein in Halbgruppen, Ringen mit Nullteilern oder links-null Halbgruppen, sofern keine zusätzlichen anullativen Axiome vorliegen.

Semantische Spannung

Spannung zwischen lokalem anullativem Verhalten (für ein bestimmtes a) und globaler Kancellativität (für alle nichtnullen oder für alle Elemente); auch Spannung zwischen Annullierung als algebraischem Axiom und Annullierung als Folge von Invertierbarkeit.

Synthese

Die Links-Kürzungsregel fasst die Idee zusammen, dass die linke Multiplikation durch bestimmte Elemente injektiv ist; wo sie gilt, erlaubt sie das Entfernen gemeinsamer linker Faktoren, um die Gleichheit der übrigen Faktoren zu schließen und erleichtert algebraische Argumente.