Cosets of a coordinate subgroup of the integer Heisenberg group

ID: cosets-of-a-coordinate-subgroup-of-the-integer-heisenberg-group

Write with integer coordinates. Multiplication in this parametrization is . The subgroup has right cosets obtained by multiplying on the left by its elements, so its right cosets are exactly the displayed sets with fixed . In particular, right cosets are indexed by . Left cosets differ: fixes and , since right multiplication changes by and by . This also exhibits why is not a normal subgroup of the Integer Heisenberg group.

New to topics? Read the docs here!