{"entities":{"Q677557":{"pageid":679406,"ns":120,"title":"Item:Q677557","lastrevid":63518166,"modified":"2026-04-11T13:42:52Z","type":"item","id":"Q677557","labels":{"en":{"language":"en","value":"A generalization of Gr\u00f6bner basis algorithms to nilpotent group rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 998034"}},"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":"Q677557$DF22987D-0320-4466-A741-EC965CFF124B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"512b65eb7532f7916a3ae9ecd3b8b55e6ddcf471","datavalue":{"value":{"text":"A generalization of Gr\u00f6bner basis algorithms to nilpotent group rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677557$74C3145E-8883-4CC4-8B29-6BB06B81821F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7774a03f9008aee5824d64129a3aec99bc4725e1","datavalue":{"value":"0877.16012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677557$255F17F5-AD82-42D1-9DEC-4C3183ADA64B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e71b1a810c94176f33b214acd409208085d409e4","datavalue":{"value":{"entity-type":"item","numeric-id":162945,"id":"Q162945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677557$34D7D1B5-B9A7-40A0-BA0A-19951E9D6382","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1e5dd463aa4d0314ca2a1cf8e190d7a60ad0624","datavalue":{"value":{"time":"+1997-11-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":"Q677557$B9A62840-3737-4615-AB36-F7F64FBB09F2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f9dd07103459ecfef0fb73f8a6dfe6f324c528a6","datavalue":{"value":"The rewriting approach to the theory of polynomial ideals in commutative polynomial rings originates from B. Buchberger (1965). He found an algorithm to transform a (finite) set of generators of an ideal in \\(k[X]\\) into a Gr\u00f6bner basis of the ideal. This last is a set of polynomials such that every polynomial in the ring has an unique normal form with respect to the reduction that uses basis polynomials as rules; polynomials in the ideal are reduced to zero. The left-hand side of such a rule is defined as the largest monomial in the sense of an admissible term ordering.   In this interesting and well-written paper a noncommutative generalization of Gr\u00f6bner bases methods is given -- to the setting of group rings of finitely generated nilpotent groups. Appropriate `Gr\u00f6bner bases' are characterized through concepts of `saturation' and `\\(s\\)-polynomials'. Already in his dissertation (Univ. Kaiserslautern, 1995) \\textit{B. Reinert} has developed the approach [SEKI Report SR-93-08, Univ. Kaiserslautern] to use additional information concerning the structure of the group under consideration. Here, using the fact that any finitely generated nilpotent group \\(G\\) is an extension of a torsion-free nilpotent group by a finite group, the authors present \\(G\\) by a confluent semi-Thue system of special form. It allows them to define `commutative prefixes' of group elements capturing main features of those in commutative case and through this concept to define `right quasicommutative reduction' for right ideals in \\(k[G]\\). This approach to find `Gr\u00f6bner bases' is extended to two-sided ideals in group rings of finitely generated nilpotent groups as well. Earlier, noncommutative extensions of the Buchberger theory have been considered for skew polynomial rings by \\textit{V. Weispfenning} [Proc. ISSAC '92, 329-334 (1992)], for free algebras by \\textit{F. Mora} [Lect. Notes Comput. Sci. 229, 353-362 (1986; Zbl 0659.16003)] and by \\textit{T. Mora} [Theor. Comput. Sci. 134, No. 1, 131-173 (1994; Zbl 0824.68056)], for free group algebras by \\textit{A. Rosenmann} [J. Symb. Comput. 16, No. 6, 523-549 (1993; Zbl 0809.16026)], for Weil algebras by \\textit{W. Lassner} [EUROCAL '85, Lect. Notes Comput. Sci. 204, 99-115 (1985; Zbl 0632.16003)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q677557$1F989CF7-A280-40D1-894C-D3786DD3DACC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677557$3C0D048C-1EDE-4DAD-8456-8410D2CC4E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677557$2A6F20C3-085F-47D9-8F0D-D8DAB3F08FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677557$63ACE69C-1AA3-4278-B294-E5F5874DFBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677557$3C430DDA-73AA-45D8-9F5A-15D59523B5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"973eb9e9b2fb866226b5fdd4d46835fa9f7955d9","datavalue":{"value":"20F18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677557$1F44010C-6709-4D90-AF4D-EE9A6336D3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48f73236e58d3b9eb494e5927909ad332acac144","datavalue":{"value":"16D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677557$A08ABA35-DCA2-4388-841B-CC94DE0871D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a619c6d0b1a61f7decdea8f8a026d471254cd112","datavalue":{"value":"998034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677557$2A7F5126-3495-4FE8-9188-AC41B4175B58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f4d77fd040e93a9fd3d2543220ccbef663cfa9","datavalue":{"value":"right quasicommutative reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q677557$21AA3658-BA59-4E57-9D81-DA2B1AA344DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf951728dab4ccf04e916c233f074a14dacc1ea","datavalue":{"value":"sets of generators","type":"string"},"datatype":"string"},"type":"statement","id":"Q677557$D3314FD0-D2AA-44DA-B581-DFF3CD3B07D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q677557$2C9235DD-5924-4D44-BA6D-878AEB11B162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ad01467593934ad3c029102b50a8ed979d3fc8","datavalue":{"value":"noncommutative generalizations of Gr\u00f6bner bases methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q677557$A9FE6309-B850-40B9-8C33-109C734F57F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ffb90ace4fb7dd1c52afdd57f8ae90283d2ed2c","datavalue":{"value":"group rings of finitely generated nilpotent groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q677557$3BF5E8F0-DACB-480C-B924-84FDEA2EB614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02749fa2768b420767df44fdfc3a197219e17d9e","datavalue":{"value":"confluent semi-Thue systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q677557$C2A320DE-DB43-4F05-86DC-2BB378A4C6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8129d6a5288d508d9010dbbb15b42efa9cc2974","datavalue":{"value":"right ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q677557$AD817A3A-3430-48AB-9E1A-DA004083B7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe31d2726265a2fa69a614a91fc4ea76fd841bfe","datavalue":{"value":"two-sided ideals in group rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q677557$31603270-CF7C-4ED6-A20D-0A96F1AEE7CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6a6cf0affc0bd3d92ff91b52146889f0c8e6de8","datavalue":{"value":{"entity-type":"item","numeric-id":580493,"id":"Q580493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677557$D62C9314-878C-41C4-AF96-E99DC77E2103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"462c6da69f91bc3bc835908e70a901f8c83d8d69","datavalue":{"value":{"entity-type":"item","numeric-id":1275013,"id":"Q1275013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677557$06CADC49-9E6A-45D5-B7FE-D4654B7DC2EF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"20533fcc7734c324d16abc2a4c8c149f15b6ddad","datavalue":{"value":{"entity-type":"item","numeric-id":1372655,"id":"Q1372655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677557$8E4BBCD1-B9AE-47E0-8C9C-48E8D25AAAC9","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":"Q677557$3289406B-0094-46EA-A7AB-2172574A31D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18ef43e6e483a43d7edf6926d50e3cc3bf68291a","datavalue":{"value":"https://doi.org/10.1007/s002000050056","type":"string"},"datatype":"url"},"type":"statement","id":"Q677557$86C11AA6-2E6D-4B49-A67E-4B1537628C19","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9dd9b5b107da32302e2ca2c90ec35d8ac5c51e58","datavalue":{"value":"W2074122093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677557$30FACA24-EC19-4674-AF9A-D6EAEFFCFDB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db834b3df079e6b0d189da6ebc272797b4fc2f8c","datavalue":{"value":"10.1007/S002000050056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677557$115B4EB1-9C12-44FD-8909-009C5D534728","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"263c28a9a8207426cf6a371203b39ed1f679a474","datavalue":{"value":{"entity-type":"item","numeric-id":5945117,"id":"Q5945117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77bee488030579f9548a9ffcc8264de9f5aed7e6","datavalue":{"value":{"amount":"+0.77083707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677557$61564ECE-97A0-4F19-9BCF-42C887F55BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ba9fc714531deaa0952fff30f9114bc6dd164a","datavalue":{"value":{"entity-type":"item","numeric-id":3808248,"id":"Q3808248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25eb1d5bf94a1933900585d9af3da598bbe4db76","datavalue":{"value":{"amount":"+0.7698232","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677557$EAD03056-0CD5-4E00-A073-E21972711C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c086a92655c3906f074c42253086e9c126340b9","datavalue":{"value":{"entity-type":"item","numeric-id":3452876,"id":"Q3452876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67d6b90374af8240417ac3966acb63edc28b4121","datavalue":{"value":{"amount":"+0.7639596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677557$70804B62-675B-4930-B7D9-C4C72DFAA52C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"560477d44b6f3099726f6e75824e8e410bf76c04","datavalue":{"value":{"entity-type":"item","numeric-id":1341746,"id":"Q1341746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2722811b0583969e315a269989f3fdd2838841db","datavalue":{"value":{"amount":"+0.76112086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677557$19FCA10A-BD4E-4763-A7A0-E90716AF4311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcf5b92d59850114e0ee67df48a7d2c73bb0ec6a","datavalue":{"value":{"entity-type":"item","numeric-id":4394975,"id":"Q4394975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d23db1736875215e8873f14a84f2189711dbba1","datavalue":{"value":{"amount":"+0.75538063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677557$BF2664AD-DD90-4C9B-9C47-EC5B51704F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee4b98624b17d7c198cc02be9ea761db655a5a48","datavalue":{"value":{"entity-type":"item","numeric-id":4761721,"id":"Q4761721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b022a0b090611f8f1981c969aac7dc8c1008deb","datavalue":{"value":{"amount":"+0.7476731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677557$98492E19-100B-4024-B34D-CC2383B0E372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfb00f2ea5d9dd16ebb0c07f2b66e747f5832aa9","datavalue":{"value":{"entity-type":"item","numeric-id":677035,"id":"Q677035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9e307a3955fca49ee23c33aeb424ac5301f63a","datavalue":{"value":{"amount":"+0.7456224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677557$27977CB2-3F81-4743-8B32-7B900B674AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cad3453070fea280fbce9f003b3d13b8f1bd87f","datavalue":{"value":{"entity-type":"item","numeric-id":2457399,"id":"Q2457399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44952f497abd347f54f3e9073f075636be6465e0","datavalue":{"value":{"amount":"+0.74140763","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677557$A71B51E8-4134-4F96-A657-765A33D59002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c189858ad4849e1e26c7901d653ca0d51fc6be7c","datavalue":{"value":{"entity-type":"item","numeric-id":4394959,"id":"Q4394959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"576d85a1ce225711f47121df77d3070e7ac391ec","datavalue":{"value":{"amount":"+0.7401924","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677557$EA33E596-5B08-47DA-A0B4-FAE558D29741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdf85941f85b907608a0e666a1fdf076006a8b1","datavalue":{"value":{"entity-type":"item","numeric-id":840707,"id":"Q840707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c95ca2bf7e1cdbb861a163b757badfda643a849b","datavalue":{"value":{"amount":"+0.7379555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q677557$162AEFE8-41BF-4979-BDA5-5BEE4858D051","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A generalization of Gr\u00f6bner basis algorithms to nilpotent group rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_generalization_of_Gr%C3%B6bner_basis_algorithms_to_nilpotent_group_rings"}}}}}