結晶群．具体的対象で多面体群を見る．
上がった例はともに半直積で表されるので，その決定をあれこれ検討した．
四面体群はで，Kleinの四元群と
の半直積だったね．
来週からはしばらくオンライン．
キューブ群．
こちらは，世に知られた解法が，必ずあらゆる配置から揃えられるかどうかをちゃんと証明してみよう，という話だった．
揃った状態に近づくほど可能な配置の制限があらわに影響してくるが，初期配置では何も気にせず，知られた手順を適用すれば良い，ということか．
こちらのゼミは今週でオシマイ．来週から副免実習．
