A subgroup of SO(4) that is not closed
Statement
For let (block diagonal with two rotations). Show that is a subgroup of which is not closed.
Hint
The matrices form a torus . Show that is dense in but .
Show solutionHide solution
Solution
Subgroup. and , so is a subgroup of the torus , which is a closed subgroup of (compact: image of under a continuous map).
Density in . *Step 1: is dense in .* Divide into intervals of length . Among the numbers , (fractional parts), two lie in the same interval (pigeonhole): , so there is with (: distance to the nearest integer), and since is irrational. The multiples , , move along the circle in steps of size , so they come within of every point.
*Step 2.* Let and . We have . Take . By step 1 there is an integer with within of modulo (the multiples are dense modulo , so the multiples are dense modulo ). Then is within distance of . So is dense in .
. The element is not in : requires and for integers , i.e. , impossible since the left side is irrational for and for it gives .
Not closed. If were closed in , then, being dense in the closed subset , we would get , contradicting .
Remark. is a one-parameter subgroup that "winds" densely on the torus: it is an injective continuous image of (the map is injective) but not a closed embedded curve. This is the standard example showing that Lie subgroups need not be closed.