Domácí úkol z 9. října 2014
Nechť K je imaginární kvadratické těleso, A nenulový ideál okruhu Ok všech celých algebraických čísel tělesa K. Dokažte, že
l(°WA)x|=JV(A)n(l-^py),
kde P v součinu probíhá všechny prvoideály dělící A a kde N (A) = \Ok/A\ značí normu ideálu (podobně N{P)).
[Návod: můžete využít instrukcí k příkladům 7.28, 7.29 na str. 156-157 Coxovy knihy.]