{"entities":{"Q1264448":{"pageid":1275198,"ns":120,"title":"Item:Q1264448","lastrevid":67154817,"modified":"2026-04-12T15:39:44Z","type":"item","id":"Q1264448","labels":{"en":{"language":"en","value":"Gr\u00f6bner bases and normal forms in a subring of the power series ring on countably many variables"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1204278"}},"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":"Q1264448$AF5A44D1-30A7-4D31-84EE-16727E5B62EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ebfe92f45c15781574a2ee5f9cd37e891daca4d8","datavalue":{"value":{"text":"Gr\u00f6bner bases and normal forms in a subring of the power series ring on countably many variables","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1264448$446D79F9-2733-4C05-AFE5-2D8CD75527EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1092197129bda1f06caf1dbbb2bc6371fd2e9359","datavalue":{"value":"0929.13015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264448$B2375D1B-E98D-42BD-861C-B554655041D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"80cc11738266692765a14966cb53531792be67bd","datavalue":{"value":{"entity-type":"item","numeric-id":1264447,"id":"Q1264447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264448$063794C7-B4AC-4224-A165-0CC7632E6F79","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":"Q1264448$71B606B0-E0CE-4DC9-9F74-402053F7CC4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1382314880f566834ad6faa359ee2fc8ffaee129","datavalue":{"value":{"time":"+2000-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1264448$6B2FEBC7-B2DA-4FD6-8494-F195D00F3BD4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5970d2e22d580243525017b3cd46eb865af00624","datavalue":{"value":"https://semanticscholar.org/paper/4ec2cf334926e14289fc3704c96f0b0e195e90a6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1264448$DDC24E9D-3691-434A-8230-3B42C3B83780","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0bf696db129062efc0e7aa124f8b3b6786e59c64","datavalue":{"value":"Let \\(K\\) be a field and let \\(R=K[[x_1,x_2,x_3,\\dots]]\\) be the ring of power series in countably many variables, with coefficients in \\(K\\). Denote by \\(R'\\) the smallest \\(K\\)-subalgebra of \\(R\\) that contains all homogeneous elements. The ring \\(R'\\) is of interest also because it allows a generalization of the notion of generic form in the polynomial ring \\(K[x_1,\\dots,x_n]\\). Ideals generated by generic forms have been the focus of much study, and the investigation of their initial ideals leds to the study of Gr\u00f6bner bases theory of the ring \\(R'\\), that is the topic of this paper.    The author generalizes the notion of admissible term order to this context and defines the leading power product of an element of \\(R'\\), and thus the initial ideal \\(\\text{gr}(I)\\) of an arbitrary ideal \\(I\\subset R'\\). It turns out that if \\(I\\) is locally finitely generated, then \\(\\text{gr}(I)\\) is also locally finitely generated; this implies that \\(I\\) has a finite truncated Gr\u00f6bner basis up to any total degree. An example is given of a finitely generated homogeneous ideal which has a non-finitely generated initial ideal with respect to the lexicographic order.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264448$6540C579-11E9-4E50-86DE-52AE308581EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"29e9c3739541c6d2689e2217775c5f9c78e555df","datavalue":{"value":{"entity-type":"item","numeric-id":220666,"id":"Q220666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1264448$9E7222A2-808C-4B06-9352-7EBB46DFE01A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"50ee67d9d4438349bdf7aacbe2911ee07a4388dc","datavalue":{"value":"13F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264448$BD3CD6EF-3C53-400D-AF14-7287860406C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264448$E7A9ED2D-FB79-4D1D-9D2C-938C6FFA171F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264448$07F73D1D-0593-453B-A6C5-4FC00D67A747","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"877d34835d84b8e8603179963f5e07635ef16be5","datavalue":{"value":"1204278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264448$39069C8B-7BBF-479F-AE22-F7B786C3A662","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264448$282FDCFC-7550-4497-98FD-9F0E4F61A124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"423afdecc3bd76b3eb8873d94810a40a83d97773","datavalue":{"value":"generic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264448$69E07BE9-1FD4-4A5F-8698-3AEB0832AD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c592c1930543ebe1aacec6b42f2c9553ca3287d0","datavalue":{"value":"power series ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264448$E16EBAE6-175E-4FE4-B87E-AFE66965210E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7c45118650567d1865f360de676ba5279aec17f","datavalue":{"value":"homogeneous elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264448$773CA06F-2F1D-4788-9F67-75B912FE2EFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27d8fb20874f46b9356905a36dbbe86fed6d9827","datavalue":{"value":"admissible term order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1264448$790FACA4-0C57-4AA5-BF4E-70108FC96989","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":"Q1264448$48105E12-448B-45A5-B30B-0CE342218A6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5db13e401dcd60458186b6ef1b828627b0ffe41d","datavalue":{"value":"W2125497504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264448$EB49F6A6-A3F2-4A3C-8D74-040F0DC479CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59abf16afc77ea7cd2d9306d110683bcbbe932a4","datavalue":{"value":"10.1006/JSCO.1997.0178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1264448$90B6731F-C743-4DE8-89F1-F18F82333F3B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90254ea27da780f5daec4ac65344bd6ecbd56cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4398480,"id":"Q4398480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48bacf7fda34e4c4389388698a1adae35954044e","datavalue":{"value":{"amount":"+0.8279164433479309","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":"Q1264448$3420CB58-667E-4EB7-B4A2-978C2D7D6595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7393b3910be5b6679abb747b3f88c8567e0d5d93","datavalue":{"value":{"entity-type":"item","numeric-id":5383367,"id":"Q5383367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d8f5cbe5f5c1d5b0a9394cb83701ed07edfbe4a","datavalue":{"value":{"amount":"+0.8134987354278564","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":"Q1264448$35E0670D-388D-4AF9-B1D3-5160809F0D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c1642dbc6ee385a790fa127e5c1046b5c0a8bc","datavalue":{"value":{"entity-type":"item","numeric-id":4506332,"id":"Q4506332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5dc3d8b7d0b1b3c8ff2348aab7d2c9160785e65","datavalue":{"value":{"amount":"+0.8084068298339844","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":"Q1264448$9F7224B1-E7E3-4A30-B616-92C6CAF0BDE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gr\u00f6bner bases and normal forms in a subring of the power series ring on countably many variables","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gr%C3%B6bner_bases_and_normal_forms_in_a_subring_of_the_power_series_ring_on_countably_many_variables"}}}}}