Isotopie (Geometrie)

Isotopie<ref name="Knuth">Knuth (1963)</ref> ist in der synthetischen Geometrie eine Abschwächung der Isomorphie (von Körpern und Schiefkörpern) für Ternärkörper (und speziellere verallgemeinerte Körper wie Quasikörper und Halbkörper). Durch den Begriff Isotopie wird der Tatsache Rechnung getragen, dass für nichtdesarguessche projektive Ebenen die algebraische Struktur des Koordinatenbereiches der Ebene durch ihre geometrische Struktur im Allgemeinen nicht „bis auf Isomorphie“ eindeutig bestimmt ist. Es konnte aber gezeigt werden<ref name="Knuth" />, dass die Koordinatenternärkörper zweier projektiver Ebenen, die geometrisch isomorph sind, stets algebraisch isotop sind und dass umgekehrt projektive Ebenen, die durch isotope Ternärkörper koordinatisiert werden können, stets geometrisch isomorph sind. Erst mit den von Hans-Joachim Arnold entwickelten projektiven Relativen aus der Geometrischen Relationenalgebra kehren die Übergangsverfahren der Algebraisierung und Geometrisierung synonym, d. h. bis auf Isomorphie, in seinem projektiven Klassifikationssatz einander um.<ref>Arnold, H.-J.: Der projektive Abschluß affiner Geometrien mit Hilfe relationentheoretischer Methoden. In: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg. 40, Universität Berlin, Hamburg 1974, S. 197–214. doi:10.1007/BF02993598.</ref> In Analogie zu den entsprechenden von Isomorphie abgeleiteten Begriffen spricht man von isotopen verallgemeinerten Körpern, wenn ein Tripel von umkehrbaren Abbildungen mit bestimmten strukturerhaltenden Eigenschaften zwischen diesen Körpern existiert, und nennt das Abbildungstripel dann einen Isotopismus.

→ Isotopismen von Ternärkörpern sind ein Spezialfall der Isotopismen von Quasigruppen. Siehe dazu Quasigruppe#Morphismen.

Definition

Es seien <math>(K,T,0_K,1_K);(L,S,0_L,1_L)</math> Ternärkörper. Ein Tripel <math>(F,G,H)</math> von 3 bijektiven Abbildungen <math>F,G,H \colon K\rightarrow L</math> heißt ein Isotopismus von K auf L, falls

1. <math>H(0_K)=0_L</math> und
2. <math>H(T(a,b,c))=S(F(a),G(b),H(c))</math> für alle <math>a,b,c\in K</math><ref name="RechtsLinks">In der Literatur sind zwei unterschiedliche „Seitigkeiten“ für die Ternärverknüpfung gebräuchlich. In der deutschsprachigen Literatur scheint die „Linksversion“ zu überwiegen. In der englischsprachigen Literatur und auch bei Marshall und Knuth wird die „Rechtsversion“ bevorzugt, bei der in den Axiomen die Rolle der ersten und zweiten Stelle in der Ternärverknüpfung genau vertauscht sind. Die Sonderrolle der „Hauptabbildung“ H und die Definition einer Isotopie ist davon unberührt, ebenso die Darstellung von H durch die anderen beiden Abbildungen und durch Multiplikationen. Näheres zu formalen Konventionen siehe in den Artikeln Ternärkörper und Quasikörper (Axiome dort nach Degen, 1976).</ref>

gilt. Wenn ein Isotopismus von K auf L existiert, bezeichnet man die beiden Ternärkörper als isotop zueinander und nennt sie auch gleich bis auf Isotopie.

Eigenschaften

• Da die geforderten Abbildungen bijektiv sein müssen, sind zwei zueinander isotope Ternärkörper stets gleich mächtig, ist einer der isotopen Ternärkörper endlich, so ist es auch der andere, und ihre Ordnung (Anzahl ihrer Elemente) ist gleich.
• Zwei isomorphe Ternärkörper sind stets isotop: Ist <math>H</math> ein Isomorphismus, dann ist <math>(H,H,H)</math> ein Isotopismus.
• Für einen Isotopismus <math>(F,G,H): K^3\rightarrow L^3</math> gilt stets <math>H=\rho\circ F=\lambda\circ G</math>, wobei <math>\lambda: L\rightarrow L; x\mapsto S(F(1_K),x,0_L)</math> die „Links-“ und <math>\rho: L\rightarrow L; x\mapsto S(x,G(1_K),0_L)</math> die „Rechtsmultiplikation“ in <math>L</math> mit den jeweiligen Bildern des Einselementes ist.<ref name="RechtsLinks" /><ref>Knuth (1963) Theorem 3.2.1</ref>
• Es sei <math>(K,T,0,1)</math> ein Ternärkörper, <math>r,l\in K\setminus\{0\}</math>. Es sei <math>\lambda: K\rightarrow K; x\mapsto T(l,x,0)</math> die Linksmultiplikation mit <math>l</math> und <math>\rho: K\rightarrow K; x\mapsto T(x,r,0)</math> die Rechtsmultiplikation mit <math>r</math>, <math>F_r:=\rho^{-1}; G_l:=\lambda^{-1}</math>. Auf <math>K</math> wird durch <math>S(a,b,c):=T(F_r(a),G_l(b),c)</math> eine neue Ternärverknüpfung <math>S</math> definiert. Dann ist auch <math>(K,S,0,\epsilon)</math> ein Ternärkörper mit dem Einselement <math>\epsilon=T(l,r,0)</math> und <math>(F_r,G_l,\mathrm{id}_K)</math> ist ein Isotopismus.<ref name="Knuth323">Knuth Theorem 3.2.3</ref>

• Ist <math>K</math> ein Ternärkörper, dann ist jeder zu <math>K</math> isotope Ternärkörper isomorph zu einem Ternärkörper, der aus <math>K</math> durch einen der so definierten Isotopismen <math>(F_r,G_l,\mathrm{id}_K)</math> hervorgeht.<ref name="Knuth323" />

• Für einen endlichen Ternärkörper <math>K</math> der Ordnung <math>n</math> existieren bis auf Isomorphie höchstens <math>(n-1)^2</math> isotope Ternärkörper.<ref>Dabei wird <math>K</math> selbst mitgezählt. Die Zählung beruht auf den Möglichkeiten, die Elemente <math>r</math> und <math>l</math> aus <math>K\setminus \{0\}</math> zu wählen, Knuth (1963), Theorem 3.2.3</ref>

• Die genannte Schranke lässt sich nicht allgemein verbessern: Tatsächlich existiert ein Ternärkörper mit 32 Elementen, der <math>31^2</math> zu ihm isotope aber zueinander paarweise nicht isomorphe Ternärkörper besitzt.

Isotopie ist schwächer als Isomorphie

Zwei zueinander isomorphe algebraische Strukturen erfüllen gleich starke algebraische Axiome. Das gilt für Ternärkörper im Allgemeinen nicht mehr, wenn sie nur isotop zueinander sind. Führt man, wie im Artikel Ternärkörper beschrieben, eine Addition und eine Multiplikation ein, mit der sich die Ternärverknüpfung in linearen Ternärkörpern als <math>T(a,b,c)=a\cdot b +c</math> darstellen lässt, dann erfüllen einige Ternärkörper <math>(K,+,\cdot,0,1)</math> stärkere Axiome für verallgemeinerte Körper. Es gilt:

• Ein Körper oder Schiefkörper ist genau dann isotop zu einem Ternärkörper, wenn er zu diesem isomorph ist. Insbesondere ist das isotope Bild eines Körpers wieder ein Körper und das eines Schiefkörpers ein Schiefkörper.
• Ist ein Halbkörper isotop zu einem Ternärkörper <math>L</math>, dann ist auch <math>L</math> ein Halbkörper. Zu jeder projektiven Ebene, die keine Moufangebene ist, existieren nicht zueinander isomorphe Koordinatenbereiche. Daher existiert zu jedem echten Halbkörper ein isotoper, aber nicht isomorpher Halbkörper.
• Ist ein Quasikörper isotop zu einem Ternärkörper <math>L</math>, dann braucht <math>L</math> im Allgemeinen kein Quasikörper zu sein. Zu jedem endlichen Quasikörper, der kein Halbkörper ist, existiert ein isotoper Ternärkörper, der kein Quasikörper ist.

Literatur

• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}
• {{#invoke:Vorlage:Literatur|f}}

Einzelnachweise und Anmerkungen

<references />

{{#ifeq: s | p | | {{#if: 4498253-7 | |

}} }}{{#ifeq:||{{#if: | [[Kategorie:Wikipedia:GND fehlt {{#invoke:Str|left|{{{GNDCheck}}}|7}}]] }}{{#if: | {{#if: | | }} }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#if: | {{#ifeq: 0 | 2 | | }} }}{{#ifeq: s | p | {{#if: 4498253-7 | | {{#if: {{#statements:P227}} | | }} }} }}{{#ifeq: s | p | {{#if: 4498253-7 | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P227}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P244}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P244}} | | }} }} }} }}{{#ifeq: s | p | {{#if: | | {{#if: {{#statements:P214}} | | }} }} }}{{#ifeq: s | p | {{#if: | {{#if: {{#invoke:Wikidata|pageId}} | {{#if: {{#statements:P214}} | | }} }} }} }}Vorlage:Wikidata-Registrierung