R mod Z2 pi/Isomorphism theorem/Example

The group homomorphism

is surjective. Due to the periodicity of the trigonometric functions, the kernel equals . By the isomorphism theorem, there exists a canonical isomorphism