本記事ではベズーの等式について解説します。誰もが一度は見たことがあるであろう形の等式を一般化した等式です。
主張
こんな等式のことです。
ちょっとピンとこない人もいるかもしれませんね。もう少し特別な場合の例を見てみましょう。
ある整数
となります。
どうでしょうか?高校時代に見覚えがある方も多いのではないでしょうか。ユークリッドの互除法を使って導いた、整数問題で頻出のアレです。今回ご紹介するのはこの性質のPIDへの一般化ということです。
証明
では証明しましょう。
(証明) 単項イデアル
(証明終)
この証明の中で示された、イデアルに関する性質を述べておきます。
綺麗でいい感じですね。数学をやっていると、時々このようにすっきりできるタイミングがあるので楽しいです。
一般化
実は元の個数を一般化することができます。
証明は上と全く同様なので割愛します。
まとめ
本記事ではベズーの公式について紹介しました。中高で習った定理がさらに一般化できることを知ることができるのも大学数学の醍醐味ですね。
ちなみにその名の由来となっているベズー(Bèzout)は代数幾何の分野でも重要な「ベズーの定理」でも知られています。
コメント