2020年になってイスクイル IVが制作されているので、まとめなおしました。 特筆なければ英語。おおよそithkuil.placeからの引用。 日本語のwikipediaページは情報が古いです。 このページも情報が古い可能性がありますのでご注意を。 全体 A grammatically c…

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