Ganzer Zahlbereich/Dirichletscher Einheitensatz/Fundamentaleinheiten/Nicht kanonisch/Bemerkung

Aus Wikiversity

Fakt besagt insbesondere, dass es Systeme von Fundamentaleinheiten gibt, und dass stets

ist, wenn wieder die Anzahl der reellen und die Anzahl der Paare von komplexen Einbettungen bezeichnet. Bei einer Zerlegung

kann man eine Basis von und insbesondere die Standardbasis als System von Fundamentaleinheiten nehmen. Man beachte, dass weder die Zerlegung noch die dazu äquivalente Auswahl von Fundamentaleinheiten in irgendeiner Form kanonisch ist. Es liegt eine natürliche Untergruppenbeziehung

vor und damit gibt es auch einen natürlichen Restklassenhomomorphismus

und der Satz besagt eben, dass diese Restklassengruppe eine freie kommutative Gruppe vom Rang ist, also isomorph zu , es gibt aber keine natürliche Identifizierung dieser Restklassengruppe mit . Aus einer surjektiven Gesamtabbildung

erhält man eine freie Untergruppe von , indem man jedem Element der Standardbasis rechts ein Urbild aus zuordnet und von dieser Abbildung das Bild nimmt. Dies führt dann zu einer Zerlegung