{"entities":{"Q1599544":{"pageid":1610284,"ns":120,"title":"Item:Q1599544","lastrevid":47927779,"modified":"2026-01-03T02:51:04Z","type":"item","id":"Q1599544","labels":{"en":{"language":"en","value":"Gr\u00f6bner bases in orders of algebraic number fields."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1753675"}},"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":"Q1599544$34BE3323-1670-4B21-9520-28411C67C241","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2d310b8782d7fb8bea6acfc03e1070930f728cc","datavalue":{"value":{"text":"Gr\u00f6bner bases in orders of algebraic number fields.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599544$0628DAD1-9F54-4AC0-9F34-E973AE6C6555","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41af8c01a04f4854b9648bd07736cc2d43bc948a","datavalue":{"value":"1057.13504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599544$F08380FD-144C-4B33-9665-B46E3A4CC6DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca46092f9ab22a4fc7c5dd05190d0e289414a715","datavalue":{"value":{"entity-type":"item","numeric-id":1599543,"id":"Q1599543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$F4808A85-6C29-4226-8884-C2D50A7F9405","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":"Q1599544$93BD4143-513C-4375-A12B-2CD2D5A81C77","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ba1d953aa735572961ec1919ce144a2600d9eb","datavalue":{"value":{"time":"+2002-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1599544$0EAF5004-0201-4EDB-9742-B461DE57EC42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e68c225d376f695a94c38b0d6ce1f3d783bc164","datavalue":{"value":"https://semanticscholar.org/paper/8932116b85969471c84b08e070ff1aeb31a392da","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599544$7DC311C0-B2FB-4077-941B-0071C4C7ACC8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"86dc4f63dc5dc56ef4e7dddb4d2c711b3af6d77f","datavalue":{"value":"The theory of Gr\u00f6bner bases is nowadays a well-known tool in the study of polynomials with coefficients in a field. Less known is that Gr\u00f6bner bases can be computed in the ring of integers [cf. \\textit{B. Buchberger}, in: Logic and machines: decision problems and complexity, Proc. Symp., M\u00fcnster 1983, Lect. Notes Comput. Sci. 171, 137--161 (1984; Zbl 0546.68021)], in the ring of Gaussian integers [\\textit{S. Stifter}, J. Symb. Comput. 4, 351--364 (1987; Zbl 0655.13019)], or in a class of rings axiomatically defined by Buchberger [loc. cit.]. A useful extension of this class is due to Stifter [for a different approach, see \\textit{K. Madlener} and \\textit{B. Reinert} in: Gr\u00f6bner bases and applications, Lond. Math. Soc. Lect. Note Ser. 251, 408--420 (1998; Zbl 0924.16002)].  In the paper under review it is shown that orders of algebraic number fields are reduction rings in the sense of the papers cited before. The exposition starts by defining a well-ordering, continues by introducing a division algorithm, then demonstrating how to compute a Gr\u00f6bner basis from any given finite generating set of an ideal. A key point of the approach is a subtle restriction of the set of elements used as multipliers during the algorithm. As a consequence, not every singleton will be a Gr\u00f6bner basis as in the most familiar case. Used in conjunction with known transfer properties, the theory developed here allows one to effectively perform ideal operations in various rings naturally constructed from orders of algebraic number fields. The paper ends with questions pertaining to future work.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599544$E3237DC7-81B0-44B3-9041-930DD0321A71","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e399d6aefd0456742c9468269315b44887e7fe50","datavalue":{"value":{"entity-type":"item","numeric-id":429755,"id":"Q429755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$48640A35-1E53-4B76-B32F-57478832DF6C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599544$E84BC0E8-99C0-4374-905D-905F7ECE518B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd716104cf156585f3bce22202c836b7465d3133","datavalue":{"value":"11Y16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599544$95860DDA-C04B-44E7-A7B5-41AC75D4B1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599544$6E940C78-418D-40A4-AAB4-317197DD4DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86dbc2ee2cc613168aaa9d9c94cb094ec6fcc6fa","datavalue":{"value":"11S45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599544$C49726AF-69E0-4DC1-9F62-64EE6AC025C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7155f2fef89d332bc39ce778ba44eccdeedc765","datavalue":{"value":"1753675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599544$58233A65-FBAB-4910-858E-D71E85752DE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599544$ECDF44D1-0AA8-418F-8C1B-40812BBCC1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a26c619f3c34107172c32ab1d29a17af19378d","datavalue":{"value":"order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599544$C950987A-DB5D-4373-B781-420D75042098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1b6a876801d5a086733f38f81433a0e630772bd","datavalue":{"value":"reduction ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599544$EE1E2097-66B7-4017-9DA1-2278588354E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bde64f034ca7c64dbb33634b4e9b9c94d6cd3bd","datavalue":{"value":"division algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599544$524EC922-7C21-453F-B05A-687D746C5822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5cdbc22801f6009fedb97bff3d5cbfd2c7e908","datavalue":{"value":"singleton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599544$6D24A6B7-C5EE-4093-BD80-AECD209315C4","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":"Q1599544$B511CAB0-7991-4E3A-BFC0-AE074C6237D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"075a01fc9401c7b887af42d6280bfc9f832443c3","datavalue":{"value":"W2078423869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599544$A5CE7B4F-CED5-4CF8-B74E-990F894B4762","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$9FFCE970-62FD-4370-9345-ADFF491C7A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27e2d761ccb0b052ed932a9e25e1934d9433dace","datavalue":{"value":{"entity-type":"item","numeric-id":3745825,"id":"Q3745825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$4361DD26-93F2-4F3B-9820-20E3EA03BA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c29888ffc34074a279b8622e0e463f8cf0dd8abd","datavalue":{"value":{"entity-type":"item","numeric-id":3336682,"id":"Q3336682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$8D89EB69-F80F-413A-821A-2D82C761A0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f1c8dd663fd4eecfcc4bd4389f44fbe8c8abb0","datavalue":{"value":{"entity-type":"item","numeric-id":4935966,"id":"Q4935966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$C77A27A2-D7E1-46EC-B69D-D194D7BC27D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8df86b214d8e4ce717609bfd1bfde71f164d045b","datavalue":{"value":{"entity-type":"item","numeric-id":1273764,"id":"Q1273764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$09E03D2D-EFEE-43AC-9C9D-A5F2A94FB786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4012bf52f1a7d8b23c266108cf626f51468fa4c","datavalue":{"value":{"entity-type":"item","numeric-id":4394971,"id":"Q4394971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$17D63D0B-16A4-4B93-842B-7CDE4A7200F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"291736b26485fa4b71cc29e39ccbdd74e3671c4c","datavalue":{"value":{"entity-type":"item","numeric-id":1209627,"id":"Q1209627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$4C818EEC-27C0-463A-8DAE-C0520A5E199B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8b0a24e4453809873345e4463e12ee490633a83","datavalue":{"value":{"entity-type":"item","numeric-id":1109083,"id":"Q1109083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$207AD406-CE19-4F79-B2B8-7B210E217026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7bdc6a4e3cff99e2d2075db85a9c542472539a4","datavalue":{"value":{"entity-type":"item","numeric-id":809150,"id":"Q809150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$63D5E1A4-3E36-4843-B8A7-3A97ADA23FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14ac4f31f6bb4855afff8619e4a037d63183551c","datavalue":{"value":{"entity-type":"item","numeric-id":687617,"id":"Q687617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$355044FE-00FB-4D70-BAB3-141A09ED206F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cbfea7df5a952e37b1c9a93a0db40abd77b238","datavalue":{"value":{"entity-type":"item","numeric-id":5732721,"id":"Q5732721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599544$464C596B-C89F-40E8-B4F5-C007A135E3FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7fbd519002d39ef0dd4bef57eca8ebc4aef3e8ca","datavalue":{"value":"10.1006/JSCO.2001.0501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599544$7E6EF400-DA0E-49C8-8059-825DC9AAE840","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad737d78202c28f4f26cb866724814fffd42a853","datavalue":{"value":{"entity-type":"item","numeric-id":3677849,"id":"Q3677849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6792570bb3d89ff3329974b2a27af54689b3a50c","datavalue":{"value":{"amount":"+0.849406898021698","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":"Q1599544$B8A7A34A-C052-403B-987E-95DB852F7875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b77351e34b8f683df6f2397029b569aee07b81e","datavalue":{"value":{"entity-type":"item","numeric-id":2927400,"id":"Q2927400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c95c66fe8b44a88af84bb819c6c7a1f5e3feb9","datavalue":{"value":{"amount":"+0.8283023238182068","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":"Q1599544$ACF82B8D-ADE2-47B2-90A3-50BE946F9F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef4fcdf7f95168f99fc26cd80bdc5dc9935536f","datavalue":{"value":{"entity-type":"item","numeric-id":1575702,"id":"Q1575702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50ed5d199f25c4d4a5b694e4eb0ce05c20851e3","datavalue":{"value":{"amount":"+0.8158192038536072","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":"Q1599544$ED0B3094-C86A-4D1D-B9D8-5953A27B85F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c54cb96a010b8926eda6293db4e39331cd767b8","datavalue":{"value":{"entity-type":"item","numeric-id":1262348,"id":"Q1262348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419e11c5d2ff6a737669fbd3dcf8f1d321e7a51a","datavalue":{"value":{"amount":"+0.8154617547988892","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":"Q1599544$14770CC2-A172-462D-B975-11230FABDBE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aeeceb1f9c3dd2027b1ff538f590d45fa238217","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7db9873a2172739cd7c78dbba1bd4f75ff318db","datavalue":{"value":{"amount":"+0.8140472173690796","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":"Q1599544$CF7EB6A0-31E0-4980-8C7D-9B81F80172C3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1599544","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1599544"}}}}}