Dieser Artikel ist im Entstehen und noch nicht Bestandteil der freien Enzyklopädie Wikipedia .
Solltest du über eine Suchmaschine darauf gestoßen sein, bedenke, dass der Text noch unvollständig sein und Fehler oder ungeprüfte Aussagen enthalten kann. Wenn du Fragen zum Thema hast, nimm Kontakt mit dem Autor MartinThoma auf.
Elementarteiler können über den Struktursatz endlicher ablescher Gruppen eingeführt werden:[ 1]
Es sei
G
{\displaystyle G}
eine endliche, abelsche Gruppe. Dann gibt es
d
1
,
d
2
,
…
,
d
t
∈
N
≥
1
{\displaystyle d_{1},d_{2},\dots ,d_{t}\in \mathbb {N} _{\geq 1}}
mit
d
1
|
d
2
|
…
|
d
t
{\displaystyle d_{1}|d_{2}|\dots |d_{t}}
und einen Isomorphismus
G
≅
Z
(
d
1
)
⊕
Z
(
d
2
)
⊕
⋯
⊕
Z
(
d
t
)
{\displaystyle G\cong Z(d_{1})\oplus Z(d_{2})\oplus \dots \oplus Z(d_{t})}
.
Die Zahlen
t
{\displaystyle t}
und
d
1
,
…
,
d
t
{\displaystyle d_{1},\dots ,d_{t}}
sind durch
G
{\displaystyle G}
eindeutig bestimmt. Die Zahlen
d
1
,
…
,
d
t
{\displaystyle d_{1},\dots ,d_{t}}
werden Elementarteiler genannt.
A
:=
(
4
0
0
0
10
0
0
0
15
)
{\displaystyle A:={\begin{pmatrix}4&0&0\\0&10&0\\0&0&15\end{pmatrix}}}
Es gilt:
g
g
T
(
A
)
=
1
{\displaystyle ggT(A)=1}
, also ist
A
1
,
1
=
1
{\displaystyle A_{1,1}=1}
.
(
4
0
0
0
10
0
0
0
15
)
→
(
4
0
−
15
0
10
0
0
0
15
)
→
(
4
0
1
0
10
0
0
0
15
)
→
(
1
0
4
0
10
0
15
0
0
)
→
(
1
0
4
0
10
0
0
0
−
60
)
→
(
1
0
0
0
10
0
0
0
−
60
)
→
(
1
0
0
0
10
0
0
0
60
)
{\displaystyle {\begin{aligned}{\begin{pmatrix}4&0&0\\0&10&0\\0&0&15\end{pmatrix}}&\to {\begin{pmatrix}4&0&-15\\0&10&0\\0&0&15\end{pmatrix}}\\&\to {\begin{pmatrix}4&0&1\\0&10&0\\0&0&15\end{pmatrix}}\\&\to {\begin{pmatrix}1&0&4\\0&10&0\\15&0&0\end{pmatrix}}\\&\to {\begin{pmatrix}1&0&4\\0&10&0\\0&0&-60\end{pmatrix}}\\&\to {\begin{pmatrix}1&0&0\\0&10&0\\0&0&-60\end{pmatrix}}\\&\to {\begin{pmatrix}1&0&0\\0&10&0\\0&0&60\end{pmatrix}}\\\end{aligned}}}
det
A
=
4
⋅
10
⋅
15
=
600
{\displaystyle \det {A}=4\cdot 10\cdot 15=600}
ist die Determinante von
A
{\displaystyle A}
. Jeder Elementarteiler ist ein Teiler der Determinante:
1
|
10
|
60
|
600
{\displaystyle 1|10|60|600}
.
↑ Gerd Fischer: Lehrbuch Der Algebra . Springer, 2007, ISBN 978-3-8348-9455-7 , S. 108 .