{"entities":{"Q688707":{"pageid":690556,"ns":120,"title":"Item:Q688707","lastrevid":63634347,"modified":"2026-04-11T14:30:05Z","type":"item","id":"Q688707","labels":{"en":{"language":"en","value":"Constructions of standard bases of right \\(K\\langle A\\rangle\\)- modules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438336"}},"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":"Q688707$B696AA08-839A-4008-879B-6501F9A80AB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7fb1a3edd168827d0a1f3dce987a236d932e70f","datavalue":{"value":{"text":"Constructions of standard bases of right \\(K\\langle A\\rangle\\)- modules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688707$63BA7CBF-68B9-439C-A478-980E37275698","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9077054a5c90771a48ae80b35eee2de1880f7351","datavalue":{"value":"0798.16013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688707$7A1237D5-756F-42EC-B5EC-B209516D22BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0ba809403dae2230bce9026cf883ad2119e196e5","datavalue":{"value":"10.1016/0304-3975(93)90318-N","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688707$A5225955-E868-4056-83B5-91697FC68447","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"427f5c2af772e3a751548eac08c238f8c381dfab","datavalue":{"value":{"entity-type":"item","numeric-id":468683,"id":"Q468683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$A2F174CA-5AC0-4700-AB45-CBF43D012FD7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$710E4200-96B5-4FC2-9642-CE0DFEFFB367","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a511c8ef0b44d10360e4b2f51c22be5a4c1a9ced","datavalue":{"value":{"time":"+1994-09-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688707$B8700FAB-7CC4-4A59-B98B-705325ECD715","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4830d4d7cc77a87f7fdb2b2ec782fb9108b14eb6","datavalue":{"value":"Let \\(K\\langle A\\rangle\\) be the free associative \\(K\\)-algebra (\\(K\\) is a field) over an alphabet \\(A\\). The author constructs a variant of Gr\u00f6bner bases for right \\(K\\langle A\\rangle\\)-submodules of the right \\(K\\langle A\\rangle\\)-module \\(K\\langle A\\rangle^ q\\). We describe his construction for \\(q = 1\\); the generalization for \\(q > 1\\) is more or less straightforward. Let \\(\\leq\\) be a well ordering on the free monoid \\(A^*\\) such that \\(u\\leq v\\) implies \\(uw\\leq vw\\) and \\(w=uv\\) implies \\(u\\leq w\\) for all \\(u,v,w\\in A^*\\). For a polynomial \\(P\\in K\\langle A\\rangle\\), the leading word \\(r(P)\\) of \\(P\\) is the maximal (under \\(\\leq\\)) word from \\(A^*\\) appearing in the irreducible representation of \\(P\\) as a \\(K\\)-linear combination of elements of \\(A^*\\). Now let \\(I\\) be a right \\(K\\langle A\\rangle\\)-submodule (i.e. a right ideal) in \\(K\\langle A\\rangle\\). A family \\(\\{w_ i\\}_{i\\geq 1}\\) is said to be \\(K\\)-dependent mod \\(I\\) if there are \\(\\alpha_ i\\in K\\) such that \\(\\sum_{n\\geq 1}\\alpha_ i w_ i\\in I\\). Define \\(u_ 1 =\\inf\\{w\\in A^*:\\{v\\leq w\\}\\) is \\(K\\)-dependent mod \\(I\\)\\} and, for \\(n\\geq 2\\), \\(u_ n =\\inf\\{w\\in A^*\\setminus\\{u_ 1,\\dots,u_{n-1}\\}A^*:\\{v\\leq w\\}\\cap A^*\\setminus\\{u_ 1,\\dots,u_{n-1}\\}A^*\\) is \\(K\\)-dependent mod \\(I\\}\\). The family \\(\\{u_ n\\}_{n\\geq 1}\\) turns out to be a prefix code such that \\(u_ i < u_ j\\) whenever \\(i < j\\); it is finite iff \\(I\\) is finitely generated. For each \\(n\\), there exists a polynomial \\(P_ n\\in I\\) such that \\(r(P_ n) = u_ n\\) and the leading coefficient of \\(P_ n\\) is equal to 1. The family \\(\\{P_ n\\}_{n\\geq 1}\\) generates \\(I\\) and is called the standard basis of \\(I\\); it is proved that it is in a sense unique. The main result of the paper provides an algorithm which, given a finite family \\(Q_ 1,\\dots,Q_ k\\) of polynomials, constructs a standard basis of the right ideal of \\(K\\langle A\\rangle\\) generated by \\(Q_ 1,\\dots,Q_ k\\). As corollaries, the author proves that it is possible to recognize whether two finite sets of polynomials generate the same right ideal and to test the membership of a given polynomial to the right ideal generated by a given finite family of polynomials.","type":"string"},"datatype":"string"},"type":"statement","id":"Q688707$7230AD30-861E-4477-96DE-E4570DFFF8C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9869d6727426fa925115c8692e8e1b59eda63fae","datavalue":{"value":"16S10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688707$4B4C2AFF-B728-43F2-80A3-0583E8901B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688707$D792A0FE-0259-42FC-B5A4-CE5FC7D0A3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48f73236e58d3b9eb494e5927909ad332acac144","datavalue":{"value":"16D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688707$9B0EBDF5-F505-4D3A-84FF-6B7184735014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688707$3DED613B-D60A-44B9-8EDC-072F54B89A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23149673dde05813672617e26c3fcb130092997c","datavalue":{"value":"68R15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688707$963C3DBF-9514-4813-9171-699910EA25F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4a432b8d57a8ab6a132ed5a66b6027b0f4f221f","datavalue":{"value":"438336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688707$4FF397FF-99BE-465E-AF5E-BEABFDF95642","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbcd120b9dac2ae52f982c9f24c464d1b39631d0","datavalue":{"value":"free associative \\(K\\)-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q688707$6AA9943B-2502-42AC-9BC2-430BFD968F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q688707$01AC1180-8FAD-4D55-B26D-E1A46DCD85B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80c184d2980c66fb4f3a760bddec3b556becb0a5","datavalue":{"value":"well ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q688707$537DC32D-2324-46FC-8828-9DDD34456F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a89840e6da5d8a209547a4f40b7b851aa5ea16a8","datavalue":{"value":"free monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q688707$5B4F6FB9-C329-4B51-9BFA-214073E768ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6099dcf6fd90e2ba7db293da7f63406cb206e2de","datavalue":{"value":"prefix code","type":"string"},"datatype":"string"},"type":"statement","id":"Q688707$566736A2-5DBB-4AA9-8329-408308229270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q688707$FB1D6F10-F7B9-4F04-80A0-5247B6EDCCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31e860314eeb1a93c1b93265a9c37508a478a501","datavalue":{"value":"membership","type":"string"},"datatype":"string"},"type":"statement","id":"Q688707$55C8069C-67C4-423D-A722-CA32E0638CD0","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":"Q688707$4C48C890-B685-4CF3-B640-8B4DA5054CEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa89ab4683cc129890b4e6b83d3a64e16eec4944","datavalue":{"value":{"entity-type":"item","numeric-id":802716,"id":"Q802716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$6B5FCF45-46A9-4832-B371-1FDC1C93BC09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3913a579b628d4f8deae9c770eb511538508ca80","datavalue":{"value":{"entity-type":"item","numeric-id":3994777,"id":"Q3994777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$21950EC3-8E06-4161-A301-7BF212B038E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$BA7255EE-81D5-4355-ADBE-A21E9C6EB475","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":"Q688707$2EA0C40D-C0D0-4FED-AA54-979E01B8DB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a9d08bc119dd9a521f91e2372fb2f2c0fb01de","datavalue":{"value":{"entity-type":"item","numeric-id":3277514,"id":"Q3277514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$E52C275E-B602-4371-AA1A-7DA435D3C19A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf9fbc11837e969093ea75b7282a8d70f41abe1","datavalue":{"value":{"entity-type":"item","numeric-id":5562665,"id":"Q5562665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$27B314CA-790D-4B69-9E85-EBBC4F67F244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b6305a8e888cf727a2073da3541e6776a8313d","datavalue":{"value":{"entity-type":"item","numeric-id":3808246,"id":"Q3808246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$A44EBE7E-E42A-40D0-8F20-CAE0D5AF3717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$851457FD-C955-47D7-ADB7-F91878817054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d3cbffed8a301b84b1253490d8c6b17bf2e322","datavalue":{"value":{"entity-type":"item","numeric-id":4145882,"id":"Q4145882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$7794F7FA-C7AA-4B24-A1B6-FC188791FF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b20cfc018ab6e5a56059403136b49d5687c82de8","datavalue":{"value":{"entity-type":"item","numeric-id":4135772,"id":"Q4135772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$68413F76-1635-4FFB-BF28-B633167382A9","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":"Q688707$8102F256-856C-46CA-8CA2-65F1D2E2D2E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"385b443e68d2c64d04aed98acb6586cb7ed72e3d","datavalue":{"value":{"entity-type":"item","numeric-id":3288101,"id":"Q3288101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688707$CC9A58C5-5FC6-451F-B500-A379F3484484","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5bf51ff56a9d9fd5c0c647539a4b53e49e7cc02","datavalue":{"value":"https://doi.org/10.1016/0304-3975(93)90318-n","type":"string"},"datatype":"url"},"type":"statement","id":"Q688707$EF7D439C-3E47-4442-A4E6-F9D918B349F9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e5169d6976e888959e71b74124ac6387dbb63c9e","datavalue":{"value":"W1966607646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688707$8CF091F1-FAD3-4C3C-B396-4F457FEB4099","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eece3c7b70f044a3b4a470dd0b57755e6fac326f","datavalue":{"value":{"entity-type":"item","numeric-id":3839878,"id":"Q3839878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"772ea4feb23d4110244c8c78f122aa0db67ef539","datavalue":{"value":{"amount":"+0.842420220375061","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":"Q688707$F8CA7441-9EDD-4211-A380-23C78A640825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4303e409f7cd3ef337ac4512612dd59cc4aca9","datavalue":{"value":{"entity-type":"item","numeric-id":5930919,"id":"Q5930919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"453c12983376603e0df3e5a60bbff22ddf4388a4","datavalue":{"value":{"amount":"+0.8241089582443237","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":"Q688707$B4B2EE03-4595-4938-9007-CA493EEEE8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb77a189aa5d826bc55b88949f92eb1217cc473","datavalue":{"value":{"entity-type":"item","numeric-id":1569833,"id":"Q1569833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34d30f21e1e8989fdc67952d7e57aa54e24f5aa5","datavalue":{"value":{"amount":"+0.8061392307281494","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":"Q688707$64FE9D4A-C92E-4EA3-A993-F3E1345948B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6f72690230451d3666309692fb10bd9b1d97ea1","datavalue":{"value":{"entity-type":"item","numeric-id":3755558,"id":"Q3755558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f664d70312c328079a10c952e49fc5e27ca7fe7","datavalue":{"value":{"amount":"+0.795677900314331","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":"Q688707$CD08EDBA-0448-4A50-9A0F-7752CAB2D486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b36a3adf36b597220e10c9f2bcbb4ee9bb63ac3","datavalue":{"value":{"entity-type":"item","numeric-id":3804810,"id":"Q3804810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719d7b5a3dc9fb5e44166d2587238c17723899de","datavalue":{"value":{"amount":"+0.786313533782959","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":"Q688707$6D3F1004-98A6-493F-9609-652FD0C7B978","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructions of standard bases of right \\(K\\langle A\\rangle\\)- modules","badges":[]}}}}}