0 Daumen
1,4k Aufrufe

Aufgabe:

Es seien die folgenden Untermodule des Z \mathbb{Z} -Moduls Z3 \mathbb{Z}^{3} gegeben:

W1 : =(371618),(1446),(1266) und W2 : =(113),(111),(242) W_{1}:=\left\langle\left(\begin{array}{c} -37 \\ 16 \\ 18 \end{array}\right),\left(\begin{array}{c} 14 \\ -4 \\ -6 \end{array}\right),\left(\begin{array}{c} -12 \\ 6 \\ 6 \end{array}\right)\right\rangle \quad \text { und } \quad W_{2}:=\left\langle\left(\begin{array}{c} 1 \\ -1 \\ 3 \end{array}\right),\left(\begin{array}{c} 1 \\ 1 \\ 1 \end{array}\right),\left(\begin{array}{c} -2 \\ 4 \\ -2 \end{array}\right)\right\rangle


Problem/Ansatz:

Wie kann ich zeigen, dass W1W2, W_{1} \neq W_{2}, aber es gibt einen Isomorphismus Z3/W1Z3/W2 \mathbb{Z}^{3} / W_{1} \cong \mathbb{Z}^{3} / W_{2} ?

Avatar von

Vom Duplikat:

Titel: Zeigen Sie, dass die Quotienten isomorph sind.

Stichworte: lineare-algebra,isomorphismus,isomorph,direkte,summe

Aufgabe:

Die Untermoduln U1,U2U_1, U_2 des Z \mathbb{Z} - Moduls Z3 \mathbb{Z}^3 sind gegeben durch U1 : =span{(371618),(1446),(1266)} U_1 := span \left\{\begin{pmatrix} -37\\16\\18 \end{pmatrix},\begin{pmatrix} 14\\-4\\-6 \end{pmatrix},\begin{pmatrix} -12\\6\\6 \end{pmatrix} \right\} und U2 : =span{(113),(111),(242)} U_2 := span \left\{\begin{pmatrix} 1\\-1\\3 \end{pmatrix},\begin{pmatrix} 1\\1\\1 \end{pmatrix},\begin{pmatrix} -2\\4\\-2 \end{pmatrix} \right\} .

Zeigen Sie, dass es einen Isomorphismus gibt, sodass Z3/U1Z3/U2 \mathbb{Z}^3/U_1 \cong \mathbb{Z}^3/U_2 gilt.

Hinweis: Zerlegen Sie beide Quotienten in direkte Summen.


Problem/Ansatz:

Die direkte Summe müsste nach meinem Verständnis so aussehen Z3/U1=Z/span{37,14,12}Z/span{16,4,6}Z/span{18,6,6} \mathbb{Z}^3/U_1 = \mathbb{Z}/ span \left\{ -37 , 14 , -12 \right\} \oplus \mathbb{Z}/ span \left\{ 16 , -4 , 6 \right\} \oplus \mathbb{Z}/ span \left\{ 18 , -6 , 6 \right\} . Ich bin mir jedoch nicht sicher.

für jede Hilfe.

Diese Frage ist kein echtes Duplikat der referenzierten Frage.

Sie wurde zudem zuerst gestellt.

1 Antwort

0 Daumen
 
Beste Antwort

Hey master,

in W1 W_1 haben die Elemente die Form:

a(371618)+b(1446)+c(1266)=(37a+14b12c16a4b+6c18a6b+6c),a,b,cZ a \left(\begin{array}{c} -37 \\ 16 \\ 18 \end{array}\right)+b\left(\begin{array}{c} 14 \\ -4 \\ -6 \end{array}\right)+c\left(\begin{array}{c} -12 \\ 6 \\ 6 \end{array}\right) = \begin{pmatrix} -37a+14b-12c\\16a-4b+6c\\18a-6b+6c\end{pmatrix}, a,b,c \in \mathbb{Z}

Die Einträge in der zweiten Komponente sind also immer gerade, insbesondere kann (1,1,1)TW1 (1,1,1)^T \notin W_1 sein, da aber (1,1,1)TW2 (1,1,1)^T \in W_2 , ist W1W2 W_1 \neq W_2 .

Die Matrizen

(37141216461866),(112114312) \begin{pmatrix} -37 & 14 & -12\\16&-4&6\\18&-6&6 \end{pmatrix} , \begin{pmatrix} 1 &1 & -2\\-1&1&4\\3&1&-2 \end{pmatrix}

haben beide die Elementarteiler 1, 2, 6, also gilt:

Z3/W1Z/1ZZ/2ZZ/6ZZ3/W2 \mathbb{Z}^3/W_1 \cong \mathbb{Z}/1\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/6\mathbb{Z} \cong \mathbb{Z}^3/W_2

Avatar von 1,3 k

Wie bist du auf die Elementarteiler gekommen?

Soll ich ehrlich sein? Mit SAGE... Händisch kann man z.B. mit elementaren Zeilen-/Spaltenumformungen auf Diagonalgestalt bringen, ist auch nicht so aufwändig:

(112114312)(100122324)(100022024)(100020026)(100020006) \begin{pmatrix} 1 & 1 &-2\\ -1 & 1 & 4\\ 3&1&-2 \end{pmatrix} \sim \begin{pmatrix} 1 & 0 &0\\ -1 & 2 & 2\\ 3&-2&4 \end{pmatrix} \sim \begin{pmatrix} 1 & 0 &0\\ 0 & 2 & 2\\ 0 &-2&4 \end{pmatrix} \sim \begin{pmatrix} 1 & 0 &0\\ 0 & 2 & 0\\ 0 &-2&6 \end{pmatrix}\sim \begin{pmatrix} 1 & 0 &0\\ 0 & 2 & 0\\ 0 & 0&6 \end{pmatrix}

(37141216461866)(12016461866)(10002860306)(1000200306)(100020006)(100020006) \begin{pmatrix} -37 & 14 &-12\\ 16 & -4 &6\\18&-6&6 \end{pmatrix} \sim \begin{pmatrix} -1 & 2 &0\\ 16 & -4 &6\\18&-6&6 \end{pmatrix}\sim \begin{pmatrix} -1 & 0 &0\\ 0 & 28 &6\\0&30&6 \end{pmatrix} \sim \begin{pmatrix} -1 & 0 &0\\ 0 & -2 &0\\0&30&6 \end{pmatrix}\sim \begin{pmatrix} -1 & 0 &0\\ 0 & -2 &0\\0&0&6 \end{pmatrix}\sim \begin{pmatrix} 1 & 0 &0\\ 0 & 2 &0\\0&0&6 \end{pmatrix}

Zeilen &  Spalten darf man natürlich nur mit Einheiten (hier ±1) multiplizieren.

Aha, und der Isomorphismus ergibt sich dann aus einem bekannten Theorem, schätze ich? Ist das der Elementarteilersatz?

Woher weiß man, dass das Ergebnis der elementaren Umformungen eindeutig ist?

PS: Du sollst immer ehrlich sein ;) 

Betrachten wir mal W2=(113) : =v1,(111) : =v2,(242) : =v3 W_2 = \left\langle \underbrace{\begin{pmatrix} 1\\-1\\3 \end{pmatrix}}_{:= v_1}, \underbrace{\begin{pmatrix} 1\\1\\1 \end{pmatrix}}_{:= v_2} , \underbrace{\begin{pmatrix} -2\\4\\-2 \end{pmatrix}}_{:= v_3} \right\rangle

Dann betrachtet man die Smith-Normalform

https://en.wikipedia.org/wiki/Smith_normal_form

der Matrix A=(v1 v2 v3) A = ( v_1 ~ v_2 ~v_3 ) : Es existieren reguläre Matrizen S, T s.d.

(126)=SAT \begin{pmatrix}1\\ & 2 \\ && 6 \end{pmatrix}=SAT

bzw.

S1(126)=AT S^{-1} \begin{pmatrix}1\\ & 2 \\ && 6 \end{pmatrix} = AT

In den Spalten von S1 S^{-1} steht eine Basis (w1,w2,w3) (w_1, w_2, w_3) von Z3 \mathbb{Z}^3 . Da T regulär ist kann man es als Produkt von Elementarmatrizen schreiben, und die wirken nun von rechts auf A, d.h. als Spaltenperationen. Man kann die vi v_i also so miteinander addieren und tauschen, dass 1w1,2w2,6w3 1w_1, 2w_2, 6w_3 rauskommt. Am aufgespannten Modul ändert das aber nichts => W2=w1,2w2,6w3 W_2 = \langle w_1, 2w_2, 6w_3 \rangle

Insgesamt:

Z3W1=w1,w2,w3w1,2w2,6w3=w1w2w3w12w26w3w1w1w22w2w36w3Z/1ZZ/2ZZ/6Z \begin{aligned} \frac{\mathbb{Z}^3}{W_1} &= \frac{\langle w_1,w_2,w_3\rangle}{\langle w_1, 2w_2, 6w_3 \rangle} \\&= \frac{\langle w_1\rangle \oplus \langle w_2\rangle \oplus \langle w_3\rangle}{\langle w_1\rangle \oplus \langle 2w_2\rangle \oplus \langle 6w_3\rangle} \\&\cong \frac{\langle w_1\rangle}{\langle w_1\rangle} \oplus \frac{\langle w_2\rangle}{\langle 2w_2\rangle} \oplus \frac{\langle w_3\rangle}{\langle 6w_3\rangle} \\&\cong \mathbb{Z}/1\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/6\mathbb{Z} \end{aligned}

Die Anzahl der Elementarteiler ist eindeutig, die Elementarteiler nur bis auf Assoziiertheit (folgt aus dem Elementarteilersatz für Matrizen), die Matrizen S und T sind nicht eindeutig, aber das ist egal.

Inwiefern sind die Matrizen S und T nicht eindeutig, ist SAT = S'AT' für zwei weitere Matrizen S' und T'?

z.B.

(100020006)=(100110211)(112114312)(113011001)=(001011121)(112114312)(023145012) \begin{aligned}\begin{pmatrix} 1 &0 & 0\\ 0 & 2 & 0 \\ 0& 0 &6\end{pmatrix} &= \begin{pmatrix} 1 & 0 & 0 \\ 1 & 1 & 0 \\ -2 & 1 & 1 \end{pmatrix} \begin{pmatrix} 1 & 1 & -2 \\ -1 & 1 & 4 \\ 3 & 1 & -2 \end{pmatrix}\begin{pmatrix} 1 & -1 & 3 \\ 0 & 1 & -1 \\ 0& 0 &1 \end{pmatrix} \\ &= \begin{pmatrix} 0 & 0 & 1 \\ 0 & 1 & -1 \\ 1 & -2 & 1 \end{pmatrix} \begin{pmatrix} 1 & 1 & -2 \\ -1 & 1 & 4 \\ 3 & 1 & -2 \end{pmatrix}\begin{pmatrix}0 & -2 & -3 \\ 1 & 4 & 5 \\ 0 & -1 & -2 \end{pmatrix}\end{aligned}

Ein anderes Problem?

Stell deine Frage