{"entities":{"Q1337153":{"pageid":1347892,"ns":120,"title":"Item:Q1337153","lastrevid":67186554,"modified":"2026-04-12T15:54:57Z","type":"item","id":"Q1337153","labels":{"en":{"language":"en","value":"Congruence semimodular varieties. I: Locally finite varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 679604"}},"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":"Q1337153$53E566D2-42D3-4087-AC37-83933CCB8206","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53be3161df67ddb60a759bf3fe6e29389640b47a","datavalue":{"value":{"text":"Congruence semimodular varieties. I: Locally finite varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1337153$CD814989-E899-4A67-B854-3B3AC0EDBDE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e3525ebb27a8b548749594f82938241c09711ae","datavalue":{"value":"0815.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337153$76549D95-5BEC-4333-BEB4-B8EF83460CB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"196dbe929d0db4bfc651f9bb470b78dfa4d6cb6f","datavalue":{"value":"10.1007/BF01191540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337153$91862121-C69B-47A8-85E5-735BF04842D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84297c5215b806900e2c55a691083e6708c2b134","datavalue":{"value":{"entity-type":"item","numeric-id":755898,"id":"Q755898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$9B5F883B-FDA7-4B1F-BEBE-27A77D629911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e83edf687e87db231eb1aae462d2d9887611a063","datavalue":{"value":{"entity-type":"item","numeric-id":331016,"id":"Q331016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$9AE7CA94-8CF8-4B3B-92D4-C26662549FC3","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":"Q1337153$3D6EEAFA-5287-4609-88EA-C89B2FF52F07","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"89939404571a8a457f4efe42bf31156c65cd7105","datavalue":{"value":{"time":"+1995-07-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1337153$4D6F7843-451D-4003-9807-9A18144DF486","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a47dbd84c93708eb8d3cd92f5339715679de8992","datavalue":{"value":"[Part II is reviewed below.]   The authors try to answer the question: How much of the structure involved in congruence modular varieties exists for congruence semimodular (CSM) varieties? They examine locally finite CSM varieties. For any finite algebra \\(A\\) in a CSM variety, natural congruences \\(\\underset {T}\\sim\\) are defined which play a role similar to that played by the commutator for algebras in a congruence modular variety. It is shown that if \\(\\underset {T} \\sim\\) is a congruence on the finite algebras of some locally finite CSM variety \\(V\\), then \\(\\underset {T} \\sim\\) induces a congruence \\(\\underset {T}\\simeq\\) on the subvariety lattice \\(L_ V\\) of \\(V\\). Furthermore, the quotient lattice \\(L_ V/\\underset {T} \\simeq\\) is both algebraic and dually algebraic and the natural map of \\(L_ V\\) onto \\(L_ V/\\underset {T}\\simeq\\) is complete (Theorem 4.3). The existence of irredundant subdirect product decomposition in CSM varieties is investigated. Further, it is proved that if \\(V\\) is a variety with the Congruence Extension Property, then \\(V\\) is CSM iff the 5-generated free \\(V\\)-algebra is CSM (Theorem 7.3). Theorem 8.5 states that a locally finite variety \\(V\\) is geometric iff \\(V\\) is a varietal product of a strongly Abelian geometric variety and an affine variety whose corresponding ring is finite and semi-simple.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337153$A3597D4C-EE64-485C-8129-9336B8C7EA3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337153$E8B591CE-0A6C-403C-8C5F-B7F912CE03CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"299a43cbf03281a6a3a140b0738dbc4bfa51c408","datavalue":{"value":"679604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337153$A4609531-2AF8-46E4-A67A-E36B91520DA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f019dccd22b9fbac454ee815cb4c1adfae7bad2","datavalue":{"value":"congruence semimodular variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337153$2FC3B0C1-4B5B-4B64-90FA-F81D131A13B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2c913261cb8291b56ee6461aae9241f302c889","datavalue":{"value":"subvariety lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337153$65CD5CBB-3A7B-4B01-842F-DFD20F97EE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d989aa75aafb518b9cfecd32103702ca8d0ac848","datavalue":{"value":"congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337153$2298CA54-BE39-4CC8-B7FC-227523B1F653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84f2e8bac30bd02db6b7a5e73fd1795175896dd","datavalue":{"value":"quotient lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337153$219277D8-BE8A-4451-8F3A-E027502C5A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce056c1d9e4a1ac6cdb762f9c427fab207988a9a","datavalue":{"value":"subdirect product decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337153$9476395A-5AE9-4876-87CD-FCE52A7ED48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4872ca90e3cce02e4c73948f094653cd7ea34e3f","datavalue":{"value":"locally finite variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337153$BCC61B3B-1910-4431-A5B4-19169406BB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"341ab63aa1d4361a74fe3a7ef08788451d39c330","datavalue":{"value":"geometric variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337153$0DD9FEA2-AF49-40AA-80BF-A60DC6DDB571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34508777e2896c6f6734241aaf13ef4ece460e8c","datavalue":{"value":"affine variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1337153$9216E0F9-FF3D-4302-80AF-661AC4DC6A9A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8a4269540e775ce717310028f86928e9eeea39c7","datavalue":{"value":{"entity-type":"item","numeric-id":241780,"id":"Q241780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$578FF29C-F1FD-4DEE-9C8F-2AFB76F59CC0","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":"Q1337153$8170172B-2A23-4B93-AC81-B1C040B6E97F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"376445c3c236a98f2a6e62eae4c0483207e1c629","datavalue":{"value":{"entity-type":"item","numeric-id":1337154,"id":"Q1337154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$8E1710F9-92D8-4832-BE09-C83D59FA932A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf5d69aa52fcaae24bf9fa6f4126a518e85d688","datavalue":{"value":{"entity-type":"item","numeric-id":5570948,"id":"Q5570948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$8E58BFD8-137A-4DDC-90CF-4D01B2EFD8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78604c64a6262fb189ef9bfb93797605955f7cad","datavalue":{"value":{"entity-type":"item","numeric-id":5648394,"id":"Q5648394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$D47309FE-A375-4CDA-AE3B-60F8C5D8DB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6e67fcf6a8980c29e1d57e8424044d1e53bc5e5","datavalue":{"value":{"entity-type":"item","numeric-id":581435,"id":"Q581435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$AA65F187-07F4-4E9B-B86A-A7718E7264F4","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":"Q1337153$858C4EB4-6F6A-4557-921A-18F0D2C2E4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe976e8626dbcca942cdfb2391730374ab7f6623","datavalue":{"value":{"entity-type":"item","numeric-id":3197886,"id":"Q3197886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$05605D0D-59D7-4187-8867-E47F5601910E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403f73375c43c448b5904742ba8e914b79d2cb01","datavalue":{"value":{"entity-type":"item","numeric-id":2277501,"id":"Q2277501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$6666A8AB-A9D0-4A60-8197-8119D5140582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b5490a2f6ae1155076d737f446d0f5cf44d55b9","datavalue":{"value":{"entity-type":"item","numeric-id":4207950,"id":"Q4207950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$8E781F5C-3F3E-4425-ABEF-A9FD2A3C97E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0208637c1c40eaa0c98a6ff98508eee04e1223e","datavalue":{"value":{"entity-type":"item","numeric-id":4009519,"id":"Q4009519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$AF41DD84-A335-482D-9490-C43C3A0F0B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695f6e7f8e31f335c5fc99c4d22f359fe3c93a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4018448,"id":"Q4018448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$A8E31044-AAE6-4A7B-B2AB-CA4D8716A148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e39631dcc8f7789ffdd96f06a56ebfb90059618","datavalue":{"value":{"entity-type":"item","numeric-id":1193496,"id":"Q1193496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$E5C15AD2-7DEE-418B-A493-B67CA63F62BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d751f40bed85fe1bde692c3ad4715f116f4024d8","datavalue":{"value":{"entity-type":"item","numeric-id":1802146,"id":"Q1802146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$226B6EDB-5478-4827-B47B-D5D98242594C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d4dcdc5e577d78102e68fd50baccf0dfc71be9c","datavalue":{"value":{"entity-type":"item","numeric-id":2652478,"id":"Q2652478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$6159D007-3884-47FA-8A54-F8928AE50617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba722aca5aabd13c35d39802f9db37ea460b226","datavalue":{"value":{"entity-type":"item","numeric-id":1216327,"id":"Q1216327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$4B759E51-CF05-4D42-9B6D-4A9700B1825B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c7911d82a39f2e212d8fbba5b2a52fe9e04508","datavalue":{"value":{"entity-type":"item","numeric-id":1229740,"id":"Q1229740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1337153$A1595D3E-2BDE-42F2-ABA9-548EE74FD19F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9e02d765430a4b91f8e5c45ed13de17dce579177","datavalue":{"value":"https://doi.org/10.1007/bf01191540","type":"string"},"datatype":"url"},"type":"statement","id":"Q1337153$07F32CA6-6D37-4B41-AC02-CA6471EF65A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"706379508144c8d3b59930f546eac38f9f16cd3c","datavalue":{"value":"W2028587267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1337153$E1F98CC0-5066-4E91-81FB-CB41FFFFE3A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b236402c98229bcfa21c87d49175d2cc9b46d3b8","datavalue":{"value":{"entity-type":"item","numeric-id":3785045,"id":"Q3785045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24862ff4352522d79a161905b3a3c4bdac7a191","datavalue":{"value":{"amount":"+0.8532499670982361","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":"Q1337153$76C0F491-7B9E-4B0C-8DC6-5AD9995C2765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6520f95d5bd631528b6f74720eb6c99d93abd7d8","datavalue":{"value":{"entity-type":"item","numeric-id":2641326,"id":"Q2641326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bfcd42c0430f504bba89b91ae543ba130d5dc6f","datavalue":{"value":{"amount":"+0.8184203505516052","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":"Q1337153$63C63FC7-D108-4A5B-A782-1EF4C41F5333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36c6c595be77a7994ea61c80b7a578f3fe3eb4b1","datavalue":{"value":{"entity-type":"item","numeric-id":1317569,"id":"Q1317569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd8be33636079566b4d9130da1eb79d7eb62df6","datavalue":{"value":{"amount":"+0.802322268486023","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":"Q1337153$5C02BA69-8E8E-4125-901C-3E999623D182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67a8d97616e50e832ba83101c74c0f4fae7bcd00","datavalue":{"value":{"entity-type":"item","numeric-id":2277501,"id":"Q2277501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa696a861eb0b443cc99a26737f3de9d4ae3573c","datavalue":{"value":{"amount":"+0.7996946573257446","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":"Q1337153$967A0B34-11D2-4C23-9644-C61798EABDEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d449af0c3fd76f9a8a90b57e4bd28d8f58992b","datavalue":{"value":{"entity-type":"item","numeric-id":3487648,"id":"Q3487648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da7793137091a40aa910f14a29fcca3541ffc649","datavalue":{"value":{"amount":"+0.7989324927330017","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":"Q1337153$D1B03E46-52F3-4A25-A08F-DAAA112F67DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence semimodular varieties. I: Locally finite varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_semimodular_varieties._I:_Locally_finite_varieties"}}}}}