Absorptionsgesetz

In der Algebra, dem Absorptionsgesetz oder der Absorptionsidentität ist eine Identität, die ein Paar von binären Operationen verbindet.

Zwei binäre Operationen sagen ¤ und *, werden gesagt, durch das Absorptionsgesetz wenn verbunden zu werden:

:a-¤ (* b) = * (ein ¤ b) = a.

Ein Satz, der mit zwei auswechselbaren und assoziativen binären Operationen  ausgestattet ist (schließt sich an), und  (treffen sich), die durch das Absorptionsgesetz verbunden werden

:a  (ein  b) = ein  (ein  b) = ein

wird ein Gitter genannt.

Beispiele von Gittern schließen Algebra von Boolean und Algebra von Heyting ein.

In der klassischen Logik, und insbesondere in der Algebra von Boolean befriedigen die Operationen ODER und UND, die auch durch angezeigt werden und, auch die Gitter-Axiome einschließlich des Absorptionsgesetzes. Dasselbe ist für die intuitionistic Logik wahr.

Die auswechselbaren und assoziativen Gesetze halten auch für die Hinzufügung und Multiplikation in Ersatzringen z.B im Feld von reellen Zahlen. Das Absorptionsgesetz ist das kritische Eigentum, das in diesem Fall seitdem in allgemeinem a vermisst wird · (+ b)  a und + (a · b)  a.

Das Absorptionsgesetz scheitert auch, für die Relevanz-Logik, geradlinige Logik und Substrukturlogik zu halten. Im letzten Fall gibt es keine isomorphe Ähnlichkeit zwischen den freien Variablen des Definieren-Paares der Identität.


Deutsches Studentenkorps / Kalvarienberg-Friedhof (Königinnen, New York)
Impressum & Datenschutz