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

  • トノイテ、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
  • コス、オ、、ソケヤ、マ、ウ、ホソァ、ヌ、ケ。」
*フワシ。 [#t493691b]

#contents


*ツソケ狆ー、ホエヒワナェ、ハトオチ [#y43c06c7]

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

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

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


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


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


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


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

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


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

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


*ツソケ狆ー、ホエヒワナェ、ハトヘ [#j4b2b1e0]

[トヘ]~
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)))


*ツソケ狆ーエト、マーーユハャイターー [#sa6c153d]

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

**ツホセ螟ホツソケ狆ーエト、マチヌクオ [#a6c4e0a8]

[トヘ]ツホ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ハムソ、ホセケ遑 [#n0c4eacc]

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

[セレフタ]

。。[[ターー隍ネーーユハャイターー隍ホエリキク:http://akademeia.info/index.php?%B0%EC%B0%D5%CA%AC%B2%F2%C0%B0%B0%E8#b754d857]]、ネ[[ツホセ螟ホツソケ狆ーエト、マチヌクオ:http://akademeia.info/index.php#g73fa8f7]]、隍遙「エフハャイ、ホツクコ゚、シィ、サ、ミススハャ。」

。。ツソケ狆ー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.。ヒ


*クカサマツソケ狆ー [#mf92b1a5]

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

**・ャ・ヲ・ケ、ホハ萃 [#v132beb7]

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

[セレフタ]

f(x)=aSUB{0};+aSUB{1};x+。ト+aSUB{n};xSUP{n};。ハaSUB{i};「コR。ヒ。「
g(x)=bSUB{0};+bSUB{1};x+。ト+bSUB{n};xSUP{n};。ハbSUB{i};「コR。ヒ、ネ、ケ、。」

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

。。f(x)、マクカサマツソケ狆ー、タ、ォ、鬘「p。礙CD(aSUB{0};,。ト,aSUB{n};)

。。、隍テ、ニ。「aSUB{0};,。ト,aSUB{n};、ホセッ、ハ、ッ、ネ、筅メ、ネ、ト、マp、ヌウ荀タレ、、ハ、、。」

。。、ス、ウ、ヌ。「ス鬢皃ニp、ヌウ荀、ハ、、キクソ、aSUB{r};、ネ、ケ、。」ツィ、チ。「

&mimetex("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、ヌウ荀タレ、、ハ、、キクソ、bSUB{s};、ネ、ケ、。」ツィ、チ。「

&mimetex("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)、ホxSUP{r+s};、ホキクソ、マ。「シ。、ホトフ、遙」

&mimetex("\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}}");

。。aSUB{r};bSUB{s};、マp、ヌウ荀タレ、、ハ、、、ォ、鬘「、ウ、ホxSUP{r+s};、ホキクソ、マp、ヌウ荀タレ、、ハ、、。」p、マヌ、ーユ、ハ、ホ、ヌ。「タムf(x)g(x)、ホxSUP{r+s};、ホキクソ、マ、ノ、、ハチヌクオp、、ネ、テ、ニ、箋荀タレ、、ハ、、。」

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

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


*サイケヘハクク・ [#lcf1e60f]

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