Since I had “forgotten” why the isomorphism $I⊕J\cong(I⊗J)⊕O_F$ holds, here is a reference: Keith Conrad, “Ideal classes and relative integers”, lemma 8.
↧