Write and . Since their common square-free discriminant is congruent to zero or one modulo four, it must be one modulo four; thus are odd. It is not a rational square because a square-free integer square is only zero or one. Both polynomials are irreducible over , and their roots generate the same quadratic extension . Their integral roots are and , respectively. Each generated order isthe usual ring of integers for square-free . This identifies both quotients with the same ring. Explicitly, if denotes the image of modulo , send the image of modulo to . Equal discriminants give , and the opposite translation gives its inverse. The two quotient rings are isomorphic.
Articles by others on the same topic
There are currently no matching articles.