Units congruent to one modulo 3 plus square root two

ID: units-congruent-to-one-modulo-3-plus-square-root-two

Reduction modulo identifies with , sends to , and sends to . Since has order six and in , the kernel on units is the infinite cyclic group

New to topics? Read the docs here!