{"entities":{"Q1121928":{"pageid":1132677,"ns":120,"title":"Item:Q1121928","lastrevid":66814929,"modified":"2026-04-12T13:02:49Z","type":"item","id":"Q1121928","labels":{"en":{"language":"en","value":"The Kurosh-Ore exchange property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4105027"}},"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":"Q1121928$ACD6C54C-EDA4-4EF1-8B7D-DB3D09A9EA0E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af99260d5b0b4b7d3a859c7a8c17a157aaf797af","datavalue":{"value":{"text":"The Kurosh-Ore exchange property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1121928$2FF62A12-0E25-49AC-9E3E-8723C0876565","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"731f12d21f2afc19aecc217e5a951f7d70396850","datavalue":{"value":"0675.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121928$0A01225F-FBBF-4E58-BC7B-EDFD1D7BAA4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6e2a0e9b2342b90b0e2142d6fa695a287240552","datavalue":{"value":"10.1007/BF02170062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121928$6CEFFCE0-E8A5-4FC3-9DC3-7438A19434D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aedf720352fcca932fab3523c4bbcafd7c4c7cdb","datavalue":{"value":{"entity-type":"item","numeric-id":1104176,"id":"Q1104176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$437939DE-7A0E-4A7D-ABBB-0E4B58C6C8C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$9A48F310-4941-4BE6-BF63-95CBD271F362","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1121928$563B9B6B-A4A9-49F4-BD71-8F6FA7370092","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad597e111469d8d855ee46d33f0e3be4806e012c","datavalue":{"value":"For a lattice L we denote by J(L) the set of all join irreducibles of L; next let \\(J_ 0(L)=J(L)\\cup \\{O_ L\\}\\). If \\(a\\in L\\), \\(a=x_ 1\\vee x_ 2\\vee...\\vee x_ n\\) and \\(x_ i\\in J_ 0(L)\\) for \\(i=1,2,...,n\\), then \\(x_ 1\\vee...\\vee x_ n\\) is said to be a \\(\\vee\\)-representation of a. The Kurosh-Ore exchange property for \\(\\vee\\)-representations will be denoted by KOP. \\textit{J. P. S. Kung} [Order 2, 105-112 (1985; Zbl 0582.06008)] investigated the notion of consistent lattices. The present author proves the following theorem: In a lattice L, in which each element has a \\(\\vee\\)-representation, the KOP holds if and only if L is consistent. Next, the author studies the following form of KOP for a closure structure (X,Cl): If A,B\\(\\subseteq X\\) and \\(Cl(A)=Cl(B)\\), then for each \\(a\\in A\\) there exists \\(b\\in B\\) such that \\(Cl(A)=Cl(A\\setminus \\{a\\})\\cup \\{b\\}\\). In the last section of the paper, several conditions for a finite lattice L are found which are equivalent with the condition saying that L is semimodular and has the KOP.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121928$CA4391E9-F7AC-4FE4-B973-E073735EA46F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121928$7565EE48-0575-4E64-B33E-B4876612075F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"47e5c6d08b39e79bdd0bccfaeec11db7eee63b87","datavalue":{"value":"06C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121928$95404220-D84C-4A23-8AC1-5D390E5CAB60","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23ad65df1a237b7c782569c341ee181c5e8413da","datavalue":{"value":"4105027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1121928$DB0D4487-690D-44E7-ABC0-FE1AD1A46672","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6674112915463e4f8a1d08f7591bbaf813951be9","datavalue":{"value":"semimodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121928$D926B6E5-2832-49B7-9862-ABFBA18A6709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6817d3d594b0d4c221aaec3f199e36badeb435f8","datavalue":{"value":"closure structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121928$752C1C66-B83C-430E-AC0D-932B8116F988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8375797bd39f4463f292e3d51d3992626cd06c3e","datavalue":{"value":"join irreducibles","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121928$4D254301-FA8D-4091-ADF0-99B1D8E7E6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992fa222f0720bacfa4ab8e6ca0f1e41f49654ec","datavalue":{"value":"\\(\\vee \\)- representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121928$B8450445-8F19-4C84-96B3-F98A43965AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"840ce9b5563f1591983d1c351e414eb242e225a4","datavalue":{"value":"Kurosh-Ore exchange property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121928$249DEE45-03B8-4DB5-A696-F620BA1231A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9980d20252a991ecff5e72fc728539cc903c56c8","datavalue":{"value":"consistent lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1121928$23DC9AB2-A53F-446C-8097-7CE9EA753284","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"dcde4f0368948d36855bf140c4856cb98bf56894","datavalue":{"value":{"entity-type":"item","numeric-id":593213,"id":"Q593213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$0CBA3457-58A4-47BB-9AC1-85F4C558AAE6","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":"Q1121928$63F9FED7-6D63-4DE2-8B05-EBA6FFB0DF57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1210050730201e87256c9f544b56c93599de323","datavalue":{"value":{"entity-type":"item","numeric-id":3277495,"id":"Q3277495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$97D8C749-A045-4166-8AFB-584DAB398794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$BCF792CC-14F0-4FB4-9951-B8404D65554B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712011711129760d61e789ee5d9981747e91955e","datavalue":{"value":{"entity-type":"item","numeric-id":1143421,"id":"Q1143421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$8203422E-80C5-40D1-B65B-BA609CD141BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4708edf481f5504c3c7a1bbe0ce2035ee105089c","datavalue":{"value":{"entity-type":"item","numeric-id":3875978,"id":"Q3875978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$37531AA2-3A90-45A9-9D16-81BB2203164A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94f6f91958a2ae3e133c76356850791b895b927","datavalue":{"value":{"entity-type":"item","numeric-id":2265443,"id":"Q2265443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$CC939968-1719-4C25-85D3-66879E8EDA0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a3b5035bce0fbe1a9669365be7baa540908b244","datavalue":{"value":{"entity-type":"item","numeric-id":1068863,"id":"Q1068863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$DF4F39E8-A8D7-436E-8612-B7B00D309261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa146c6064fe6555c0b723ad2304493974726523","datavalue":{"value":{"entity-type":"item","numeric-id":3872514,"id":"Q3872514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$99211478-C4FF-4E53-A0CF-39A62E4F8708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f400c047a529b68bd9ca43639d65245af0db6c57","datavalue":{"value":{"entity-type":"item","numeric-id":1086266,"id":"Q1086266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$D83348F8-0E07-4A9E-A61B-F68FF9E7E86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1df3648a912d6564e6bc00f5325ca36960ba89","datavalue":{"value":{"entity-type":"item","numeric-id":793764,"id":"Q793764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1121928$B784D81A-7F33-4585-8D0C-6A76610EFD2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cff27c984331b896ffbba44284c7de4264846ce1","datavalue":{"value":{"entity-type":"item","numeric-id":4783842,"id":"Q4783842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7e9eae6914857fcc95a67085a9cf2aba52f83c","datavalue":{"value":{"amount":"+0.8290379643440247","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":"Q1121928$AE929213-B425-4BBD-97F8-486010320729","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87b22929929430ab89df8bb2cd83ad3716ed1fcc","datavalue":{"value":{"entity-type":"item","numeric-id":4017264,"id":"Q4017264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f39c78c7cb64b5aeb4a07b88a3fdc981d21d4225","datavalue":{"value":{"amount":"+0.82453453540802","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":"Q1121928$21A318C0-6F81-4E75-BE57-2B58F09B6F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a6dc193c64a66510ee4e8d9866db082c6e13e5","datavalue":{"value":{"entity-type":"item","numeric-id":3976995,"id":"Q3976995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65996c8b998fe9d1563cf16268e110da544c4501","datavalue":{"value":{"amount":"+0.8075756430625916","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":"Q1121928$89724225-07D9-4228-A443-38DA5183BD6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110fe4f3260b892c5dd4694fe7e6a2d5ef121dd4","datavalue":{"value":{"entity-type":"item","numeric-id":1193574,"id":"Q1193574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65996c8b998fe9d1563cf16268e110da544c4501","datavalue":{"value":{"amount":"+0.8075756430625916","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":"Q1121928$104E59C7-463C-40C9-A7F2-D4C24FC45A6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3593493b5203b801047a65eada1f0f314665da4","datavalue":{"value":{"entity-type":"item","numeric-id":3344034,"id":"Q3344034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b2bfc7e866ed87cad9f67642d0449d09a7d83f","datavalue":{"value":{"amount":"+0.7969769239425659","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":"Q1121928$4DA21071-B3C4-466B-8637-239F23BFC14D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Kurosh-Ore exchange property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_Kurosh-Ore_exchange_property"}}}}}