グレブナー基底大好きbotさんによるまとめ
「グレブナー基底の存在性」
https://togetter.com/li/890548
#ディクソンの補題 より
任意の #単項式順序 と
任意の #イデアル に対し
#グレブナー基底 が存在.
#ヒルベルトの基底定理:
n変数 #多項式環 の任意のイデアルは #有限生成
@gunron-tan.bsky.social
@gunron-tan.bsky.socialグレブナー基底大好きbotさんによるまとめ
「グレブナー基底の存在性」
https://togetter.com/li/890548
#ディクソンの補題 より
任意の #単項式順序 と
任意の #イデアル に対し
#グレブナー基底 が存在.
#ヒルベルトの基底定理:
n変数 #多項式環 の任意のイデアルは #有限生成
@gunron-tan.bsky.socialグレブナー基底大好きbotさんによるまとめ
#ディクソンの補題
https://togetter.com/li/889789
・ #単項式イデアル: 単項式のみにより生成された #イデアル
Dickson's lemma
https://en.wikipedia.org/wiki/...
・単項式イデアルは #有限生成
・ #グレブナー基底 の存在性を証明するのに重要