可換な場合(1)(2)(3)(6)の結果の解釈。5に現れている行列で「行列単位」と言います。可換」という補題が成り立つ。これを使うことができる。どこまで計算したら結果なのかが判断しづらい問題が多い。可換である時の結果の解釈。後にするのが良さそう。あることは解答で使わない。増えうるが、そこまでの議論は期待されていない問題だと思う。「3以上の自然数」が正解になる。いう記号は紛らわしいし、他の本では異なる記号で書かれることもある記号である。いう記号は、一般によく用いられる記号である。いう記号もしばしば用いられる。異なるものをかなり似たような記号で表している点である。定理2.4の証明(p35-37)が、この本で最初の本格的な証明であり、数学的帰納法の使い方を含め、きっちり学習したい。一意性を証明している。このように示すべき内容をしっかりと分けて記述するのは望ましい。定理2.5の証明(1)(p40)は、自分で補うことが求められている難易度の高い記述である。「同様にして」や「同じ手順を繰り返し」のような部分をきちんと書き下すことが必要だが、なんとなくわかっているんだけど書きづらい、ということが起こり得る。作文力をつけていく問題である。定理2.5の証明(2)(p40-41)は、このまま読んでいけば良い記述である。いう証明の技術の一例になっている。正方行列であることは使われていない。