{"entities":{"Q1180160":{"pageid":1190909,"ns":120,"title":"Item:Q1180160","lastrevid":69817689,"modified":"2026-04-13T09:36:14Z","type":"item","id":"Q1180160","labels":{"en":{"language":"en","value":"A new method for solving algebraic systems of positive dimension"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 27150"}},"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":"Q1180160$69B2A08E-B30F-4734-A6F6-BEF587A9B954","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f985b0100eaf0fb3eb6da8ac40ebb636755e630","datavalue":{"value":{"text":"A new method for solving algebraic systems of positive dimension","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1180160$AFE2E3C0-D417-4FEC-894C-93E8A0140898","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7144d1bec9ed56fe4a501c12e86cbd4c39fb3eb2","datavalue":{"value":"0753.13013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180160$AD4E5227-D419-4247-AF18-C2B023E42840","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d904e5d2d3e5b1a6709a7267bda48be70647b0cc","datavalue":{"value":"10.1016/0166-218X(91)90113-B","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180160$D7BA8320-B41F-40B1-8076-36B9FADAEEFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f9031a5c855491b0550610051e4b96cef86f292","datavalue":{"value":{"entity-type":"item","numeric-id":626977,"id":"Q626977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180160$0F5C1EF3-F7B7-4912-8CF4-BE47CF78CF83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087f55844cc920aae060b09644168bf17b022e1a","datavalue":{"value":{"entity-type":"item","numeric-id":96294,"id":"Q96294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180160$109D94D0-26B2-47A5-A28B-F8FA0AF05183","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1180160$EB67AF0F-4E35-4262-92B0-750A2067998D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"653addaaf5f0f228ab6a6f796b92e43858e343d4","datavalue":{"value":"Let \\(R_ 0\\) be a domain with the field of fractions \\(K_ 0\\) and let \\(S_ 0\\) be a multiplicative set of \\(R_ 0\\). For a natural number \\(n\\), let \\(R_ n=R_ 0[X_ 1,\\ldots,X_ n]\\) and \\(P_ n=K_ 0[X_ 1,\\ldots,X_ n]\\). An algebraic system is a finite set \\(E=\\{e_ 1,\\ldots,e_ k\\}\\) of \\(R_ n\\). To each prime ideal \\(I\\) in \\(P_ n\\), let \\(I_ i=I\\cap R_ i\\), \\(A_ i=R_ i/I_ i\\) and \\(K_ i\\) the field of fractions of \\(A_ i\\). Then the set of fields \\(K_ 0,\\ldots,K_ n\\) is called the tower associated with the prime ideal \\(I\\). If \\(f\\in R_ i\\backslash R_{i-1}\\), the main variable of \\(f\\) is defined to be \\(X_ i\\) and its index to be \\(i\\). Further, the degree of \\(f\\) means its degree in \\(X_ i\\) and the leading coefficient is its coefficient in \\(R_{i-1}\\) of the highest power of \\(X_ i\\). The corresponding functions are denoted respectively by main(\\(f\\)), index(\\(f\\)), \\(\\deg(f)\\), lc(\\(f\\)). Using this terminology, the author defines:   Definition 3.2. A triangular set in \\(R_ n\\) is a list of non-constant polynomials \\((f_ 1,\\ldots,f_ k)\\) in \\(R_ n\\) satisfying the following for \\(i=1,\\ldots,k\\):   (1) [weak triangular] \\(\\text{index}(f_ j)<\\text{index}(f_ i)\\) for \\(j<i\\); then inductively, let \\(K_ j=K_{j-1}[X_ j]/(f_ i)\\) if \\(\\text{index}(f_ i)=j\\) and \\(qf(K_{j-1}[X_ j])\\) (the total quotient ring) otherwise:   (2) [reduced] the degree of \\(f_ i\\) in main\\((f_ j)\\) is strictly less than \\(\\deg(f_ j)\\) for \\(j=1,\\ldots,i-1\\);   (3) [normalized] \\(\\text{index(lc}^ h(f_ i))\\notin \\{\\text{index}(f_ 1),\\ldots,\\text{index}(f_{i-1})\\}\\) for any \\(h>0\\);   (4) [\\(R_ 0\\)-normalized] if \\(\\text{lc}^ h(f_ i))\\in R_ 0\\), then \\(\\text{lc}^ h(f_ i))\\in S_ 0\\);   (5) [square-free] the resultant of \\(f_ i\\) and its derivative with respect to \\(\\text{main}(f_ i)\\) is invertible in \\(K_{j-1}\\), where \\(j=\\text{index}(f_ i)\\);   (6) [primitive] the coefficients of \\(f_ i\\) viewed as a multivariate polynomial over \\(K_{j-1}[X_ j]\\) generate the unit ideal of \\(K_{j- 1}[X_ j]\\) for all \\(j<\\text{index}(f_ i)\\).   And, the author remarks:   Proposition 3.3. Let \\(I\\) be a prime ideal, and \\(K_ 0,\\ldots,K_ n\\) the associated tower; if \\(K_ i\\) is algebraic over \\(K_{i-1}\\), the minimal polynomial of \\(x_ i\\) over \\(K_{i-1}\\) may be chosen in \\(R_ i\\) such that the set of these polynomials forms a triangular set. There is exactly one such choice.   Proposition 3.4. Let \\(f_ 1,\\ldots,f_ k\\) be a triangular set, \\(h=\\text{lc}(f_ 1)\\cdots\\text{lc}(f_ k)\\) and let \\(I=\\{p\\in P_ n\\mid h^ ep\\in(f_ 1,\\ldots,f_ k)\\}\\). Then if the triangular system is associated with a prime ideal \\(J\\), we have \\(I=J\\).   Corollary 3.5. The set of generators of the ideal \\(I\\) above is computable from the triangular set.   Then the author shows how to compute numerically the common zeros of a given prime ideal, using the associated triangular set.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180160$0B3CFE6C-2B1D-468E-8434-68A7B4FCB9B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180160$FF3A9CA9-CBE9-4C4F-9CD7-8096F1430409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180160$062AB85F-B672-4118-A36F-5A2030635AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e57e2977a9ed0e05339dd5f1673c9f0c9ab91235","datavalue":{"value":"65H10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180160$174290AD-8469-4DD4-AA19-B8B939EECA9B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e950e7a1f0fc24b80fa7f37f9eaf25ed8369f366","datavalue":{"value":"27150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180160$F6747F67-3675-4BEE-8810-FDC9432ED628","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5360818106ae9d64168ea3e50bd5d4bb0b35983","datavalue":{"value":"Gr\u00f6bner base","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180160$465B2331-8064-4DA1-8883-57B79C6E293B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27f48276566d2843589ec6298b666169f5b822e1","datavalue":{"value":"computing numerically the common zeros of a prime ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180160$2F9FB4CB-9CF4-404B-ACFD-8AF3E21F71C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"483073ae596aeb45e58360bda1736cf0ee2a6a4f","datavalue":{"value":"algebraic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180160$624CB897-6D7D-4C9B-8E69-2ACD6F81083E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96986ad0030ebec9c3ed183c0eb3d5b407c0e91e","datavalue":{"value":"leading coefficient","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180160$B1573770-BCE1-487D-B4FF-8B04B0AE31E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"074406484331f030f55a37cceb942f1567b25c87","datavalue":{"value":"associated triangular set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180160$B96CC874-BC20-412A-BB3C-EAA641A7DD73","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1e19a40bf456df064fc7bea626d083b06ca3056e","datavalue":{"value":{"entity-type":"item","numeric-id":590340,"id":"Q590340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180160$CBF9C4A1-CFC3-408D-AAA8-C7EBC6E33D8D","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":"Q1180160$B1F5DF93-DC0B-4480-AEE1-A5515185B7AB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d87900de754ad2a3f7d55a3f915d6adeffa7325","datavalue":{"value":{"entity-type":"item","numeric-id":2544438,"id":"Q2544438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180160$7056D100-036E-47DD-A6F5-45DE2CEF47C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2ff57ef70bd9e86c9b7017e46b8cd84cb7965f4","datavalue":{"value":{"entity-type":"item","numeric-id":3714165,"id":"Q3714165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180160$8C4ACE3B-D2F5-4669-B64D-ED042FBEFDDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8658e2801209103cc6e7c321ce4860418cd2d77c","datavalue":{"value":{"entity-type":"item","numeric-id":3079271,"id":"Q3079271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180160$180C7EE3-C829-4DF7-A6C6-E408C3B15654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c81baa7559e746babed92554d98bd88f7c8aea","datavalue":{"value":{"entity-type":"item","numeric-id":4732535,"id":"Q4732535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180160$9685FA1C-1008-4DC1-BD31-64F2EB2675F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef00ea47cce625ccb5dfbb54f56161b7f25a74dd","datavalue":{"value":{"entity-type":"item","numeric-id":3753479,"id":"Q3753479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180160$720377AB-4881-41E5-AE9F-606498E11B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73756ef2396d8154aa3a61c063286e377438ef3c","datavalue":{"value":{"entity-type":"item","numeric-id":1190743,"id":"Q1190743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180160$D7B01B7A-C2C1-4277-B2A2-3C6EFB4B14C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ae65dee4c1ad2b9707bf32a37989635a69484ae","datavalue":{"value":{"entity-type":"item","numeric-id":1256518,"id":"Q1256518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180160$0E2DC767-6A0A-4412-AF79-E67451DE8071","rank":"normal"}],"P1643":[{"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":"0083acfac7b3b74058ea4822286091feaf940089","datavalue":{"value":{"amount":"+0.9219433069229126","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":"Q1180160$FCB52F96-B1BC-4F28-A6BE-4655B3F50D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"659503892d4cfc0617c8f59875eaa9652ce2ae5e","datavalue":{"value":{"entity-type":"item","numeric-id":4352799,"id":"Q4352799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fccb201aae1cc6f616ebc5a590fdcc3c0dc6cf5f","datavalue":{"value":{"amount":"+0.8301184177398682","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":"Q1180160$3866AEB3-876B-4331-86B7-E49A80B882AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"190a4256c989a9f36911846a771c053781ac0b40","datavalue":{"value":{"entity-type":"item","numeric-id":1878489,"id":"Q1878489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"008ce629bdfb37845e59b5fc3805de1bf77d629a","datavalue":{"value":{"amount":"+0.8187610507011414","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":"Q1180160$1917EBC6-6DB7-4F90-A7D6-CDDBA0880ABF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A new method for solving algebraic systems of positive dimension","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_new_method_for_solving_algebraic_systems_of_positive_dimension"}}}}}