正規部分群やイデアルはなぜ必要なのだろうーこうしたことに引っかかった人に読んでほしい！「計算体験＝数学的現象の観察」から出発。証明にはデザインパターンがある！