{"entities":{"Q1173723":{"pageid":1184472,"ns":120,"title":"Item:Q1173723","lastrevid":66432630,"modified":"2026-04-12T10:02:40Z","type":"item","id":"Q1173723","labels":{"en":{"language":"en","value":"On superG-bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7321"}},"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":"Q1173723$FD3A1A49-95FD-4319-9642-5A02540DDB99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a159d8b8c55e37cffe4b36b94b0edebe5a0e4ecb","datavalue":{"value":{"text":"On superG-bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1173723$AE8ACB10-0C5C-4810-8621-17095334344A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"11fb9f680062ee4cfb27c67f2f7bf2ec93503c84","datavalue":{"value":"0749.13018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173723$35001F0C-FDD9-4816-B3EB-A29E3E5C5D9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11488f5b41d5ae5c6409dada80c9796c9e267d0e","datavalue":{"value":"10.1016/0022-4049(90)90085-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173723$179D378D-93E7-4841-A65D-B9B928647D90","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81d4157b8110ff427b9a21c84c7cda1cc4842303","datavalue":{"value":{"entity-type":"item","numeric-id":217662,"id":"Q217662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173723$2D245F83-E6B1-411C-A037-603BA9AB064F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f5a67f64260a23004954fbe6b6b39acc00f7913","datavalue":{"value":{"entity-type":"item","numeric-id":504408,"id":"Q504408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173723$9C58513F-7F49-4717-85E9-04918D278D3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173723$108C0E7E-A04A-4CA0-A4B1-530863AC4130","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1173723$DDFEF3D2-95D2-4177-81DF-F52A7F568EA5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"40a9014b9629c32e85180022e3fdf22cafa7e7f8","datavalue":{"value":"By definition, given a certain term ordering \\(\\sigma\\), a superG-basis is a finite set of polynomials all whose subsets are Gr\u00f6bner bases with respect to \\(\\sigma\\). Notation: \\(Lt\\) for leading term, \\(GCD_ S(F)\\) greatest common divisor of polynomials of \\(F:=\\{f_ 1,\\ldots,f_ r\\}\\subseteq k[x_ 1,\\ldots,x_ n]\\) with indices in \\(S\\). \\(LCM^ +_ S(F)=LCM\\{GCD_ \\Sigma(F):\\Sigma\\supseteq S\\), \\(|\\Sigma|=| S|+1\\}\\), \\(FACT_ S(F)=GCD_ S(F)/LCM^ +_ S(F)\\). Characterizations given for \\(F\\) to be superG include:   (1) Every 2-element subset of \\(F\\) is a \\(G\\)-basis.   (2) \\(Lt(GCD(f_ i,f_ j))=GCD(Lt(f_ i)\\), \\(Lt(f_ j))\\).   (3) \\(Lt(FACT_ S(F))=FACT_ S(Lt(F))\\) for every \\(S\\subseteq[r]\\), \\(S\\neq\\emptyset\\).   (4) For every \\(S\\subseteq[r]\\) there exists a polynomial \\(F_ S\\) such that \\(Lt(F_ S)=FACT_ S(Lt(F))\\) and \\(f_ i=\\prod_{S\\subseteq\\{i\\}}F_ S\\) for every \\(i=1,\\dots,r\\).   Given interreduced terms \\(m_ 1,\\ldots,m_ r\\), (4) proves the correctness of procedures for obtaining a (respectively all) superG- base(s) \\(\\{f_ 1,\\ldots,f_ r\\}\\) for which \\(Lt(f_ 1)=m_ 1,\\ldots,Lt(f_ r)=m_ r\\). Instructive examples are displayed. Next notions like \\(H-\\) or Macaulay bases, homogenization and lifting of ideals to \\(k[x_ 0,x_ 1,\\ldots,x_ n]\\) are recalled. The following is proved: Let \\(J=(f_ 1,\\ldots,f_ r)\\) with homogeneous \\(f_ i\\). Assume \\(g_ i=f_ i+R_ i\\) with \\(\\deg(R_ i)<\\deg(f_ i)\\) and span \\({\\mathcal A}:=(g_ 1,\\ldots,g_ r)\\), by indicated \\(H\\)-basis. Then \\(I:={^ h{\\mathcal A}},\\) the homogenization of \\({\\mathcal A}\\) with respect to \\(x_ 0\\) lifts \\(J\\). Given terms \\(T_ 1,\\ldots,T_ r\\), polynomials \\(\\{D(T_ 1),\\ldots,D(T_ r)\\}\\) are considered, each of which is typically defined by \\(D(T)=\\prod^ n_{i=1}\\prod^{a_ i}_{j=1}(x_ i- \\alpha_{ij})\\) and has thus leading term \\(T=x_ 1^{\\alpha_ 1}\\ldots x_ n^{\\alpha_ n}\\). These form a superG-basis, hence Gr\u00f6bner basis, hence \\(H\\)-basis for the monomial ideal \\(J=(T_ 1,\\ldots,T_ r)\\). The homogenization of \\(J\\) is radical. So every monomial ideal can be lifted to a radical ideal --- a result first shown by Hartshorne.   Mistake on p. 284 (?). Read probably: \\(f_ i:=\\prod_{j\\geq(i)}\\varphi_ j\\). For more selfcontained proofs of characterizations (1), (2) above we refer to the reviewer, in Lattices, semigroups, and universal algebra, Proc. Int. Conf., Lisboa/Port. 1988, 143-146 (1990; Zbl 0748.13010).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173723$0D9264ED-D3FE-4AAD-9ADC-7928D7D6649A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173723$B0C1FADE-9083-43D3-8DD7-6A9C6D30341D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78981fa8b44d6fa43e6d73772c5754d544e16967","datavalue":{"value":"7321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173723$58E805CD-BF73-41FE-AAA2-DBF3DA9F68C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173723$8BB0741D-EABE-424F-AE13-F5BB4FF55E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c1f99fea643705aff991534eb138b9f31c19fdb","datavalue":{"value":"super\\(G\\)-basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1173723$828AAC3F-3816-4E82-962D-42CECC56110E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4cb749bb0545117c5a39ee1b861da533345043d8","datavalue":{"value":{"entity-type":"item","numeric-id":587686,"id":"Q587686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173723$3F1C15C7-1E5E-4B84-9DCE-CB1B42736CD0","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":"Q1173723$486064B5-3674-46EF-8CA1-B6EA6B002038","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173723$49485AF1-791B-46F0-9C19-340E76978748","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":"Q1173723$A8A8F24C-7BD3-4E45-ACA5-1D0B23D93CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e21dfcdf87d700a964fca6592d52ebedd31c298","datavalue":{"value":{"entity-type":"item","numeric-id":1071822,"id":"Q1071822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173723$5958ABE8-37E2-458B-A7DF-A642D77191A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"341255bf4e8e53dbacefe7b974b67aa4aa7fa5ae","datavalue":{"value":{"entity-type":"item","numeric-id":2531670,"id":"Q2531670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173723$D2E5BB0D-E37B-4BBF-A397-AE3F44429226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15cdc60e527b7efbb68173a4b345611ec7a26903","datavalue":{"value":{"entity-type":"item","numeric-id":1086630,"id":"Q1086630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173723$8DDBE6DC-B94C-4A06-AA42-142DB703F8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e70c432a4bfeecdf4820860b384a6c0935945ea","datavalue":{"value":{"entity-type":"item","numeric-id":3033867,"id":"Q3033867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173723$C3E2308B-027E-4AD7-8DF3-1DB37601480A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c489885009d9dabd3cc027cb743ce72af7348d0b","datavalue":{"value":{"entity-type":"item","numeric-id":584322,"id":"Q584322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1173723$77A0B795-0860-46CC-ACA1-97557FC07DE9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c32c88c6de516b23d97a19984a9c6700671dd74","datavalue":{"value":"https://doi.org/10.1016/0022-4049(90)90085-v","type":"string"},"datatype":"url"},"type":"statement","id":"Q1173723$AF559C95-7EFF-4B4B-9521-A6ED7EAE1C0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1d68e4048be63ba3f0b361282b291639b4da2e2","datavalue":{"value":"W1976165412","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1173723$39A116C4-CE4E-4C34-8FC8-DBF8D01D448F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eac810572f1abe2c4986fce147bbf98982e9ca76","datavalue":{"value":{"entity-type":"item","numeric-id":1757000,"id":"Q1757000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f8833dc90f39f5d36304a558deb857f6944192","datavalue":{"value":{"amount":"+0.761181652545929","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":"Q1173723$7D2537F7-00A3-4F66-8267-9B558DBF3CA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2425c748830848341092cf4b0490e134cb5ac7d6","datavalue":{"value":{"entity-type":"item","numeric-id":4998471,"id":"Q4998471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8905c04b5eabe03ba0d3026308c8cd9fbd1b921","datavalue":{"value":{"amount":"+0.7422651648521423","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":"Q1173723$57369029-7B65-4B2A-9ACD-69FABEB18D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb04e01744af745f2559c79c335c2e99dd0c379","datavalue":{"value":{"entity-type":"item","numeric-id":4471571,"id":"Q4471571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdb0c8f7103327b22c21c0825fe62dda5061d33a","datavalue":{"value":{"amount":"+0.7346924543380737","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":"Q1173723$FDD7A22D-25F2-4304-B5F2-94B5ADE2503F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25363c696e28a5a4655092f6f90422ce06ab0e6c","datavalue":{"value":{"entity-type":"item","numeric-id":1115488,"id":"Q1115488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca76eb37c662d9ab434b9cbdc4941c6b91384e84","datavalue":{"value":{"amount":"+0.7299251556396484","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":"Q1173723$2C0A43D1-A1C1-4631-9B90-CF48F6694F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9e1936e44e0bf289c10f98a953c05bb10c2907","datavalue":{"value":{"entity-type":"item","numeric-id":4038740,"id":"Q4038740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec0610dadbc9ad175010e75d72018e83d4df637","datavalue":{"value":{"amount":"+0.7290930151939392","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":"Q1173723$B77F2CE9-31CE-409D-984E-47237E92B56E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On superG-bases","badges":[]}}}}}