{"entities":{"Q629348":{"pageid":631196,"ns":120,"title":"Item:Q629348","lastrevid":63205572,"modified":"2026-04-11T11:18:32Z","type":"item","id":"Q629348","labels":{"en":{"language":"en","value":"Gr\u00f6bner basis of the alternating Galoisian ideal"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5862848"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$FF233A7A-9529-42C2-BABE-0B13380A9BCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ba8b1194ea37a9158bec02f27fafffcb2a6e55d3","datavalue":{"value":{"text":"Gr\u00f6bner basis of the alternating Galoisian ideal","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q629348$A7F384FF-16A2-4945-8C15-8887E4C63718","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32b32b19eec07f75a40775905dddd880cd4221e5","datavalue":{"value":"1213.13042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629348$E6CEAC5E-66B0-4AA1-8F77-08D314D73F68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9198ab1af9597de8a8e05338369015c06200acb","datavalue":{"value":{"entity-type":"item","numeric-id":167080,"id":"Q167080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$01F14E6C-B015-46B1-8774-5C78CDE62370","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$AA8F80AC-2885-4665-8275-AAD45743F2BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"791243a770867bf9a828ca3fa60256efae5a0523","datavalue":{"value":{"time":"+2011-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q629348$993A4231-63CC-4DD0-8B5A-E58034BC2422","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cf41bef8bc4ae910262ad2283ef60e7cf621d673","datavalue":{"value":"An ideal \\(I\\subseteq k[x_1,\\dots,x_n]\\) is Galoisian relative to \\(f\\in k[x]\\) if every \\(g\\in I\\) vanishes on a permutation of the \\(n\\) roots of \\(f\\). (It is assumed that \\(f\\) has no multiple roots.) We can associate with each Galoisian ideal a subgroup of \\(S_n\\) that leaves the ideal invariant; this is the decomposition group \\(\\mathrm{Gr}(I)\\) of the ideal. It is clear that \\(\\mathrm{Gr}(I)\\subseteq L\\) for the largest \\(L\\subseteq S_n\\) that defines \\(I\\); if \\(\\mathrm{Gr}(I)=L\\), then \\(I\\) is pure.  Suppose that the Galois group of \\(f\\) over \\(k\\) is a subgroup of the alternating group \\(A_n\\); if \\(\\mathrm{Gr}(I)=A_n\\), we say that \\(I\\) is an alternating galoisian ideal associated with \\(f\\). There are in fact two such ideals, generated by the sets \\(F_1=\\{C_1,\\dots,C_{n-2},G,C_n\\}\\) and \\(F_2=\\{C_1,\\dots,C_{n-2},H,C_n\\}\\), where \\(G\\) and \\(H\\) are polynomials in \\(x_1,\\dots,x_{n-1}\\), of degree~1 in \\(x_{n-1}\\), and each \\(C_i\\) is one of the Cauchy moduli of \\(f\\), defined as  \\[ C_1(x_1)=f(x_1)\\quad\\roman{and}\\quad C_{r+1}=\\frac{C_r(x_1,\\dots,x_{r-1},x_{r+1})-C_r(x_1,\\dots,x_{r-1},x_r)}{x_{r+1}-x_r}. \\]  Previous work by \\textit{P. Aubry} and \\textit{A. Valibouze} [J.~Symb.~Comp.~30, No.6, 635--651 (2000; Zbl 0989.12004)] has shown that \\(F_1\\) and \\(F_2\\) are triangular sets that form a Gr\u00f6bner basis in the lexicographic order \\(x_i<x_{i+1}\\).  If one can compute \\(G\\), one has a Gr\u00f6bner basis of \\(I\\). Let \\(\\mathbf a\\) be in the variety of an alternating galoisian ideal \\(I\\); \\((a_1,\\dots,a_{n-2})\\) is in the variety of the ideal generated by \\(C_1,\\dots,C_{n-2}\\), so it suffices to find an expression of \\(a_{n-1}\\) as a polynomial in \\(a_1,\\dots,a_{n-2}\\) over \\(k\\). The author briefly describes three known methods, as well as why they are impractical for the general, symbolic case. The author then describes a new method, called ``the descent of the Vandermonde determinants'', from the elegant expression \\[ v_r=\\frac{v_{r-1}}{c_r(a_{r-1})} \\] where \\[ v_r=\\prod_{r\\leq i<j\\leq n}(a_i-a_j) \\]  is the Vandermonde determinant associated to the polynomial \\[ c_r(x)=C_r(a_1,\\dots,a_{r-1},x). \\]  One obtains the desired expression for \\(a_{n-1}\\) by computing the inverse of each \\(c_r(a_{r-1})\\) in \\(k(a_1,\\dots,a_{r-1})\\), which is accomplished via the extended Euclidean algorithm.  A very brief comparison with a Gr\u00f6bner basis function in Magma follows. The article concludes with an example computation for a quartic polynomial over the field \\(\\mathbb{Q}(t)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q629348$CFCBB485-8AE5-4ECF-A939-90E37E6A87F3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"cfa3b3ec20c558ff735a7086023bcd23dd16503d","datavalue":{"value":{"entity-type":"item","numeric-id":512376,"id":"Q512376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$BBC2C321-627A-479D-8770-2435B4370619","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629348$16816F31-55F0-459E-8137-07A6705B5161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629348$49797E40-2869-48E3-882C-191B9F33D473","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16c66c4a4a5bdef19566572bb711e641949700bc","datavalue":{"value":"5862848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629348$F48A33BF-15E7-4ED7-B20F-FEFB77B13CF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52a7e253365656719a7b0df4cf8e4b2746bff6b1","datavalue":{"value":"Galois group","type":"string"},"datatype":"string"},"type":"statement","id":"Q629348$3748BDC1-A9F6-4D83-B5D3-F04445FD9577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b454c09822c64de7209d1fe144702a85ff3b1b3a","datavalue":{"value":"Galoisian ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q629348$AFEB80EE-2BE2-4332-AF68-B11110AA7864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e30921fc9a9801d5c1db06404e69bf9f7b1f84c3","datavalue":{"value":"triangular ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q629348$6BFF2D2D-8D53-40DB-ADAD-E252058EBE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43b5e38e220ab3fb1dcd01be099c2d0fb73d1b1a","datavalue":{"value":"splitting field","type":"string"},"datatype":"string"},"type":"statement","id":"Q629348$B6F4C0E4-2006-42C4-9E40-D96793A25822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff8569446bd291eb33e407f9f145d17e7d64b77f","datavalue":{"value":"alternating group","type":"string"},"datatype":"string"},"type":"statement","id":"Q629348$1014C0E6-45C6-436D-B10D-BB1C05D2FDE2","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$3A2A2FF7-CE9D-4FCF-9C0D-08CCABCB89A1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b8c622eb363a53baf131ea0651847f6997783be8","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2010.10.013","type":"string"},"datatype":"url"},"type":"statement","id":"Q629348$7FF7A1CC-A743-4792-ABF5-F3CCC75AEFC8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f26060ec8357ecf431f2e5abb797d1478ffe56e","datavalue":{"value":"W1990036869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629348$CD9484FF-E6FE-47D7-9DA2-73963B6352EA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ac1e2353cb5c8b04752bec8b21cfacc2b910719","datavalue":{"value":{"entity-type":"item","numeric-id":5927988,"id":"Q5927988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$FE4DDD29-018F-48A1-8349-7DE533224F32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad091d48c0945d1d70bd26e6dccdf9aa97836021","datavalue":{"value":{"entity-type":"item","numeric-id":4673157,"id":"Q4673157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$AAF70FC0-7058-4ED0-9177-521DD8F03AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ba826bd4142f03f683a32212ca3018d2cea4e5","datavalue":{"value":{"entity-type":"item","numeric-id":4226941,"id":"Q4226941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$5366090E-48FA-441C-83E3-D3F26380C05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a741f53ab6ca4e6c9d1069134c7cc269e4d6654d","datavalue":{"value":{"entity-type":"item","numeric-id":5301630,"id":"Q5301630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$CEBF1AD4-33D4-45B9-BF28-A3183D817B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48d3145764ebfa683843474d14542a73cf045d39","datavalue":{"value":{"entity-type":"item","numeric-id":4947132,"id":"Q4947132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$7C9BC0EB-4127-4D1F-ABC5-03589B453CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b5260fdcad96ae937da3178663e6c4c495e7af","datavalue":{"value":{"entity-type":"item","numeric-id":1971022,"id":"Q1971022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$B9AECA53-9980-432B-ABB7-456D4A9DD116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10481d14cf06e8f84a5925ff9c7c72589dd8091d","datavalue":{"value":{"entity-type":"item","numeric-id":2457376,"id":"Q2457376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$B3968BDD-8895-4E87-BB9E-813CA001CA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a58b31c59aea5e2b2b73e3abb75a9cb74d1b02","datavalue":{"value":{"entity-type":"item","numeric-id":1358933,"id":"Q1358933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q629348$DD42711E-2694-47EA-A0B4-AA7235199038","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78996713d1321f667c456a27bf06876b90a845a6","datavalue":{"value":"10.1016/J.JSC.2010.10.013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q629348$4C8ABA9F-5A8B-48A4-AE10-A3B8331F5B7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a5cb0aee3a49c611d9bcca73345d052e26cc53","datavalue":{"value":{"entity-type":"item","numeric-id":5440164,"id":"Q5440164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9325060cc84dc1d0d29097b087b34cfe9cb20d8","datavalue":{"value":{"amount":"+0.7914355993270874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629348$DAD6BB07-16A6-48D7-B163-3F4D187BBB33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e50744c13935c841922c70763a453b22e7a3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":5938546,"id":"Q5938546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a6a8e5b8215ba96d1a4d6fe43de5da2bb857e76","datavalue":{"value":{"amount":"+0.7647583484649658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629348$A42134EA-C593-4F2D-97DE-F34647AF479D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eeab5b028cc412d8dc55457324a31dbdf830d32","datavalue":{"value":{"entity-type":"item","numeric-id":3644110,"id":"Q3644110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52ee901232e275881ccfce2ecd056377c4b7e4db","datavalue":{"value":{"amount":"+0.7644426226615906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629348$1066FC34-1CC8-462F-88B1-CFC4D7BD29BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b92f1923a28e491077b67fa594d4fa4286920f","datavalue":{"value":{"entity-type":"item","numeric-id":5927988,"id":"Q5927988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26c865d87237c7f381bcdf1fd276c55f07977132","datavalue":{"value":{"amount":"+0.7639191746711731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629348$1D041699-80D2-49D3-986C-D7DD5ED5C516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"164a6008d8d03b39541b34474eb3ea5384f068b1","datavalue":{"value":{"entity-type":"item","numeric-id":2457376,"id":"Q2457376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"176f4b02deb19cbb448761b48b5d5e1df03ec2c2","datavalue":{"value":{"amount":"+0.7608157396316528","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q629348$A21E1CE6-9563-4F8A-8F43-AF7E2DAB31AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner basis of the alternating Galoisian ideal","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gr%C3%B6bner_basis_of_the_alternating_Galoisian_ideal"}}}}}