Ganzer Zahlbereich/Dirichletscher Einheitensatz/Fundamentaleinheiten/Nicht kanonisch/Bemerkung
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