{"entities":{"Q1569833":{"pageid":1580573,"ns":120,"title":"Item:Q1569833","lastrevid":67895298,"modified":"2026-04-12T20:02:54Z","type":"item","id":"Q1569833","labels":{"en":{"language":"en","value":"Multiplicative bases, Gr\u00f6bner bases, and right Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1471048"}},"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":"Q1569833$B3F7DC0D-1221-40F1-A2BF-CD8B85804D99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0a71494d7af985c97888adb724ffcc335c51347","datavalue":{"value":{"text":"Multiplicative bases, Gr\u00f6bner bases, and right Gr\u00f6bner bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1569833$FB0ACF8D-547A-4457-8BF5-04E3E408B39A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab34dbc4ca6531c0f071426a057fc358b08fa04c","datavalue":{"value":"1002.16043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1569833$11D82710-1421-4469-BE4D-4F7373FE1B82","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":"Q1569833$A7CB6C85-760E-4675-BA13-8D87A0FBBF3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dad7f79b15b1e8d18f3d5dd23e70ff920747ce33","datavalue":{"value":{"time":"+2002-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1569833$78B94605-7AC6-4E9C-91AD-318C3E817C98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"abe0f730f906844e09a0fdb6bec8c21a42e8d29c","datavalue":{"value":"https://semanticscholar.org/paper/7acaf5781eaeafa44570d8e19e34d21315b1cdf4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1569833$0683DB45-6E01-4711-B831-4B132FAD39E3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7aefa93ebfab80f83c553af985f496ed8d777cd4","datavalue":{"value":"This paper is the first on the theory of right Gr\u00f6bner bases for algebras and modules. In section 2 the author defines a theory of a Gr\u00f6bner basis for an algebra with a multiplicative basis which has an admissible order. (These concepts are defined in the paper.) What is a bit surprising is that the existence of such a basis implies that the algebra under consideration has to be a quotient of a path algebra \\(K\\Gamma\\) by a special kind of ideal, called 2-nomial ideal, and the basis is the image of the paths under the epimorphism. This is also a nice justification for the introduction of path algebras. After that the author introduces the theory of right Gr\u00f6bner bases of a right module over such kind of algebra. This can be applied immediately, and the author shows an application generalizing Cohn's theorem which in this case says that the path algebra is a hereditary ring. An algorithm to construct a tip reduced Gr\u00f6bner basis is given and also the elimination theory. As a consequence there is an algorithm for find the intersection of right submodules of projective modules. This in its turn can be used to solve algorithmic linear systems of equations with coefficients in the algebra. There is a proof that if \\(I\\) is an ideal of the algebra such that the quotient is finite dimensional, (usually called an admissible ideal), then \\(I\\) has a finite reduced Gr\u00f6bner basis. The paper is almost self contained and very readable, and a good introduction to the subject.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1569833$FBFA64E7-79BD-45C8-A611-C5F1C77F4931","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"09c34d6a9e51500cf32e007c02afdb05751a7030","datavalue":{"value":"16Z05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1569833$F22A8375-EB0B-409F-BAB7-E3C5169DE2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ffcaee9f831b590f5782b03e714aa97c24d0d770","datavalue":{"value":"16G20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1569833$0C64102C-8237-43C8-A85B-D002D4B34463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1569833$122A277A-1140-43F2-9BCC-97B0FB924B73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c599690e1c5eca69c9c3116623f5f778c8c84954","datavalue":{"value":"1471048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1569833$DF150C1B-602E-492F-AA4A-66D5CB8E5D3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a0d82282a6ae4bc902f84770c9b1a93fcfa74f1","datavalue":{"value":"right Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1569833$F8CC838B-C1C7-4D8E-945B-5FF0DA3FE275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97337ddcdcff4a5e6a453d3749c52bf19b3e2950","datavalue":{"value":"elimination theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1569833$746E43AD-5992-4BD2-A541-556CF714F73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ed46ff69edd3a3908bd476cd953f43608a34da","datavalue":{"value":"multiplicative bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1569833$EFFC900A-FEEE-4A4A-B686-F6E5F66CCEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba7ae6d429e23093c44b4b1cdd0c7354f7235fae","datavalue":{"value":"path algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1569833$59BB767C-2601-4638-9E11-4DFECF98EA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f2a6869586aad35f2339e5ae4bc9c87997912b0","datavalue":{"value":"hereditary rings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1569833$6DC23CAC-094D-44E3-B7A3-B7536182E268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1569833$E85F5FD5-E40D-4CAE-8D90-FBD9F80FC782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c75efcf5247b9c1def716b185f1502924147a0","datavalue":{"value":"linear systems of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1569833$E090C1EA-AB3E-4FA9-9994-C31FEB5BDE78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"405bb47a41e958d1b1851884e917a0596ba1893e","datavalue":{"value":{"entity-type":"item","numeric-id":1013760,"id":"Q1013760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$1669A672-E72C-4531-9A69-85B6A0A9CE49","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3569f74a0b1d4b3a19aba852e7aa948f3b94d287","datavalue":{"value":{"entity-type":"item","numeric-id":332613,"id":"Q332613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$9D3BEB9B-94F9-4860-BBF9-E610C0295E0F","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":"Q1569833$5734062C-6C9F-49CF-AD9C-337E889CF62F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"055010f41715849d07ebc16fa6aedbc9d5aa02da","datavalue":{"value":"W2025883030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1569833$2D78113B-747A-4462-9023-1945A26CE3F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4408f3ad51b276e10fb040cdb7d1b97362e7a60e","datavalue":{"value":{"entity-type":"item","numeric-id":4318498,"id":"Q4318498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$D4F741DC-FEF9-40A7-A523-05D2F4DFD0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18462e24fe9daf72700ef16cb385cfc5fc6235b4","datavalue":{"value":{"entity-type":"item","numeric-id":1355501,"id":"Q1355501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$2F7BD6B0-3915-440C-B4E8-4348003DFFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"292875cc990f8e39d566b0d0a4c597a7d5513762","datavalue":{"value":{"entity-type":"item","numeric-id":1225669,"id":"Q1225669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$4395B6D7-7AF6-401D-8339-2AEF8C7D1043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f863f32c36afa2b13a43ef628834333147d69c7c","datavalue":{"value":{"entity-type":"item","numeric-id":4023642,"id":"Q4023642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$BA153694-21ED-40FB-A54C-9894D1B75CBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99dedf79f82c50748eba9c53a37efa84d9e7d96c","datavalue":{"value":{"entity-type":"item","numeric-id":4290180,"id":"Q4290180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$CD15923B-5A28-428A-B65F-E98FA7EA463B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee776ebc4957651d7a036645b06432a0bcdb1ad0","datavalue":{"value":{"entity-type":"item","numeric-id":5286454,"id":"Q5286454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$F87AA58F-1898-44A2-A1DA-075D31384610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b238c576db8fdc1b4f38f2ccc115ce0e072cbf00","datavalue":{"value":{"entity-type":"item","numeric-id":3889229,"id":"Q3889229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$11673C33-D327-4E94-BF7A-0D0CC2E0EB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce5e2bf110d8bcef14b9ae82a34598f71dfa2ed","datavalue":{"value":{"entity-type":"item","numeric-id":1220132,"id":"Q1220132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$4B2568D1-115C-4723-AE4D-DA0A43830EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d46d7bd1b51ecaed7885bc5913cbc5ddcfe3bff","datavalue":{"value":{"entity-type":"item","numeric-id":1842230,"id":"Q1842230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$3B6B746A-D64E-4F11-BD15-D65855AF9EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7dcec5c071eaf88ba82e1a5c2c8a9edafef9dee","datavalue":{"value":{"entity-type":"item","numeric-id":2719054,"id":"Q2719054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$D4F74CBC-9F23-4E77-837F-68FE97FAF144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c84260f5ee3ad2445557fc39167de064be1f0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3808248,"id":"Q3808248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1569833$410E9174-FCCC-4477-99D2-A79A82547AA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7f5168d8c6a4ebb9f3a88e2a3762fc52eaeec372","datavalue":{"value":"10.1006/JSCO.1999.0324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1569833$849C7058-079D-4790-A510-254BA6203C22","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00064f51b479043d5ad0f24930cfcbca4f3a5216","datavalue":{"value":{"entity-type":"item","numeric-id":4270306,"id":"Q4270306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2850267a4c7d706d4418c840fc7c72abfca2a4c5","datavalue":{"value":{"amount":"+0.8483611941337585","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":"Q1569833$BF5A5EB0-6691-4C49-B464-AF2F7463C71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4200ecde70a9f0ae6546a66ab5b59421f3432bc","datavalue":{"value":{"entity-type":"item","numeric-id":2886301,"id":"Q2886301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2850267a4c7d706d4418c840fc7c72abfca2a4c5","datavalue":{"value":{"amount":"+0.8483611941337585","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":"Q1569833$6EB68C1B-6783-4F36-8CAD-97A95517E610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04a876696799ecb8b82ed9431784d437e89060cd","datavalue":{"value":{"entity-type":"item","numeric-id":5694722,"id":"Q5694722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cecba5bc0e2a0c0ee9f2234cbf7ce4bf2183a2c9","datavalue":{"value":{"amount":"+0.837661623954773","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":"Q1569833$3C2D8F2C-4893-4243-879B-C5F68455CFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"237dce1142201884b317361b5f289a1af0ea26a1","datavalue":{"value":{"entity-type":"item","numeric-id":5487221,"id":"Q5487221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40eab95e582801eab8da8e1e87fcc61639b1503f","datavalue":{"value":{"amount":"+0.8087630867958069","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":"Q1569833$43FFEB31-C936-4410-B879-BD15DA8AC4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03e86ac65d9859e0eac119c1f1020dd893cc2a2e","datavalue":{"value":{"entity-type":"item","numeric-id":688707,"id":"Q688707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae18e9720a133b7ca359160b68007bc24f30a8f2","datavalue":{"value":{"amount":"+0.8081009387969971","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":"Q1569833$19871B7A-CE8E-48A6-8688-3BEA386E4B64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Multiplicative bases, Gr\u00f6bner bases, and right Gr\u00f6bner bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Multiplicative_bases,_Gr%C3%B6bner_bases,_and_right_Gr%C3%B6bner_bases"}}}}}