{"entities":{"Q1268097":{"pageid":1278847,"ns":120,"title":"Item:Q1268097","lastrevid":68337420,"modified":"2026-04-12T23:01:43Z","type":"item","id":"Q1268097","labels":{"en":{"language":"en","value":"Confluence and Koszulity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1211663"}},"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":"Q1268097$FAAA7F56-BA39-450E-BF94-96871C84B1BD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ad3b79cec88a5542776b38b10fce2f2552c1d00","datavalue":{"value":{"text":"Confluence and Koszulity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1268097$5F514880-2125-480A-82A3-1B5771179381","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"166b5f53d9b5048d02cc5768b680c7156ca652c2","datavalue":{"value":"0915.16025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1268097$8FC28D52-EE80-4727-84CE-D8F5DB9DB564","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"95068d5ad2125f4b1fc5f9842f0e5e27db83187c","datavalue":{"value":{"entity-type":"item","numeric-id":201502,"id":"Q201502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$81F4E5DF-B846-4F8D-8332-006A53399639","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$C0573497-F6FD-4C44-85F7-DF394A7082F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd6a737c18f65b9b62e49de46febf9f281d342b1","datavalue":{"value":{"time":"+1999-04-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":"Q1268097$5E8A6950-CBAF-448B-B277-C42A66B54549","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0f70f68708614bb41fbfe0913d55f9e078ad0205","datavalue":{"value":"Let \\(V\\) be finite dimensional vector space over a field \\(K\\) and denote \\(V^{(n)}=V^{\\otimes n}\\). Fix a totally ordered basis \\(X\\) of \\(V\\) and let \\(X^{(n)}\\) be the corresponding lexicographically ordered basis of \\(V^{(n)}\\). If \\(E\\) is a subspace of \\(V^{(2)}\\) consider the ideal \\(I(E)\\) generated by \\(E\\) in the tensor algebra \\(\\text{Tens}(V)\\) of \\(V\\). The quotient \\(\\text{Tens}(V)/I(V)\\) is a quadratic algebra on \\(V\\). It inherits the natural grading on \\(\\text{Tens}(V)\\). Call \\(E\\) the space of relations of \\(A\\). An \\(X\\)-reduction operator \\(T\\in\\hom V\\) is an idempotent such that for every \\(X\\)-generator \\(a\\) either \\(T(a)=a\\) (and \\(a\\) is reduced) or \\(T(a)<a\\) (and \\(a\\) is nonreduced). Since the tensor product of reduction operators is a reduction operator too, the notion of reducibility carries over to quadratic algebras. If the classes of the reduced monomials are linearly independent then \\(A\\) is a polynomial algebra and moreover the above classes form a basis of \\(A\\). This basis is the PBW basis of \\(A\\) [see \\textit{S. B. Priddy}, Trans. Am. Math. Soc. 152, 39-60 (1970; Zbl 0261.18016)]. Polynomial algebras in this paper are called confluent.   First the author provides a new proof of Priddy's theorem that every confluent quadratic algebra is Koszul. Then he obtains descriptions of polynomiality in terms of confluence from the computational algebra point of view. Another proof of Priddy's theorem is given, using an explicit construction of a homotopy of the Koszul complex. Finally the author considers the meet and the join of two reduction operators from the algorithmic point of view, and gives a geometric characterisation of the confluence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1268097$0073A067-E85E-4F1C-AEB5-9BA87A4F8798","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f763c8cd6a5bb163b3bc0f29fb7bffc7801b7ec","datavalue":{"value":"16S36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1268097$75C23D23-08FD-4400-9B77-E1FFE34BECB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e97bd36d529226a5c2a7d319ccb88fe485aab7bf","datavalue":{"value":"15A72","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1268097$631F2362-AC4B-43F0-96B1-1DD43CE0FB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fcdcf091e8d296dbd4abc537c837748e635f0d4a","datavalue":{"value":"15A69","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1268097$3B8D11D9-5D12-417D-AE74-5CE38C3FF45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c56966e7582030419470f060d92c6e5197ed2f39","datavalue":{"value":"15A78","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1268097$88897210-AD91-404A-A348-7C6EB7A0B6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85b25dadedbef7f4f6459ceafe8b2ce0a6602c11","datavalue":{"value":"16W50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1268097$2CEDFC2E-9226-4E85-BD5A-29BE8BA50AE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d93db08b5e14f0495dcbce33cb14340b8f072882","datavalue":{"value":"1211663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1268097$355FA075-0C7D-4A60-89C1-40DD3BF11E9C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1268097$4098A28B-A084-4E84-87BE-32146EE2B87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"583c24fb40b3d3d79ddbbe71e14afba17715212d","datavalue":{"value":"polynomial algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1268097$98663A0A-6278-4B4E-874B-DA5B427F86BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"563716fb459ef60db848582626fb5ba4e932dadb","datavalue":{"value":"quadratic algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1268097$D6492D5E-4BDB-47A4-8956-F442F50BE5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e310c3a7402f8c563903b8b5d4e0f0743ec5de1a","datavalue":{"value":"Koszul complexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1268097$B4C84357-432C-4ADF-A441-EEF3DED9A3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5eaca16be604e547eb06cf9b569097884f8716a","datavalue":{"value":"Diamond Lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q1268097$E5601D9B-DD9C-433A-931D-5F50FE47DD55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0693abc26b2a4ebc25e183dff8b78364bd3528a0","datavalue":{"value":"tensor algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1268097$1352088A-3E96-4F6B-B452-174E8939D2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c584f3d67e7b873af3dedb3b0ba6244dc7a40364","datavalue":{"value":"reduction operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1268097$1DA06AB6-516D-41BE-A97F-845469CB7599","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"67f2bd81fb9cb34652cde842deff4ca5a4d685f9","datavalue":{"value":{"entity-type":"item","numeric-id":185625,"id":"Q185625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$117BFB09-FC8D-4B60-AA4E-5B9821A426C8","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":"Q1268097$5CA0E6E1-215A-42BC-AE3C-2DEA6C24991B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39dade3fb7734369bf15eaaf73bb1533adaf3828","datavalue":{"value":"https://doi.org/10.1006/jabr.1997.7249","type":"string"},"datatype":"url"},"type":"statement","id":"Q1268097$655F36E0-BD5B-4C3E-9EEB-E2EA86BA1AC1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8cde39c82a69412f6268ba4955ae4b48e4885519","datavalue":{"value":"W2011081471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1268097$5A077328-D053-472C-BE33-9A1AC42FD844","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"95a838651d29e96f94d985ef4668bfed9c3f9ca1","datavalue":{"value":{"entity-type":"item","numeric-id":3731815,"id":"Q3731815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$866ECFB5-57EB-46A8-B4FB-5AA34B0E0E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$6F2352B4-3572-43E0-8C17-CC69FE2C8690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf78cb10ca5a517a3ce3ad76a0e9e9632b2d0c2f","datavalue":{"value":{"entity-type":"item","numeric-id":909730,"id":"Q909730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$325111F7-FEBE-47F0-B480-12506AB937C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f510a461eabc5627eb938f3a8efba4f32e28427","datavalue":{"value":{"entity-type":"item","numeric-id":4874244,"id":"Q4874244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$6093EA38-46DE-491B-8EEC-EEAEC412C411","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":"Q1268097$7AB72031-3DA1-4538-B2D1-73F6BF693A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63fa6bd37dfc6354448c45c3ca8cec182add2b4c","datavalue":{"value":{"entity-type":"item","numeric-id":1092158,"id":"Q1092158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$BABBB122-EABF-4FF4-B1D6-6FC87E9CE423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3376ffbaa1f69920790cb2c3ddfb3ded8a9a59b9","datavalue":{"value":{"entity-type":"item","numeric-id":4079733,"id":"Q4079733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$31134288-27A3-4639-B29B-A9AB8D2B307C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0f6d558f9e9cc76f1e4e1bf1d2d22cc09f46d1","datavalue":{"value":{"entity-type":"item","numeric-id":579722,"id":"Q579722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$36E64920-6B69-40AF-9195-9E2CB3017B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55d57ca86e86e39b350b2c693fc34240847c30c5","datavalue":{"value":{"entity-type":"item","numeric-id":5676382,"id":"Q5676382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$96637F7D-1D18-45E9-916E-E381C3231E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6cd7c6629011a47cc69e3be9c3242ccc13f4e93","datavalue":{"value":{"entity-type":"item","numeric-id":1911154,"id":"Q1911154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$4B5DD940-F3CE-487D-A444-C0D1992975CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39cc565246dd8b50d638b86ad66e391c42ee8992","datavalue":{"value":{"entity-type":"item","numeric-id":1318007,"id":"Q1318007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1268097$5C989AE9-D004-4904-B944-F4E7AE81CBAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a775949381b711381d30974b2a145eed7cb2aaa5","datavalue":{"value":"10.1006/JABR.1997.7249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1268097$7E6C2584-49B5-4EDD-AA11-D60883AFC2C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320d7b803513f8d754e0a06154f4b56c360cc1b7","datavalue":{"value":{"entity-type":"item","numeric-id":1281927,"id":"Q1281927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97faf30f1293703f313caf3c6fae1219ea3c8672","datavalue":{"value":{"amount":"+0.8737815618515015","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":"Q1268097$32F6651C-CBD6-4CD1-B35C-61CD0C3C4DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8e79faad7db77a1056378f16a7e52ff966b8f89","datavalue":{"value":{"entity-type":"item","numeric-id":295906,"id":"Q295906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37945ee9fb80cb88fd9b5ce7813bf5add1a231f5","datavalue":{"value":{"amount":"+0.7561294436454773","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":"Q1268097$C43D7567-805E-4748-87BE-2169A5C06BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c66cccb19832e8a97fc1f5cd01093f22a69ed733","datavalue":{"value":{"entity-type":"item","numeric-id":1964150,"id":"Q1964150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d1498072156cd5c469b8d98e46cfdc6d42b0b03","datavalue":{"value":{"amount":"+0.733392596244812","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":"Q1268097$6EE352AE-A426-4AFF-946F-013813CDD14F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Confluence and Koszulity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Confluence_and_Koszulity"}}}}}