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!