Ramified prime classes for discriminant minus four d

ID: ramified-prime-classes-for-discriminant-minus-four-d

Let be a positive square-free integer congruent to one modulo four, with distinct prime factors . The ring of integers is . Each ramified prime ideal satisfies , so its ideal class has order dividing two. Their product is the principal ideal .
There are no further subset relations. For a nonempty proper subset , put . If , the ideal norm gives . But forces and makes the square-free integer a square, a contradiction. Thus the homomorphism defined by the ramified classes has exactly the all-ones relation, and its image is . This identifies a subgroup, without asserting that these classes exhaust the ideal class group.

New to topics? Read the docs here!