{"entities":{"Q797617":{"pageid":799465,"ns":120,"title":"Item:Q797617","lastrevid":64539927,"modified":"2026-04-11T20:34:30Z","type":"item","id":"Q797617","labels":{"en":{"language":"en","value":"On J\u00f3nsson's theorem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3867409"}},"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":"Q797617$64EA8E02-0E2E-4522-87B3-0C7E5E8AA15B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e594addac2c1e95ec38fa203669bc40fa1efb29","datavalue":{"value":{"text":"On J\u00f3nsson's theorem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q797617$1D0ED9D2-780D-4846-9979-24171853E49B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec3efc25383038f882f7dd72fb38cdcb025675c3","datavalue":{"value":"0545.08012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797617$F20292F3-670F-42B6-9E2F-33370A3FF720","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e18c098bdf678c70b278ed8254bc4778014e1b4","datavalue":{"value":"10.1007/BF01182248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797617$E3D897C9-BD7D-4D45-94DE-8BAA38E805AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"156053345438b67d13e36c962297ad522b12dc04","datavalue":{"value":{"entity-type":"item","numeric-id":219075,"id":"Q219075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$A917323C-7134-4C5F-9B1A-946344D0373B","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":"Q797617$A95D5262-64A1-43A3-8E6A-C570307B2A12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q797617$134D90EA-0F3D-48AA-ADE7-39CA96B41C3A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5cc759fe187d8a8bd168c21d5d5dfbfe6edb92de","datavalue":{"value":"This paper discusses applications and generalizations of J\u00f3nsson's famous theorem, stating that in a congruence distributive variety V(K), generated by a class K, the subdirectly irreducible members remain in \\(HSP_ U(K)\\), where \\(P_ U(K)\\) denotes the class of ultraproducts of members of K. With the discovery of a commutator operation in congruence modular varieties several generalizations to such varieties were developed by several authors, best collected in Hrushovskij's theorem: Let S be subdirectly irreducible in V(K) with monolith (smallest nontrivial congruence) \\(\\mu\\). Let \\(\\alpha\\) be maximal with \\([\\alpha,\\mu]=0\\). Then \\(S/\\alpha \\in HSP_ U(K).\\)    Freese and McKenzie have in particular studied the case when V(K) is locally finite, obtaining that \\(S/\\alpha \\in SP_ UHS(K)\\). Moreover, if A is a finite algebra and \\(B\\in V(K)\\) is simple, then \\(| B| \\leq | A|\\). They also give conditions when two algebras A and B, generating the same variety, have to be isomorphic. The paper discusses those results and includes a proof of Hrushovskij's theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q797617$8021C581-BCF0-4838-B791-79848A31E11B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797617$4445255C-1B92-4BB3-854C-6FF95ACEBF45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797617$1F29B29D-9110-4E83-81ED-A49CCE203D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa4446080f6ef2ae4d17a75a38b31128fb212f09","datavalue":{"value":"06C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797617$A849EB13-F223-4173-A9A4-ACEEC7F83964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a6b8910b2f61f84f7da81eca252714eacb86688","datavalue":{"value":"08A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797617$836D8BBE-60B6-49F9-94BF-B32A70C8C5C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"147ffb65cce9510ac2b36f80c5e9fa9f054cac40","datavalue":{"value":"3867409","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797617$DF193ADF-95FD-439B-8D6B-BD1FD8BADF7B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b37964b9a73315f8ca83f7e711a8c9bdef892a06","datavalue":{"value":"congruence distributive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q797617$6A626380-3CE8-435B-A02C-73E6DDB166C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11fc673a957aa975637538413d2dc66c7b704df7","datavalue":{"value":"subdirectly irreducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q797617$F5EEBEE3-0D45-41F8-BCAD-DD98FAD24DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q797617$06982750-258E-4BCA-8C66-C1BFE719275F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"524b83579c40a94e2b229635fd081b50d10399f9","datavalue":{"value":"commutator","type":"string"},"datatype":"string"},"type":"statement","id":"Q797617$F35E864F-DE3E-42AB-A81B-3622D1509417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb29468ff33ab9f7f86f0f692f8f82873700f4ae","datavalue":{"value":"congruence modular varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q797617$DF2E5C89-7838-4CFE-904E-A8CB481F07F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a688c369468f577af7c7d403e8a5e55d9b715d1d","datavalue":{"value":"finite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q797617$B057A8CB-1C10-4146-8109-27FE34DCD86E","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":"Q797617$C21149C8-9ADB-4CE9-8686-4AEDE92FD8ED","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6549bce11883e783f0fb536b18e9585b448489e5","datavalue":{"value":{"entity-type":"item","numeric-id":1237798,"id":"Q1237798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$3DECE289-61AE-490B-BED8-4678F9DAD451","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":"Q797617$F6F4FE77-C4CC-4FF0-8D59-2B36A72DCE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50db3b19da4b9eebf264cd5af09cac783fd40399","datavalue":{"value":{"entity-type":"item","numeric-id":2646957,"id":"Q2646957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$66B7ED3B-5CFA-49B3-950B-BB282FF52587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a732638bc56b732db0b6d7535c02d2b58d60a944","datavalue":{"value":{"entity-type":"item","numeric-id":3853690,"id":"Q3853690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$0200F8C9-8629-4A86-A5B8-5C63F8B13034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aaa2d3f71f75b72a3881f4e451ef3167b2f912e","datavalue":{"value":{"entity-type":"item","numeric-id":1155075,"id":"Q1155075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$2A01A8B8-40AB-436B-AF5D-68A20E7FACC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f679751a1d0406f1c31c52067517172a0f2970fa","datavalue":{"value":{"entity-type":"item","numeric-id":1236560,"id":"Q1236560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$CC9CA20D-AB86-460E-AB1F-107A793DF710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32e9023d3c4e1a31d8ac9e5506f8e69240336cf2","datavalue":{"value":{"entity-type":"item","numeric-id":3926656,"id":"Q3926656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$EABEAA9C-BE38-4B34-AE96-F053F9728664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60859ad318c51831cade05c42028b782d3226a84","datavalue":{"value":{"entity-type":"item","numeric-id":1141677,"id":"Q1141677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$1FB34CF8-A1CA-4390-AD86-72CB92F86FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55dc4a933fa95240f25ef06d4f62b33b8ea207d7","datavalue":{"value":{"entity-type":"item","numeric-id":3907624,"id":"Q3907624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$73D61704-DA82-41F0-BE84-ABCB1A8B82F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c46f0fdeec96d9b421790074aa1782cc227e33","datavalue":{"value":{"entity-type":"item","numeric-id":1132121,"id":"Q1132121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$5A01224D-B794-40D0-8450-74220CA50268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a901c31ff126c6581a30486cb483cc03656fd5ba","datavalue":{"value":{"entity-type":"item","numeric-id":2652476,"id":"Q2652476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$63613264-E7B7-4794-BBC7-9FCE59ECD3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"711ee48d312444bdb273ad41327ffd14c7d158d0","datavalue":{"value":{"entity-type":"item","numeric-id":4071780,"id":"Q4071780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$0D7BD371-C653-4153-8ABF-5BD979E56A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06d4c08980e9d6fc57402194ce0cd0990f8f323","datavalue":{"value":{"entity-type":"item","numeric-id":3282968,"id":"Q3282968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$3CD1003F-4C98-4A6E-9F9F-A9286096D132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$15E55666-ADD5-44DD-937D-BF0AEEA9D49D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e59d3bffebe161410308c3371350b75e1f26d279","datavalue":{"value":{"entity-type":"item","numeric-id":4175722,"id":"Q4175722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$66BF080D-97A5-42A0-A532-78511E6BA7D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aca700bd28fd036c1956bf4ff184b0a0e2f33bc","datavalue":{"value":{"entity-type":"item","numeric-id":5682373,"id":"Q5682373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$1F07F587-81F9-46E4-AB89-81B0FA61F0D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20f1fe91abc91b2d9ebbff4fd5445b943f49c2e2","datavalue":{"value":{"entity-type":"item","numeric-id":1232428,"id":"Q1232428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q797617$DB0CAE79-75EB-4D64-AF47-D93357F23B67","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e916fb71b548a2bcd388201797824ca3319e8de","datavalue":{"value":"https://doi.org/10.1007/bf01182248","type":"string"},"datatype":"url"},"type":"statement","id":"Q797617$3BF43B52-7828-4ED5-9456-1B9B548367DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32cea75319c778fd9edca7db37ce19a197a19374","datavalue":{"value":"W2913186074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q797617$EBE30C84-36D4-400E-AF05-1A5884073F86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60dc034f4a6de2c86148a494ad208168da9d0433","datavalue":{"value":{"entity-type":"item","numeric-id":1771886,"id":"Q1771886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e63fb5092f5a69c40a1d209189c555e8186387fe","datavalue":{"value":{"amount":"+0.8714408278465271","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":"Q797617$7CE321BC-3586-45B4-9527-4564C6D9EA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117c3dc4d7155452610c1c6ad1ae5df1de6694cc","datavalue":{"value":{"entity-type":"item","numeric-id":1109763,"id":"Q1109763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85763b4f9da55bb74a80023a511e128ad5dd2224","datavalue":{"value":{"amount":"+0.8504434823989868","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":"Q797617$6DE50930-F7BE-4D4E-8B8E-B53A9B29615D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f413ee3811fb14aa0c5859f84731572ab8bff4e4","datavalue":{"value":{"entity-type":"item","numeric-id":3128557,"id":"Q3128557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"348260055ae1dda676ba897dd44e994058a453c9","datavalue":{"value":{"amount":"+0.8372042775154114","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":"Q797617$0BBB2BCC-111E-4824-8CA6-7EAC67E081E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c650cc411a9b022553cd4f60bcdf559f9cbb2d8","datavalue":{"value":{"entity-type":"item","numeric-id":4715131,"id":"Q4715131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"853faf1b1f54e16b7a48deee129b8bfbcd92486a","datavalue":{"value":{"amount":"+0.7751078605651855","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":"Q797617$3D784356-8896-4408-A3A4-A7C2A1A0AE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d3b4f66ce4d400d20ec81da6aa83f48c49a175","datavalue":{"value":{"entity-type":"item","numeric-id":1080449,"id":"Q1080449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bea66c1fcbd869e39c08700c3488d99321d4a79","datavalue":{"value":{"amount":"+0.7744025588035583","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":"Q797617$443E1666-9BA2-4CD2-8B40-1D739EF1B174","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On J\u00f3nsson's theorem","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_J%C3%B3nsson%27s_theorem"}}}}}