a)
a) Zeigen, Äquivalenz folgender Aussagen:
◦ M ist frei und endlich erzeugt;
Also gibt es endlich viele ( etwa m Stück) Erzeugende,
etwa a1,a2,..., am in M, so dass jedes a aus M in der
Form x1*a1+x2*a2+....xn*an = a mit xi aus R darzustellen ist.
Und "frei" heißt doch keines der ai läßt sich durch die anderen a's
darstellen, also sind die ai über R lin. unabhängig.
Dann ist die Abbildung, die jedem
x1*a1+x2*a2+....xn*an = a das m-Tupel
(x1,x2,....,xm) zuordnet ein Isomorphismus
◦ M ≅Rm für ein geeignetes m ∈ ℕ.
umgekehrt genauso, Basis von M liefert
m Stück freie Erzeugende von M.