Zahlbereich/Galoissch/Fundamentaleinheiten/Zwischenring/Aufgabe/Lösung

Es sei (1) erfüllt. Nehmen wir an, dass die Wirkung nicht treu ist. Das bedeutet, dass der Gruppenhomomorphismus

$\operatorname {Gal} \,(\mathbb {Q} {|}K)\longrightarrow \operatorname {Aut} \,R^{\times }/\mu _{}{\left(R\right)}$

nicht injektiv ist. Dann gibt es einen nichttrivialen Kern, sagen wir

${}H\subseteq \operatorname {Gal} \,(\mathbb {Q} {|}K)\,.$

Zur gelösten Aufgabe