Citat:
Ursprungligen postat av dbshw
Testa
Kod:
Collect[Expand[(*)], {y,u1,u2,u3}, Simplify]
istället. Annars verkar den (för mig) inte vilja förenkla koefficienterna ordentligt, och Factor gör ingenting. När jag kör med det ovan så fungerar det.
Det där funkande inte för mig, men jag tweakade som så
Collect[Expand[(*)], y, Simplify]
Detta gav det korrekta, med undantag för termen u2^3, som i min uträkning blev u2^2; jag gissar dock att u2^3 i boken är en typo, det förstör ju symmetrin totalt. Tack tack.
Här är en enkel definitionsfråga:
X = (X1,...,Xn), S = (s1,...,s_n) (elementära symmetriska polynom), F = k(X), A = k[X], K = k(S), P = k[S], A_H integrala höljet av P i F^H. We will call primitive invariant of H < Sn any polynomial Psi in A_H which is a primitive element of F^H/K... The minimal polynomial over K of a primitive invariant Psi of H will be called the (generic) Lagrange resolvent of H associated to Psi, denoted L_Psi.
Psi är alltså sådan att F^H = K(Psi), och Psi är rot till något minimalt polynom L_Psi. "Var" ligger L_Psi? Eftersom det är "över K" så tippar jag på att L_Psi tillhör K[T]. Jag tappar bort mig lite bland dessa hyfsat abstrakta ringar...