中国語飽きたので数学。 def 9.1で表されるをクラインの4元群という。 prop 9.2クラインの4元群は、4次対象群の正規部分群である。即ち の任意の元を持ってきて であることを示せばよい。このことを示すために、任意の互換、に対して が成立することを利用す…