、ウ、ホ・レ。シ・ク、、マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、爨マ、ニ、ハ・ヨ・テ・ッ・゙。シ・ッ 、ウ、ホ・レ。シ・ク、livedoor ・ッ・・テ・ラ、ヒトノイテ、ウ、ホ・レ。シ・ク、エ゙、瀝ivedoor ・ッ・・テ・ラ

フワシ。

ツソケ狆ー、ホエヒワナェ、ハトオチ

[トオチ]
ソ、ネ、、、ッ、ト、ォ、ホハクサ。ハノヤトクオ。ヒ、ネ、ホタム、ヌノス、オ、、ソシー、テアケ狆ー、ネ、、、ヲ。」、ス、ホ、ヲ、チソ、ホノハャ、キクソ、ネ、、、、。「ウン、アケ遉、オ、、ニ、、、ハクサ、ホチソ、、ス、ホシ。ソ、ネ、、、ヲ。」、ソ、タ、キ。「シ。ソ、マ。「、ス、ホ、ヲ、チ、ホニテト熙ホハクサ、ヒ、ト、、、ニ、ホ、゚ケヘ、ィ、、ウ、ネ、筅「、。」シ。ソ、ャn、ホサ。「nシ。シー、ネ、、、ヲ。」

。。ソサ、タ、ア、ヌハクサ、ホ、ハ、、-10、ネ、、、ヲシー、筅ス、ホテヘ、ャ0、ヌ、ハ、、クツ、遙「0シ。、ホテアケ狆ー、ネケヘ、ィ、。」、ス、ホ、ネ、ュ。「、ス、ホソシォツホ、ャキクソ、ヌ、「、。」

。。、゙、ソ。「0、ホシ。クオ、マトオチ、キ、ハ、、、ャ。「、「、鬢讀ソ、隍セョ、オ、、-。遉ホシ。クオ。ハ-。郛。クオ。ヒ、ネフツォ、ケ、、ネハリヘ、ハ、ウ、ネ、ャツソ、、。」

ホ罍ァ10x3、マキクソ10。「シ。ソ3、ホテアケ狆ー、ヌ、「、。」

[トオチ]
テアケ狆ー、ホシー、ネ、キ、ニノス、オ、、シー、ツソケ狆ー、ネ、、、ヲ。」、ス、ホテ讀ホ、メ、ネ、ト、メ、ネ、ト、ホテアケ狆ー、、ス、ホケ爨ネ、、、、。「トソ、ホ、゚、ホケ爨トソケ、ネ、、、ヲ。」、゙、ソ。「、ス、ホケ爨ホシ。クオ、ホコヌツ遉、ス、ホツソケ狆ー、ホシ。ソ、ネ、、、ヲ。」、ス、ホコン。「ツソケ狆ーp、ホシ。ソ、deg(p)、ヌノス、ケ。」

[トオチ]
ツソケ狆ー、ホケ爨ホ、ヲ、チ、ヌ。「ハクサ、ホノハャ。ハニテト熙ホハクサ、ホ、゚、ヒ、ト、、、ニケヘ、ィ、、ウ、ネ、筅「、。ヒ、ャニアー、ホケ爨ニアホ犹、ネ、、、ヲ。」 ツソケ狆ー、ヒ、ェ、、、ニニアホ犹爨、゙、ネ、皃ニ、ス、ホキクソ、イテササ、ケ、、ウ、ネ。「キクソ、ャ0、ホケ爨ス、ッ、ウ、ネ。「、オ、鬢ヒノャヘラ、ヒア、ク、ニケ爨ト熙皃鬢、ソス鄂、ヒハツ、モツリ、ィ、、ウ、ネ、。「ツソケ狆ー、ターヘ、ケ、。ハ、゙、ソ、マノクス犂ス、ケ、。ヒ、ネ、、、ヲ。」

。。ツソケ狆ー、ホ、ェ、、、ニ、マコヌケ箴。ソ、ホケ爨ャスナヘラ、ハセフフ、ャツソ、、。」

[トオチ]
、ス、ホコヌケ箴。ソ、シ郢、ネ、、、ヲ。」
、ス、キ、ニ。「1ハムソ、ホ、ネ、ュ。「、「、、、、マニテト熙ホシ醋ムソ、ヒ、ニ、、、ニターヘ、キ、ソ、ネ、ュ、ホシ郢爨ホキクソ、シ邱クソ、ネ、、、ヲ。」
、チ、ハ、゚、ヒ。「シ邱クソ、ャ1。ハツホ、ヒ、ェ、ア、セ靈。、ホテアーフクオ。ヒ、ヌ、「、ツソケ狆ー、・筵ヒ・テ・ッ。ハテシナェ。ヒ、ネ、、、ヲ。」

[トオチ]
(1)F[x]
=。ヨFセ螟ホチエ、ニ、ホツソケ狆ー、ホスクケ遑ラ
={P(x)。ィP(x)、マFセ螟ホツソケ狆ー}
(2)Fn[x]
=。ヨ・シ・ツソケ狆ー、ネシ。ソnーハイシ、ホチエ、ニ、ホツソケ狆ー、ホスクケ遑ラ
={P(x)「コF[x]。ィdeg(P(x))。蚣、゙、ソ、マP(x)=0}

[ハ萃ュ]F[x]、マターソエトZ、ネ、ロ、ワニア、クタュシチ、サ、トエト、ヒ、ハ、。」

ツソケ狆ー、ホエヒワナェ、ハトヘ

[トヘ]
P(x)、ネQ(x)、Fセ螟ホツソケ狆ー、ネ、キ。「P(x)。0,Q(x)。0、ネ、ケ、。」
、ウ、ホ、ネ、ュ。「シ。、ホ、ウ、ネ、ャタョ、ホゥ、ト。」
。ハ」ア。ヒdeg(P(x)Q(x))=deg(P(x))+deg(Q(x))
。ハ」イ。ヒdeg(P(x)。゙Q(x))。藪ax(deg(P(x)),deg(Q(x)))

ツソケ狆ーエト、マーーユハャイターー

。。ツホKセ螟ホツソケ狆ーエトK[x1,。ト,xn]、ャーーユハャイターー隍ヌ、「、、ウ、ネ、セレフタ、ケ、、ウ、ネ、フワノク、ヒ、ケ、。」

ツホセ螟ホツソケ狆ーエト、マチヌクオ

[トヘ]ツホKセ螟ホツソケ狆ーセ螟ホツソケ狆ーエトK[x]、マチヌクオ、ヌ、「、。」

[セレフタ]

。。エフクオf(x)「コK[x]、シ隍遙「f|gh、ネイセト熙ケ、。」

。。、オ、鬢ヒ。「g、マf、ヌウ荀タレ、、ハ、、、ネ、ケ、、ネ。「f、ネg、マク゚、、、ヒチヌ、ハ、ホ、ヌ。「シ。、ャタョ、ホゥ、ト。」

「ミA,B「コK[x] s.t. 1=Af+Bg

。。、ウ、ホ、ネ、ュ。「h=Afh+Bgh、ネ、ハ、、ホ、ヌ。「f|h。。。ハQ.E.D.。ヒ

ツホセ螟ホツソケ狆ーエト、マーーユハャイターー陦。。1ハムソ、ホセケ遑

[トヘ]ツホKセ螟ホツソケ狆ーエトK[x]、マ。「ーーユハャイターー隍ヌ、「、。」

[セレフタ]

。。ターー隍ネーーユハャイターー隍ホエリキク、ネツホセ螟ホツソケ狆ーエト、マチヌクオ、隍遙「エフハャイ、ホツクコ゚、シィ、サ、ミススハャ。」

。。ツソケ狆ーf(x)「コK[x]、ャ0、ヌ、篥アクオ、ヌ、筅ハ、、、ネ、ケ、、ミ。「f、マトソ、ヌ、マ、ハ、、。」

。。、筅キ。「f、ャエフ、ヌ、「、、ミ。「fシォソネ、ャエフハャイ、ヌ、「、。」

。。、筅キ。「f、ャエフ、ヌ、ハ、ア、、ミ。「f=gh、ネハャイ、キ。「g,h、マトソ、ヌ、ハ、、ツソケ狆ー、ヌ、「、。」、ウ、、ネ、ュ。「g,h、ホシ。ソ、マf、ホシ。ソ、隍ト网、。」

。。、筅キ。「g,h、ャエフ、ハ、鬘「f=gh、マエフハャイ。」

。。、筅キ。「g,h、ホ、ノ、チ、鬢ォ、ャエフ、ヌ、ハ、ア、、ミ。「コニ、モシ。ソ、ホト网、ツソケ狆ー、ホタム、ヒハャイ、ケ、。」、ウ、ホ、隍ヲ、ハチ犲、マヘュクツイ、ヌスェホサ、キ。「エフハャイ、ヒナテ」、ケ、。」。。。ハQ.E.D.。ヒ

クカサマツソケ狆ー

[トオチ]
ーーユハャイターー鏗セ螟ホツソケ狆ーf(x)=a0+a1x+。ト+anxn「コR[x]、ホキクソ、ホコヌツ邵フソGCD(a0,。ト,an)、f、ホニ簣ニ、ネ、、、、。「c(f)、ヌノス、ケ。」
ニテ、ヒ。「c(f)=1、ホ、ネ、ュ。「f、マクカサマツソケ狆ー。ハprimitive polynomial。ヒ、ヌ、「、、ネ、、、ヲ。」

・ャ・ヲ・ケ、ホハ萃

[トヘ]・ャ・ヲ・ケ、ホハ萃
クカサマツソケ狆ー、ホタム、マ。「クカサマツソケ狆ー、ヌ、「、。」

[セレフタ]

f(x)=a0+a1x+。ト+anxn。ハai「コR。ヒ。「 g(x)=b0+b1x+。ト+bnxn。ハbi「コR。ヒ、ネ、ケ、。」

。。R、ホヌ、ーユ、ホチヌクオ、p、ネ、ケ、。」

。。f(x)、マクカサマツソケ狆ー、タ、ォ、鬘「p。礙CD(a0,。ト,an)

。。、隍テ、ニ。「a0,。ト,an、ホセッ、ハ、ッ、ネ、筅メ、ネ、ト、マp、ヌウ荀タレ、、ハ、、。」

。。、ス、ウ、ヌ。「ス鬢皃ニp、ヌウ荀、ハ、、キクソ、ar、ネ、ケ、。」ツィ、チ。「

p~|~a_{0}~,~p~|~a_{1}~,~\cdots~,~p~|~a_{r-1}~,~p~\not\mid~a_{r}~,~p~|~a_{r+1}~,~\cdots~,~p~|~a_{n}

、ネ、ハ、。」

。。ニアヘヘ、ヒ。「g(x)、ヒ、ト、、、ニ、篆鬢皃ニp、ヌウ荀タレ、、ハ、、キクソ、bs、ネ、ケ、。」ツィ、チ。「

p~|~b_{0}~,~p~|~b_{1}~,~\cdots~,~p~|~b_{s-1}~,~p~\not\mid~b_{s}~,~p~|~b_{s+1}~,~\cdots~,~p~|~b_{n}

、ネ、ハ、。」

。。、ウ、ホ、ネ、ュ。「f(x)g(x)、ホxr+s、ホキクソ、マ。「シ。、ホトフ、遙」

\underbrace{~a_{0}b_{r+s}~+~a_{1}b_{r+s-1}~+~\cdots~}_{\text{divided~by~p}}~+~a_{r}b_{s}~+~\underbrace{~a_{r+1}b_{s-1}~+~\cdots~+~a_{r+s}b_{0}~}_{\text{divided~by~p}}

。。arbs、マp、ヌウ荀タレ、、ハ、、、ォ、鬘「、ウ、ホxr+s、ホキクソ、マp、ヌウ荀タレ、、ハ、、。」p、マヌ、ーユ、ハ、ホ、ヌ。「タムf(x)g(x)、ホxr+s、ホキクソ、マ、ノ、、ハチヌクオp、、ネ、テ、ニ、箋荀タレ、、ハ、、。」

。。、隍テ、ニ。「f(x)g(x)、ホキクソ、ホコヌツ邵フソ、マ1

。鑁(x)g(x)。ァクカサマツソケ狆ー。。。ハQ.E.D.。ヒ

サイケヘハクク・

  • 。リカヲホゥケヨコツ。。21タ、オェ、ホソウリ8。。エト、ネツホ、ホヘマタ。ル