Playing this video requires the latest flash player from Adobe.
Download link (right click and 'save-as') for playing in VLC or other compatible player.
Group, subgroup, coset, normal subgroup, direct product group, semi-direct product group, quotient group