{"entities":{"Q1180705":{"pageid":1191454,"ns":120,"title":"Item:Q1180705","lastrevid":66777765,"modified":"2026-04-12T12:47:28Z","type":"item","id":"Q1180705","labels":{"en":{"language":"en","value":"Congruence extension, Hamiltonian and Abelian properties in locally finite varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 26457"}},"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":"Q1180705$70F247F4-23F7-4DC3-BACB-62F17CD5EC50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"48c6036834ece1feaa39cc780cb3e5c85020ba63","datavalue":{"value":{"text":"Congruence extension, Hamiltonian and Abelian properties in locally finite varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1180705$C601FACC-0A7B-4DEF-8FF6-A484D0E0E369","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba251eafe04f297d4bb45c0b06b6e05fdb9a3496","datavalue":{"value":"0747.08009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180705$0FE44021-1B36-4FD5-A82B-D9F7145D3975","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddbeb3f633df3eda41bfb6228d438f0a7f7507b9","datavalue":{"value":"10.1007/BF01195865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180705$59AB4EC7-76D5-408D-A840-6A2A0E6872EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20017067c31a46e9902d76352f9cf4b16770f2b3","datavalue":{"value":{"entity-type":"item","numeric-id":185681,"id":"Q185681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180705$B8FD12A5-0ED9-4CCC-885F-297759150F3E","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":"Q1180705$769984D9-AF01-41B0-B1BD-661FA3CF9320","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1180705$B76064CF-1890-4230-8A82-76EAA99807BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bd16c61302c2bb71b22a701a87613ee32414f7f5","datavalue":{"value":"An algebra \\(A\\) is said to have the congruence extension property (CEP) if every congruence on every subalgebra of \\(A\\) is obtained by a restriction of some congruence on \\(A\\). A variety of algebras is said to possess the CEP if each algebra in the variety has this property. An algebra \\(A\\) is said to be Hamiltonian if every subuniverse of \\(A\\) is an equivalence class of some congruence on \\(A\\). Hamiltonian varieties are those in which every algebra is Hamiltonian. An algebra \\(A\\) is called Abelian if the diagonal of \\(A\\times A\\) is a congruence class. It is known that Hamiltonian varieties are Abelian and have the CEP. The author proves that every locally finite and locally solvable variety with the CEP is Hamiltonian. In a variety with the CEP every locally solvable congruence of a locally finite algebra is central.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180705$E9859636-FAC2-4144-9534-EF80A4370CCA","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c4beddb8c3a397ec1a32cde4ab4efaf5dd75967","datavalue":{"value":{"entity-type":"item","numeric-id":175797,"id":"Q175797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180705$7C2F984A-A498-42C1-98DB-31E8FEC400B9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180705$42DC6BA7-B9C7-4351-983C-A38754D0B0CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"942b520bb802226bb1ca01b378d50a8f78e6dec4","datavalue":{"value":"26457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180705$C9CE83B1-2860-4990-A861-293C5705D162","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0047358160b24dc80274ba04e0ea4fb5149336","datavalue":{"value":"locally finite varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180705$BA32C52B-AB05-472B-82BD-412E522115F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6eaa256d6c4b83ac11e45d0bfeb5a974c646a1d","datavalue":{"value":"Abelian varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180705$655CAF32-B29B-4582-B055-619673E1EE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d989aa75aafb518b9cfecd32103702ca8d0ac848","datavalue":{"value":"congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180705$ABE1F562-BCD7-47E2-9CFA-A6604CB1AC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60c5ecc68a9e742fb1af28a3b9015030d490f3f0","datavalue":{"value":"Hamiltonian varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180705$4E5EA31A-93AF-4024-BA5B-2FE7DBC959BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55d6ee0f7b0dbc854afa72f678cd2e2eafba20de","datavalue":{"value":"locally solvable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1180705$12858FCE-5004-43C6-8ABB-B2562AB70FD0","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":"Q1180705$22DC299E-775E-4A08-9215-C4D28A4E88B5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"055dc96c5f2340b037928e23c4e0af87917f56fd","datavalue":{"value":{"entity-type":"item","numeric-id":1121301,"id":"Q1121301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180705$54B4D306-1CB6-401B-95C3-EA3F0A614611","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":"Q1180705$9B6CB593-912E-4EEA-BB9A-723258409B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f42bd75c91cb8b419d87de67bfac150966b1c64","datavalue":{"value":{"entity-type":"item","numeric-id":3822211,"id":"Q3822211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180705$7C777416-F231-4CBF-935D-E6DC470EAA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77a2c0468f3af86bda75674c58639bb4b833fcd","datavalue":{"value":{"entity-type":"item","numeric-id":3708851,"id":"Q3708851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180705$E9CD8EBD-FC1A-410E-9714-E8BE21727D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769ad508a512336eace37d6cb9f91f7ab270e4e7","datavalue":{"value":{"entity-type":"item","numeric-id":4771004,"id":"Q4771004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180705$6E7B3ABA-5761-49D5-B878-F78D91A8B0FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba48ab6a04860038e4b62e61a1a969fbeb213b5","datavalue":{"value":{"entity-type":"item","numeric-id":1108301,"id":"Q1108301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180705$A48B7FA9-E369-43A8-BF91-14DBE8662BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8763706e0759f051e09e5f8872eb1597f1638ce0","datavalue":{"value":{"entity-type":"item","numeric-id":4207948,"id":"Q4207948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1180705$DE653656-5788-4E49-8F34-9D093420AC61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb897fadf6b6029fbb35db556a2dd50249637eb2","datavalue":{"value":"https://doi.org/10.1007/bf01195865","type":"string"},"datatype":"url"},"type":"statement","id":"Q1180705$8EC0208D-9230-4A1C-9DC0-FC489DE19871","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04013ca7a9a0f4304fec94bcb43cb6400e12a30e","datavalue":{"value":"W1997851531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1180705$2DB05BCC-2B9B-4E85-BD13-5DB9F3C017A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5e19aab327a9048c266a4298b6d1a109376b252","datavalue":{"value":{"entity-type":"item","numeric-id":1802146,"id":"Q1802146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdb44ac6337b900dcbd7245cc586c28d083f2073","datavalue":{"value":{"amount":"+0.8676495552062988","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":"Q1180705$EFB52233-64E1-4DF0-9B76-B3B8D3FC35D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5a7bbf266243b94e68753c84ae1771d425c8d7b","datavalue":{"value":{"entity-type":"item","numeric-id":1121301,"id":"Q1121301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a692351bda19ec6a3abbce9d2a67c3a71ed0ff","datavalue":{"value":{"amount":"+0.8418132662773132","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":"Q1180705$E0B2396E-D8CB-44A7-8AF5-7C1BACE64359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bd06dc975ef5e6caee2441b7e1f7991548297be","datavalue":{"value":{"entity-type":"item","numeric-id":4034363,"id":"Q4034363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ff849c009e1035ff39fd593d458f694f7df4bf1","datavalue":{"value":{"amount":"+0.828402578830719","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":"Q1180705$E0BAAF06-50C5-40E5-BC1E-30C6CF6C4777","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence extension, Hamiltonian and Abelian properties in locally finite varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_extension,_Hamiltonian_and_Abelian_properties_in_locally_finite_varieties"}}}}}