jurupapa https://blog.hatena.ne.jp/jurupapa/ Maxima で綴る数学の旅 https://maxima.hatenablog.jp/ 数学 Mathematics In Lean 4の第8章 群と環 に進みます。今回は8.1.3 部分群を読んでみます。 あるタイプAの元の集合が群をなすことを示すにはGroup A、Aの元の集合の部分集合がAの演算で群をなす（部分群になる）ことを示すにはSubgroup Aと書きます。演算が加法である場合にはAddSubgroup Aと書けば良いです。 Mathematics In Lean 4では例として整数のなす群が有理数のなす群の加法に関する部分群であることを示します。このためには４つのことを示す必要があります。 1. 整数の集合が有理数の集合の部分集合であること2. 整数の集合が加法で閉じて… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fmaxima.hatenablog.jp%2Fentry%2F2024%2F12%2F06%2F181818" title="-数学- Lean4のお勉強　群と部分群 - Maxima で綴る数学の旅" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn-ak.f.st-hatena.com/images/fotolife/j/jurupapa/20241201/20241201114116.jpg Hatena Blog https://hatena.blog 2024-12-06 18:18:18 rich https://maxima.hatenablog.jp/entry/2024/12/06/181818 1.0 100%