今日のテーマ代数系, 特に, 群。