{"entities":{"Q805644":{"pageid":807492,"ns":120,"title":"Item:Q805644","lastrevid":64473909,"modified":"2026-04-11T20:07:07Z","type":"item","id":"Q805644","labels":{"en":{"language":"en","value":"A ``lattice theoretic'' proof of the independence of the automorphism group, the congruence lattice, and the subalgebra lattice of an infinitary algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4204415"}},"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":"Q805644$586F2631-FDE7-4AC2-A314-16F22452AD9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dfaaf7122225592a9b8020a1116b3ac034ceffa","datavalue":{"value":{"text":"A ``lattice theoretic'' proof of the independence of the automorphism group, the congruence lattice, and the subalgebra lattice of an infinitary algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q805644$7249EB6E-A62A-4017-8D36-CF8BCB37804E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e826330148fb347c8b5586f0107d35375bd49f51","datavalue":{"value":"0729.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805644$A12E3916-25C4-4076-A96B-758ECEC8166F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87d3d0d9b50bc4b765b4bbff09472709ebd41350","datavalue":{"value":"10.1007/BF01188992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805644$9D8299EC-FEEE-4C7D-9966-1B46E6AD177F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7527cefcc140a8cd03530225d272dfa946179304","datavalue":{"value":{"entity-type":"item","numeric-id":219052,"id":"Q219052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805644$2FB86EB8-6BF2-4758-B67F-DD0727A5E509","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805644$E61D8DE0-F0CC-43C3-8696-0CC2E69599A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q805644$ADE3EB4B-8BE2-4225-A66F-9F737513E9AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"284028c6f4146c5f054d6e02eee4fab3715b6f02","datavalue":{"value":"The paper gives a very simple proof of the following theorem: Let \\(L_ c\\) and \\(L_ s\\) be complete algebraic lattices with more than one element, and let G be a group. Then there exists an infinitary algebra A such that the congruence lattice of A is isomorphic to \\(L_ c\\), the subalgebra lattice of A is isomorphic to \\(L_ s\\), and the automorphism group of A is isomorphic to G.    The author constructs the algebra A starting from a complete lattice K which has the complete congruence relation lattice isomorphic to \\(L_ c\\); this is possible by a previous result of G. Gr\u00e4tzer and H. Lasker. The proof presented here is simpler than the previous one contained in Appendix 7 of the second edition of Gr\u00e4tzer's book: Universal algebra (1979; Zbl 0412.08001). However, the older proof concerns a more general case, in which \\(L_ c\\) and \\(L_ s\\) are \\({\\mathfrak m}\\)-complete algebraic lattices with \\({\\mathfrak m}\\) an infinite regular cardinal.","type":"string"},"datatype":"string"},"type":"statement","id":"Q805644$DFCC9936-2382-48CF-8334-95B73C41AF88","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b12e8f01f06133a9720445e365c6f83b034a7e4","datavalue":{"value":"08A65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805644$9ADE28A6-EC2A-44F2-B754-98E57F292A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805644$195FE7C7-B733-4732-B460-AB83E74DA29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8948c34e793e5195a8bf306d0e010b3472404866","datavalue":{"value":"08A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805644$C83BC15D-5442-44EF-8ECA-2A664210E5C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805644$3C9C0289-2FD3-49A8-9A69-C6CE775B112D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5f0e70cf7366bc80f8a9540dfe8a5cfcf588bbf9","datavalue":{"value":"4204415","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q805644$62881AF6-FEED-45C8-9FFD-FEB0F995D649","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe6af2c3a736c351ece6cd06624d7e84412e2ed0","datavalue":{"value":"algebraic lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q805644$1DD76730-58C0-4C3A-9A56-3E47B948249D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q805644$E0FBBBB2-C942-4D85-B285-4F3DE48FA155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c405fe3ed9b110ddfad9eef8f1d5b7f9b4f4e62","datavalue":{"value":"subalgebra lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q805644$2CBF55A1-B41E-4DAD-BF24-85FD81ECCB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7004ea3c45e788d894ca43ad9fb77d664ad32ef0","datavalue":{"value":"automorphism group","type":"string"},"datatype":"string"},"type":"statement","id":"Q805644$6C7EE784-A177-49E2-A6FB-067141B02C63","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"17bbdbf95c31d821baf8c3c834f2f465951d50b4","datavalue":{"value":{"entity-type":"item","numeric-id":587143,"id":"Q587143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805644$256E9E58-46C5-4063-AF55-5A2D162DC836","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":"Q805644$44404EFF-93CF-40C7-B237-D3ECE4B16B0F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"20655c1d1a0169627b889381fefdeb45bc959faa","datavalue":{"value":{"entity-type":"item","numeric-id":3820650,"id":"Q3820650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q805644$82200FCE-B6BB-48FB-906C-D4C895220311","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866cec088e47e4ac827c26b00ee91ec593e9f6e6","datavalue":{"value":{"entity-type":"item","numeric-id":4731227,"id":"Q4731227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2ff876f7c0739b69965a2c41e5cb52cec91bb76","datavalue":{"value":{"amount":"+0.8798158168792725","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":"Q805644$EDE0021C-9933-45BC-AC17-6A0F83981C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2049ad51bc38b44f7a6d4a8fad2090f5659817b1","datavalue":{"value":{"entity-type":"item","numeric-id":3722548,"id":"Q3722548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ba726b242874e423c0c9c52e6f6982d7160e3c6","datavalue":{"value":{"amount":"+0.8394762277603149","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":"Q805644$24FFE3D6-7348-4966-8EFC-6A4D8DFA64EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8ba3109dbb137ca9134ba45988fbd5289998a1","datavalue":{"value":{"entity-type":"item","numeric-id":4007649,"id":"Q4007649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb1317262a5cc6af4fb0ecac4339f0b1759118d1","datavalue":{"value":{"amount":"+0.8251819014549255","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":"Q805644$2DBC901C-BA50-4C88-89ED-A31D730E1E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a207e720157ad5c9b482b1399aea17d0c23d12","datavalue":{"value":{"entity-type":"item","numeric-id":1586920,"id":"Q1586920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"005876d21a8d01613f1163787aa585b071fe30e9","datavalue":{"value":{"amount":"+0.8194126486778259","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":"Q805644$2482EC57-391B-4C90-8E87-68C27B6FFAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8546d331020fd7112e13cebf570a1f7ef2bb3ad8","datavalue":{"value":{"entity-type":"item","numeric-id":3977247,"id":"Q3977247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53407805603de9f5dc6995b2d8cbd42aa6408c4d","datavalue":{"value":{"amount":"+0.8161657452583313","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":"Q805644$6C5AAF7A-0183-41F7-9D3C-7D0A224D2BF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A ``lattice theoretic'' proof of the independence of the automorphism group, the congruence lattice, and the subalgebra lattice of an infinitary algebra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_%60%60lattice_theoretic%27%27_proof_of_the_independence_of_the_automorphism_group,_the_congruence_lattice,_and_the_subalgebra_lattice_of_an_infinitary_algebra"}}}}}