Antiautomorphismus

Antiautomorphismus

In der Mathematik ist ein Antihomomorphismus eine Funktion, die auf zwei Mengen mit jeweils einer zweistelligen Verknüpfung definiert ist und die die Reihenfolge der Operanden umkehrt. Ein Antiisomorphismus ist ein bijektiver Antihomomorphismus. Ein Antiendomorphismus ist ein Antihomomorphismus, bei dem Definitionsmenge und Zielmenge übereinstimmen. Ein Antiautomorphismus ist ein Antiisomorphismus, der gleichzeitig Antiendomorphismus ist.

Inhaltsverzeichnis

Formale Definition

Seien D \, und Z \, Mengen, auf denen jeweils eine Rechenvorschrift oder zweistellige Verknüpfung, z. B. eine Multiplikation,

d_1 \times_{\!D} d_2 = d \,      und      z_1 \times_{\!Z} z_2 = z \,

existiert und sei

\phi\colon D \to Z

eine Abbildung zwischen den beiden Mengen. Dann wird \phi \, Antihomomorphismus genannt, wenn

\phi(d_1 \times_{\!D} d_2) = \phi(d_2) \times_{\!Z} \phi(d_1) \,

ist. Im Gegensatz zum Homomorphismus kehrt der Antihomomorphismus in der Zielmenge die Faktoren um.

Beispiele

  1. In der Gruppentheorie ist die Inversionsabbildung
          \phi : G \to G \,      mit      \phi(g) = g^{-1} \,
    ein Antiautomorphismus.
  2. In der Ringtheorie ist ein Antihomomorphismus eine Abbildung zwischen zwei Ringen, die bei der Multiplikation die Reihenfolge umkehrt, während diese bei der – ohnehin kommutativen – Addition keine Rolle spielt. Ein wichtiges Beispiel ist die Transposition einer Matrix
          \begin{align}
  (A+B)^T             &= A^T + B^T\\
  (A \cdot B)^T       &= B^T \cdot A^T\\
\end{align}
  3. Ein weiteres Beispiel für einen Ringantihomomorphismus ist die Konjugation bei den Quaternionen:
          \begin{align}
  \overline{x+y}      &= \bar x+\bar y\\
  \overline{x\cdot y} &= \bar y\cdot\bar x\\
\end{align}
  4. Ist G eine Gruppe und \psi\colon G\to G ein Automorphismus, so ist g\mapsto \psi(g^{-1}) ein Antiautomorphismus.

Involutiver Antiautomorphismus

Die ersten 3 der oben genannten Antiautomorphismen sind gleichzeitig Involutionen, d. h. die doppelte Ausführung ergibt die identische Abbildung. Mit den Bezeichnungen von oben gilt nämlich:

  1. (g^{-1})^{-1}=g \,
  2.   \left(A^T\right)^T  = A
  3. \overline{(\bar x)} = x.

Man spricht dann von einem involutiven Antiautomorphismus. Gelegentlich findet sich auch die etwas verkürzte Bezeichnung „Anti-Involution“.

Der Antiautomorphismus im letzten Beispiel ist nur dann involutiv, wenn der Automorphismus \psi \, selbst schon involutiv ist.

Bemerkung

Bei einem Antihomomorphismus (und einem Antiisomorphismus) kann entweder in der Definitionsmenge oder in der Zielmenge die Verknüpfung, wenn es keine weitere Bezugnahme auf sie gibt, durch eine dritte \times \, ersetzt werden, sagen wir:

z_2 \times_{\!Z} z_1 =: z_1 \times z_2 \, .

Durch eine solche Umdefinition wird der Antihomomorphismus zu einem Homomorphismus in der neuen Verknüpfung.

Bei Antiendomorphismen (und Antiautomorphismen) ist die Bezugnahme aber von vornherein doppelt, da die Verknüpfung in Definitionsmenge und Zielmenge dieselbe ist. Hier wird durch eine Umdefinition nichts gewonnen.

Weitere Eigenschaften

Ist die Zielmenge kommutativ, dann ist ein Antihomomorphismus dasselbe wie ein Homomorphismus.

Die Zusammensetzung von zwei Antihomomorphismen ergibt einen Homomorphismus. Die Komposition eines Antihomomorphismus mit einem Homomorphismus ergibt einen Antihomomorphismus.

Siehe auch

Referenzen


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Involution (Mathematik) — Der Begriff Involution bezeichnet in der Mathematik eine selbstinverse Abbildung. Die Bezeichnung leitet sich von dem lateinischen Wort involvere „einwickeln“ ab. Inhaltsverzeichnis 1 Motivation 2 Definition 3 Eigenschaften …   Deutsch Wikipedia

  • Quaternion — ℍ Gedenktafel an der Broom Bridge in Dublin, wo William Rowan Hamilton die Multiplikationsregeln im Oktober 1843 spontan in den Stein ritzte. Die Quaternio …   Deutsch Wikipedia

  • Quaternionengruppe — In der Gruppentheorie ist die Quaternionengruppe eine nicht abelsche Gruppe der Ordnung 8. Sie wird häufig mit dem Symbol Q8 bezeichnet. Ihren Namen erhält sie daher, dass sie aus den acht Elementen im Schiefkörper der Hamiltonschen Quaternionen… …   Deutsch Wikipedia

  • Hurwitzquaternion — Eine Hurwitzquaternion (oder Hurwitz Ganzzahl) in der Mathematik ist eine Quaternion, deren vier Koeffizienten entweder alle (rational )ganzzahlig oder alle halbzahlig (Hälften ungerader ganzer Zahlen) sind – Mischungen von Ganzzahlen und… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”