Hamiltonian group

non-abelian Dedekind group