無限非可換群の典型例