{"entities":{"Q924361":{"pageid":926209,"ns":120,"title":"Item:Q924361","lastrevid":65412939,"modified":"2026-04-12T02:25:18Z","type":"item","id":"Q924361","labels":{"en":{"language":"en","value":"A generalization of Stickelberger's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275771"}},"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":"Q924361$B54254F2-DCB9-4ED0-A0D0-FECCD994A8C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c55de79fb3428da4690736d0ea024611f46b57d6","datavalue":{"value":{"text":"A generalization of Stickelberger's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q924361$8EE172F5-B6C8-4975-ACC4-562A42561C73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f45d97149c2bb3df80133c25e92756eaccddd48e","datavalue":{"value":"1140.15002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924361$2F8089FC-3714-4FEA-A09F-59BE94062663","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cb9bc7662a7a89a79fea7fec2281da84d521abb","datavalue":{"value":{"entity-type":"item","numeric-id":212595,"id":"Q212595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924361$70927951-8DF8-4ECD-90AE-5C8CFA8DECDB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8de031de05325b44570d0c47c3ec8813873d565c","datavalue":{"value":{"entity-type":"item","numeric-id":92813,"id":"Q92813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924361$5E86733A-860B-49F4-AFDA-C609EA7121C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q924361$C84287E2-F0B8-4707-9B63-B0285CCFE1DB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"06e21e652e1bcf1b2ed44d561e3a76bcb3da6348","datavalue":{"value":"Let \\(K\\) be a field of characteristic \\(0\\) with algebraic closure \\(\\Omega\\), and let \\(K[x_1, \\ldots, x_n]\\) be the polynomial ring over \\(K\\) in \\(n\\) variables \\(x_1, \\ldots, x_n.\\) For a finite subset \\(F\\) of \\(K[x_1, \\ldots, x_n]\\), denote by \\(Id(F)\\) (resp. \\(Id_{\\Omega}(F)\\)) the ideal of \\(K[x_1, \\ldots, x_n]\\) (resp. \\(\\Omega[x_1, \\ldots, x_n]\\)) generated by \\(F\\), and write \\(Z_{\\Omega}(F):= \\{ (\\alpha_1, \\ldots, \\alpha_n) \\in \\Omega^n/\\;f(\\alpha_1, \\ldots, \\alpha_n)=0 \\text{ for all}\\;f \\in F\\}\\) for the zero set of \\(F\\). Write \\(V_{K}^{F}\\) (resp. \\(V_{\\Omega}^{F}\\)) for the ring \\(K[x_1, \\ldots, x_n]/Id(F)\\) (resp. \\(\\Omega[x_1, \\ldots, x_n]/Id_{\\Omega}(F)\\)) of residue classes. Assume that \\(Z_{\\Omega}(F)\\) consists of finitely many zeros (i.e. the ideal \\(Id(F)\\) is zero-dimensional), Stickelberger's theorem states that: for \\(h \\in K[x_1, \\ldots, x_n]\\), denote by \\(L_h\\) the \\(K\\)-linear transformation of \\(V_{K}^{F}\\) defined by \\(L_h(p + Id(F))= hp + Id(F)\\) for all \\(p \\in K[x_1, \\ldots, x_n]\\). Then the eigenvalues of \\(L_h\\) are exactly \\(h(\\alpha),\\;\\alpha \\in Z_{\\Omega}(F)\\), and their multiplicities are respectively  \\[ \\sum_{\\beta \\in {Z_{\\Omega}(F)}, h(\\beta)= h(\\alpha)} \\mu(\\beta), \\]  where \\(\\mu(\\beta)\\) stands for the multiplicity of \\(\\beta.\\) Stickelberger's theorem is very useful in computer algebra and algorithmic algebra; for some important applications of this theorem and for more references, we refer for example to \\textit{F. Rouillier}'s paper [Appl. Algebra Engrg. Comm. Comput. 9, No. 5, 433--461 (1999; Zbl 0932.12008)]. In the paper under review, the goal is to generalize this theorem to more general zero-dimensional systems, which consists of polynomial equations and polynomial inequations over a field of characteristic zero.","type":"string"},"datatype":"string"},"type":"statement","id":"Q924361$E8D90D83-E8F1-498E-B712-C7DA32C6B915","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"41732ede9ded7e512a785c84588afcb92d4245fd","datavalue":{"value":{"entity-type":"item","numeric-id":311486,"id":"Q311486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924361$C5363672-3738-4CBD-9CE9-9C2D006288F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e970d93ffc7c98d538ff001152bd6d8854b6c34c","datavalue":{"value":"15A04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924361$0405EB90-9447-40F0-9F1A-2EB269CDB40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"661c831991cdebd51f9465b74d929024bd00f373","datavalue":{"value":"12Y05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924361$83C4014C-826D-45DC-B7FB-481C081D6BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b353ca9fa5871b5d283994bd1f10d77c55504354","datavalue":{"value":"15A18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924361$14FF6FF2-BF49-497D-ACB8-EA8A45D12961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"391950414a099d56bc54d4355f229d909cdcb643","datavalue":{"value":"13F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924361$FAE1A152-9348-4189-A8AE-5B6B7A6D1BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924361$0F54BF5A-3434-4E33-8B7E-850CEE8CC14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"faf5fa4f05db998aa651c0c32ce49d873d9dceaa","datavalue":{"value":"14Q99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924361$CC8D2B53-901E-4C83-90C7-BEA367FFECE6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"678662ff7b0eec81efba440fe3b011fe54aefb90","datavalue":{"value":"5275771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924361$3C3CEBB5-FB18-4A35-876A-FB4B3F64E6D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0932298fd70fcf3c59e27bd27a5d24657f28382a","datavalue":{"value":"Stickelberger's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q924361$401887D6-332A-41FF-82A8-FBC6AC3E620C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24741fae9f97b2ece55ab8ece17a8c3f6836b6bd","datavalue":{"value":"polynomial equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q924361$99DF74BE-DC3F-4638-A4B9-1CE9F00FBD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c42c71468f2eeb4384d92bb3d9262ee60729c1de","datavalue":{"value":"polynomial inequation","type":"string"},"datatype":"string"},"type":"statement","id":"Q924361$13336FB0-6F52-439A-A4D1-F02CC6BBEB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1332ba6e605269de9728e2f24a2312469e2fb210","datavalue":{"value":"zero-dimensional system","type":"string"},"datatype":"string"},"type":"statement","id":"Q924361$15D55058-035B-4D2E-958E-92EBC0D96C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5caf09f23a5bd44601ef1b376fd6cba9845252d5","datavalue":{"value":"vector space","type":"string"},"datatype":"string"},"type":"statement","id":"Q924361$E5EC3711-2C59-4681-8ABD-6CB8D777605C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2621a7f114359c15599320f635eb9b30e969bde4","datavalue":{"value":"eigenvalue","type":"string"},"datatype":"string"},"type":"statement","id":"Q924361$1F123453-928A-48F2-9EAC-AD714C8523F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d676093d25af2261e811e697691ead0c7c985ae0","datavalue":{"value":"linear transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q924361$302F9ED5-4681-4BC6-949D-3A19A529749C","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":"Q924361$9B53DDA3-59EA-4522-AA32-1AED70EF7098","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b0990ceae831056e180a1e61f9150f7628a8738","datavalue":{"value":"https://doi.org/10.1016/j.laa.2008.01.019","type":"string"},"datatype":"url"},"type":"statement","id":"Q924361$858F07B8-36FE-4B35-9308-0DEF2FC3AD0C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1f1bf37845a72c567309d852ae88a50b7073c16","datavalue":{"value":"W1997323449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924361$FBBB63A4-9C2D-4A7A-9FC0-067CE09BD9D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95127141592e878799f1620a9e20ee4ed2d5aea0","datavalue":{"value":{"entity-type":"item","numeric-id":5906950,"id":"Q5906950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924361$E9046907-4DA8-4D1D-95EF-DCCEFBCCCE49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5e0919923746a2f9f790df4e02e8be5c4407c1b","datavalue":{"value":{"entity-type":"item","numeric-id":1565838,"id":"Q1565838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924361$E066AB13-7878-4B0C-B797-904E24322960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f97d4105c147365c79b8ca40a68d91463d14f62","datavalue":{"value":{"entity-type":"item","numeric-id":4891079,"id":"Q4891079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924361$EACEB2BF-AAA2-4E22-9E5B-3437FDAEAD21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64db5991c743e7e3c8546dc09d8e3c9234cb82df","datavalue":{"value":{"entity-type":"item","numeric-id":1293968,"id":"Q1293968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q924361$03E6D9D0-219A-43D0-8DB8-755FC08B49A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7da76cc36f21a7ae1e88ee87004404265f9f104b","datavalue":{"value":"10.1016/J.LAA.2008.01.019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q924361$4AF3F255-AE5F-44C0-A891-65664931B042","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23ea905aa4d9166c7b4f91cdef9a9766d3fbad56","datavalue":{"value":{"entity-type":"item","numeric-id":607067,"id":"Q607067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8165b5fe48e199855ee24fa2b8b0f0af34a70bca","datavalue":{"value":{"amount":"+0.8141924142837524","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":"Q924361$3A535BAB-53CF-4951-9429-6FD76BB52783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91b7b407526eaa531b7147326be6eed649c28e8","datavalue":{"value":{"entity-type":"item","numeric-id":1190743,"id":"Q1190743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76672c9b0c13e832f50e9183fe21f72fc9e5e3db","datavalue":{"value":{"amount":"+0.7896320819854736","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":"Q924361$6B9FD3BD-0699-44B6-87AC-CF4639186865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"775c0adb429f1e8ba428e328171c216c267eeb9b","datavalue":{"value":{"entity-type":"item","numeric-id":4352798,"id":"Q4352798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e94f15bc8c92601206404f36436aaeb95ce2a74","datavalue":{"value":{"amount":"+0.7676922082901001","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":"Q924361$045F24B3-8741-4B8F-AB1B-FD3F2185B5B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eac21fb63e79900648b31b7df29c5cc5f78f319","datavalue":{"value":{"entity-type":"item","numeric-id":4038768,"id":"Q4038768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806437146e91f6d0f8310955115ec202f6cdc0fc","datavalue":{"value":{"amount":"+0.7666796445846558","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":"Q924361$DC296393-F6B4-426A-A801-E56EDD987F33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8125b2cd06e5a9fb84ab8e07496c17b819cf8850","datavalue":{"value":{"entity-type":"item","numeric-id":4716361,"id":"Q4716361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1d12e8cb5fb3ab79e3557ad3a3dd44449e649e8","datavalue":{"value":{"amount":"+0.7265276312828064","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":"Q924361$57C3B07B-7BE6-4027-8546-97C6F9A24B2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalization of Stickelberger's theorem","badges":[]}}}}}