master > master: minor
This commit is contained in:
parent
3897d64163
commit
b4e545fdfc
Binary file not shown.
@ -4457,7 +4457,7 @@ Um \Cref{satz:1:ueb:6:ex:3} zu beweisen, brauchen wir zunächst folgendes Zwisch
|
||||
\end{lemm}
|
||||
|
||||
\begin{einzug}[\rtab][\rtab]
|
||||
\begin{proof}
|
||||
\begin{proof}[von \Cref{lemm:1:ueb:6:ex:3}][\Cref{lemm:1:ueb:6:ex:3}]
|
||||
Da die Teilstruktur, $(F,+)$, durch die Produktstruktur $(K,+)\times (K,+)$ gegeben ist,
|
||||
dessen Faktoren all kommutative Gruppen sind, ist $(F,+)$ eine kommutative Gruppe.
|
||||
Das heißt, die {\bfseries Additionsaxiome} unter den Körperaxiomen sind allesamt erfüllt.
|
||||
|
Loading…
Reference in New Issue
Block a user