{"entities":{"Q800490":{"pageid":802338,"ns":120,"title":"Item:Q800490","lastrevid":64467180,"modified":"2026-04-11T20:04:21Z","type":"item","id":"Q800490","labels":{"en":{"language":"en","value":"Semigroups with \\(\\wedge\\)-semidistributive subsemigroup lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875545"}},"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":"Q800490$40835AA0-376F-4E78-A87A-3D402C0371B3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e6de19f0dad54afe1ec85c8a4570f5ae1545c81","datavalue":{"value":{"text":"Semigroups with \\(\\wedge\\)-semidistributive subsemigroup lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800490$56BDD547-5E95-44E1-B3F9-F7546BC49464","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"020992f250cb81a9b67a3579a37b47dc6d6a4d13","datavalue":{"value":"0549.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800490$63997C4B-5810-4226-BBAA-EBC66699780D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"78a31e48d93d6641ef0a649bda384858922ca9dc","datavalue":{"value":"10.1007/BF02572639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800490$80F4C98E-77F1-44E8-A5D8-3573C57B9FF8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a21f29964c0477e5e55e5d1bacb28e93000c0d0","datavalue":{"value":{"entity-type":"item","numeric-id":800489,"id":"Q800489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$03D1EDAF-559C-42D6-8DFE-FFBF9BCA86F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$DC133596-EF26-4D1C-97BB-42EB21E49544","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q800490$54F02F19-53BE-46CE-B7CF-420770F75354","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"415b80b8ced5dea0735ee2185b0e5a36cc2e0c27","datavalue":{"value":"https://eudml.org/doc/134736","type":"string"},"datatype":"url"},"type":"statement","id":"Q800490$A3FB3CD7-660F-4114-A725-AA7BD1485004","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3761160ce99022a196e773d5a575afb6a92471b8","datavalue":{"value":"Initiated largely by L. N. Shevrin, the study of the subsemigroup lattices of semigroups has been extensive (see [\\textit{L. N. Shevrin} and \\textit{A. J. Ovsyannikov}, Semigroup Forum 27, 1-154 (1983; Zbl 0523.20037)]). Among the first results was a description of those semigroups S whose subsemigroup lattices L(S) are distributive. Subsequently, descriptions of those semigroups S for which L(S) satisfies various other lattice-theoretic properties have been given. In this paper the author describes those semigroups S for which L(S) has the property in the title, that is, satisfying the implication \\((SD_{\\wedge})\\) introduced by J\u00f3nsson in the study of free lattices: \\(a\\wedge b=a\\wedge c\\Rightarrow a\\wedge (b\\vee c)=a\\wedge b.\\) As for distributivity, the description, though complete, is too complicated to be reproduced here. The author's other main result is that the subgroup lattice of a group is \\(\\wedge\\)-semidistributive if and only if it is distributive.","type":"string"},"datatype":"string"},"type":"statement","id":"Q800490$61B4E4C6-00A8-4821-9246-420F7CE7E41B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$C41AC3B0-28C4-4007-88E1-D52D917CBB09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800490$B62D6111-6EFE-425A-817C-F6FCE89A55E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee39ae7906ca77d9c8db2bbe3d8ccbedff971d12","datavalue":{"value":"20E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800490$CC0AA106-EE27-406B-8F3B-F863C4819111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800490$A8B9690D-72DB-453E-9034-CF2E522394E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800490$A1F81B46-B668-4B99-BEF0-088091DA40F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f1999028ca969231cf7a16ae25db977a51c83b4","datavalue":{"value":"3875545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800490$AAE68657-018C-440A-9648-F82C0B2AAD2D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a8cb1b55d2f7959de837b39e76f5779fc7fea20","datavalue":{"value":"subsemigroup lattices of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q800490$D7F3F3AA-0541-4765-83A8-7CD306614F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f5dcefc4386aafb796f14f7f255e09233d14e66","datavalue":{"value":"subgroup lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q800490$A423EEFD-5DAD-4F9B-8072-7BA6C101023E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3497640e77a8618452f274bcf43a9fb7f9384bc3","datavalue":{"value":"\\(\\wedge\\)- semidistributive","type":"string"},"datatype":"string"},"type":"statement","id":"Q800490$02BA9C3E-2827-4409-813C-92E01DBAAF8E","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":"Q800490$D9F5A217-9D34-4667-9BFA-39545B74EC88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"da65bb4035948d8dba2798998b9b25f940f47d80","datavalue":{"value":{"entity-type":"item","numeric-id":1216473,"id":"Q1216473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$CC2324C5-0CAF-42B3-84EA-032E9E9D577B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$8662068D-F4AE-4FD9-8DF3-D7B60F46A036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b5e14f30c5f4e145a4af138c31c3fc63ab2985","datavalue":{"value":{"entity-type":"item","numeric-id":768818,"id":"Q768818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$758917E1-2A73-49F2-A5EB-438114D65595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494f73dca7b7dfddd57fb09d49202585a7d596d9","datavalue":{"value":{"entity-type":"item","numeric-id":5719412,"id":"Q5719412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$E40D8CA8-72A4-4880-8112-52D32B7BB0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70989a77fd4e012fe57cb0c1107247ead28435f1","datavalue":{"value":{"entity-type":"item","numeric-id":5721234,"id":"Q5721234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$85D002FC-84E1-43BE-9F8D-304359A673A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9ad1ca0c030444e5bd3d91e22695ff17d7ccef1","datavalue":{"value":{"entity-type":"item","numeric-id":3898534,"id":"Q3898534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$762FEB2C-AFE9-4E8B-A924-FACC4AB530BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c41d8b4a14f503ae9026b3294c1af8cc6400b7c7","datavalue":{"value":{"entity-type":"item","numeric-id":4186391,"id":"Q4186391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$B0FFD4DA-EAC8-46F8-B727-6A5321F57991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4db8a41538dba960401fdf02d06df32f70d479","datavalue":{"value":{"entity-type":"item","numeric-id":2395775,"id":"Q2395775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$A92E864C-8A43-4259-993C-1385AC7D96AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0b7931af4cccb735a5667112c95b878aa4df90","datavalue":{"value":{"entity-type":"item","numeric-id":2539229,"id":"Q2539229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$158D895E-CF07-49C0-8153-38EFADB6182A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b3f3415afc11246ee46098b385d55d03d2de36","datavalue":{"value":{"entity-type":"item","numeric-id":5331550,"id":"Q5331550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$CA811F1F-0D4C-4A68-B801-D1C5CF43D96E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3178c3d40d66f56d2d200dcb9a13a12b2140b77b","datavalue":{"value":{"entity-type":"item","numeric-id":4148155,"id":"Q4148155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$C9619C7B-0CB1-4616-B474-9628A740FD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ce765934176cd278e00005af255fc8715fd8691","datavalue":{"value":{"entity-type":"item","numeric-id":584531,"id":"Q584531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$4B4E66FD-0FEC-4651-9796-23AD66391C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fd84e12d36d7b79e989ca28f3733190a485eda9","datavalue":{"value":{"entity-type":"item","numeric-id":5526136,"id":"Q5526136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800490$D9D8A774-BBA7-4830-AE2F-F21FEFBF2473","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62595813dccb49224e68ff355502955760ddcc31","datavalue":{"value":{"entity-type":"item","numeric-id":3705622,"id":"Q3705622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2d73db240953a125a5a5a813c8e7aa337c477a0","datavalue":{"value":{"amount":"+0.8817099928855896","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":"Q800490$E92D19AA-7B25-4A8E-A194-90A312E27C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48e6c55c34793b94912c9410fca19ec6f8fefa8","datavalue":{"value":{"entity-type":"item","numeric-id":3737474,"id":"Q3737474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f01d89182c88c6dc5fe239029c7e9cab0511a090","datavalue":{"value":{"amount":"+0.8052619099617004","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":"Q800490$724749C7-E234-4891-84CB-5C4439DDAAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5919c0e5031c06a2e050b311a6edfe4628c22d81","datavalue":{"value":{"entity-type":"item","numeric-id":3820815,"id":"Q3820815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"096d8609610f60efc12739507800c2ce1a42f05c","datavalue":{"value":{"amount":"+0.803600013256073","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":"Q800490$EF9B7B2B-99CB-48F5-A467-3EB6620ADE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9c759c9d95f86c26f0560624e1e96b4579f8f6","datavalue":{"value":{"entity-type":"item","numeric-id":5719412,"id":"Q5719412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac7589729f3ebdc40828d2c30016ec4dc6a6035","datavalue":{"value":{"amount":"+0.7945566177368164","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":"Q800490$998D3554-04E1-4D54-82BF-23FDE6D11FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fb8cecef2a1af99e84ecab3ef23a90ef8abd7b","datavalue":{"value":{"entity-type":"item","numeric-id":2748390,"id":"Q2748390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e51642fc603982f55286612f835fa77ff4ed83","datavalue":{"value":{"amount":"+0.7877224087715149","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":"Q800490$3209311D-51EA-4F20-B4C0-2C3C211A43BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semigroups with \\(\\wedge\\)-semidistributive subsemigroup lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semigroups_with_%5C(%5Cwedge%5C)-semidistributive_subsemigroup_lattices"}}}}}