14/11/16 07:34:41.97
>>537 つづき
で
ここで、補助方程式の根 r,r',r''・・・を全部添加して
F(t)=fo(t,r,r',r''・・・)fo(t,r,r',r''・・・)fo(t,r,r',r''・・・)・・・
と出来たとする
これを群論から見ると、元の方程式の群をG、fo(t,r,r',r''・・・)を変えない部分群をN、補助方程式の根 r,r',r''・・・の置換群Hとして
G=N+Nh1+Nh2・・・（e,h1,h2,・・・∈H。eは単位元で、N=Neと見てることもできる。）