無限群の定義と一般的な例