{"entities":{"Q1207710":{"pageid":1218459,"ns":120,"title":"Item:Q1207710","lastrevid":66481797,"modified":"2026-04-12T10:22:17Z","type":"item","id":"Q1207710","labels":{"en":{"language":"en","value":"On finite lattices which are embeddable in subsemigroup lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 164976"}},"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":"Q1207710$F07AE6F5-F626-4A3B-A0EE-0A58A8573DBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b5655748786cf6580297925e531b64ca10563310","datavalue":{"value":{"text":"On finite lattices which are embeddable in subsemigroup lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1207710$49E67DE3-82FB-4C43-BA0E-13CD44DD8A0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"62daabe0e32b18f2fd9989b0c3194b9130cdfe5d","datavalue":{"value":"0797.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207710$35A952A9-31EB-4C1A-8B0C-DC5176E4D01D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5c7b25124e39e608307c8d03b25e9f3a843fb434","datavalue":{"value":"10.1007/BF02573581","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207710$D72ED691-DD55-4620-8EEF-C3BEF927225D","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":"Q1207710$FD06C02C-8B2A-4645-AE36-87BFA731CB81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1207710$B56EC382-7ED6-4D00-B702-7D0124B3802D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8cf26d8c8e9f8ac15491e53594d928da0215949d","datavalue":{"value":"https://eudml.org/doc/135245","type":"string"},"datatype":"url"},"type":"statement","id":"Q1207710$7E1C48FF-0CF3-4687-9300-C22A00967ADE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"956154431c7e6c5979f898a21bea19f6edefb289","datavalue":{"value":"A lattice \\(L\\) is called lower bounded, if there exists a homomorphism \\(f\\) of a free lattice onto \\(L\\) such that for each \\(a \\in L\\) the set \\(f^{- 1}(a)\\) has a least element. The free commutative nilsemigroup of index two of finite rank \\(n\\) is denoted by \\(T_ n\\) and the free semilattice of finite rank \\(n\\) is denoted by \\(E_ n\\), their subsemigroup lattices are denoted by \\(\\text{Sub }T_ n\\) and \\(\\text{Sub }E_ n\\).   The main theorem is the following: For a finite lattice \\(L\\) the following conditions are equivalent: (1) \\(L\\) is embeddable in the subsemigroup lattice of a free semigroup; (2) \\(L\\) is embeddable in the subsemigroup lattice of a free commutative semigroup; (3) \\(L\\) is embeddable in the subsemigroup lattice of the infinite cyclic semigroup; (4) \\(L\\) is embeddable in the subsemigroup lattice of a free commutative nilsemigroup of index two; (5) \\(L\\) is embeddable in \\(\\text{Sub }T_ n\\) for some positive integer \\(n\\); (6) \\(L\\) is embeddable in the subsemigroup lattices of a free semilattice; (7) \\(L\\) is embeddable in \\(\\text{Sub }E_ n\\) for some positive integer \\(n\\); (8) \\(L\\) is embeddable in the subsemigroup lattice of a finite semilattice; (9) \\(L\\) is embeddable in the subsemigroup lattice of a finite nilpotent semigroup; (10) \\(L\\) is lower bounded.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207710$7694BD36-FB24-4877-9678-944785208561","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d9b462d071c33d7d83486f9fef57845bb41d7acf","datavalue":{"value":{"entity-type":"item","numeric-id":190573,"id":"Q190573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207710$0B260464-6D91-4FCD-A6AE-C4C5115C5670","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207710$161E93A6-6B7C-497F-9809-FA88F57CAAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207710$722F957B-221C-44C0-97F2-4952DF052CCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207710$47CEBDCF-05AF-4D7A-B4AA-6C4A31B1FF3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207710$1473953F-C260-489D-B88B-9A72C6701D0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7c6571a052129d76a4783fef5356c908ec125b91","datavalue":{"value":"164976","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1207710$8DAFEDAB-C07C-4C42-B75E-C30131C6F95A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dc1bde8450b174073715c7030518fabc9f64a02","datavalue":{"value":"lower bounded lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207710$6C8E1B55-6F87-4F69-ADB9-3B536CD859B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"151e988763beb209510276781f52629608961781","datavalue":{"value":"free lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207710$9C45B907-BAF9-4744-A363-3D98E8040B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e8f7a04fb3416cb0da2680a2b11e66eddc7511e","datavalue":{"value":"subsemigroup lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207710$496C111F-62ED-419C-8B0A-4F90786578EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a23029265a3b7aef2605f2e8909487240495a4ec","datavalue":{"value":"finite lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207710$386AFBC7-E203-4F4E-BCAD-B0E23FEACACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74ac4816d2a3af29b6f47778d4c832ca2d8e639f","datavalue":{"value":"embeddable in the subsemigroup lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207710$A8189A83-C37C-4342-BDD7-25F9082667DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a07e358b2cc9f9322a8402475db6e4b1d7fbb624","datavalue":{"value":"free commutative nilsemigroup of index two","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207710$A4C0EDF3-279C-46DC-BEF3-1D97A585E586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a6658a3ba09c98b2c7984c729293a484e5980fe","datavalue":{"value":"free semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207710$10DA4966-FA76-43EA-AC8C-9E2ABA3A64BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"787bede6ebb4abc8531e9c8a7775dafe9b68dbcb","datavalue":{"value":"finite nilpotent semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1207710$47E1D743-C55E-4F24-97AE-87067213043C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf3472bd951578a35585afc4036e0eb857b3a4fe","datavalue":{"value":{"entity-type":"item","numeric-id":783291,"id":"Q783291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207710$16ED0DAE-BE77-4556-BAD9-3013A5280900","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":"Q1207710$AA6AC909-6BBF-4287-A6A0-600E6F93AD9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd3131096b2e3cba8c5628410f16a8323cdd684","datavalue":{"value":{"entity-type":"item","numeric-id":922575,"id":"Q922575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207710$CFF2A255-B08E-4565-8AAB-E4E013BFC383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207710$FF67031D-012C-4832-AB32-F3E8D4423AC1","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":"Q1207710$2511F0A7-7085-4816-AD49-EAEBC61BCB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d46a661e00605f1d10f624d8a9e7bd2ff025fa9","datavalue":{"value":{"entity-type":"item","numeric-id":3869398,"id":"Q3869398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207710$19E4CBD7-CAA6-4229-9D42-6EE9BB0650E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a035dd286fe0f59e53618fc850896f88937443f","datavalue":{"value":{"entity-type":"item","numeric-id":4713153,"id":"Q4713153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207710$B3F578BF-8B17-42F6-91BC-84E28D1B00A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207710$5E7C45BB-9D09-4487-82C3-280B7F531B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a971bdfdc8b039bf9b29d1bcc5c6d60a064bc24","datavalue":{"value":{"entity-type":"item","numeric-id":4734025,"id":"Q4734025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207710$EA017E9F-7E4A-466A-8889-5E6863CD41DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd0030090a9d559414bf11a1edae1b550e1ddab8","datavalue":{"value":{"entity-type":"item","numeric-id":1272088,"id":"Q1272088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207710$8FCC5697-3528-48FA-B300-0A128FF61EE6","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":"Q1207710$9BF117EC-DBF5-4229-91F1-B074D6079F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b06bf02ad5c3024826106c656ca62a9052ae2c","datavalue":{"value":{"entity-type":"item","numeric-id":4001717,"id":"Q4001717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207710$2D44570C-B91C-4C81-B5CE-AF35784721E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bc4af99383f23244afe54e9c88734d9d30d6b0c","datavalue":{"value":{"entity-type":"item","numeric-id":4177619,"id":"Q4177619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1207710$9DFD013D-EC4F-49AE-BFF8-5F3E722379D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb98a280c1f74079f69aa2d88cb9d0945451669e","datavalue":{"value":{"entity-type":"item","numeric-id":2373406,"id":"Q2373406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2adba76ab20218e89158cf52119c12767f19781","datavalue":{"value":{"amount":"+0.867959201335907","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":"Q1207710$54010515-D40E-4C47-A1C5-E43E508F8E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aff52ac3686faea78073dd760cc9e5be8d4b59c5","datavalue":{"value":{"entity-type":"item","numeric-id":1272234,"id":"Q1272234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdb7ae4ba5bdcf6db1b5d102afb6f4e9e88aaff","datavalue":{"value":{"amount":"+0.8675132393836975","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":"Q1207710$775FE2D9-784E-4227-AB64-F80611182F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"934960fb4162f24a2f4fc6a87309cb8dd90c4bab","datavalue":{"value":{"entity-type":"item","numeric-id":4714477,"id":"Q4714477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bdb7ae4ba5bdcf6db1b5d102afb6f4e9e88aaff","datavalue":{"value":{"amount":"+0.8675132393836975","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":"Q1207710$7C9D4997-0BF2-499E-86B2-000EB7BE3EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bee00203a98cc5d31e1df507fcf9239effc1ac03","datavalue":{"value":{"entity-type":"item","numeric-id":3446523,"id":"Q3446523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d796235ba6716c1d65798c7bab6bd25e85ba4a","datavalue":{"value":{"amount":"+0.851500928401947","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":"Q1207710$A317C1DD-47DA-45F1-802A-3EB374F00B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80286eb30ff13323ca6722422939c6c33e5083c3","datavalue":{"value":{"entity-type":"item","numeric-id":3544708,"id":"Q3544708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16ef0c1130672fa39e304045f967939590c8b50","datavalue":{"value":{"amount":"+0.8307420015335083","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":"Q1207710$AF3E1662-C0DD-4003-B4F9-9BBA317D68DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On finite lattices which are embeddable in subsemigroup lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_finite_lattices_which_are_embeddable_in_subsemigroup_lattices"}}}}}