{"entities":{"Q364686":{"pageid":366453,"ns":120,"title":"Item:Q364686","lastrevid":61325418,"modified":"2026-04-10T22:37:56Z","type":"item","id":"Q364686","labels":{"en":{"language":"en","value":"Fully invariant and verbal congruence relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6206935"}},"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":"Q364686$50693FBC-010E-4CEF-AF35-0A163145A84D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f2bdc69aee06702ab9eed8b34b07fb490066954","datavalue":{"value":{"text":"Fully invariant and verbal congruence relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q364686$C58DCAA4-E458-475F-8892-B2036929D080","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73de267e270af3074b8b9c918c1746de41d79b6d","datavalue":{"value":"1280.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q364686$8F17C3CA-BD14-42D6-B7B9-8ED593A1B833","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81e71bd65fef6209c6692929ed69066d2270dbd3","datavalue":{"value":{"entity-type":"item","numeric-id":235682,"id":"Q235682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$B86F8920-9414-48C9-B3E3-500A514DF1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f102d6a7b9548f21d846b52398636e03987e09f6","datavalue":{"value":{"entity-type":"item","numeric-id":1210547,"id":"Q1210547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$17765499-35C7-452F-83AB-AFBF19620F6F","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":"Q364686$93D98241-C6E1-4C55-ACF1-F7530D88C60B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e8c017497806797f217f1d658e3d224a2498206","datavalue":{"value":{"time":"+2013-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q364686$DF0BF9A3-A4BF-4C9F-9583-9FBF899E5181","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"983c5631c01a1354692559ad3ff541a4cbf4521d","datavalue":{"value":"Let \\(A\\) be an algebra. A congruence \\(\\theta\\) is called verbal if there exists a variety \\(V\\) such that the factor algebra of \\(A\\) by \\(\\theta\\) is in \\(V\\). Every verbal congruence is fully invariant but not conversely. An algebra \\(A\\) is called verbose if every fully invariant congruence on \\(A\\) is verbal. A variety is verbose if each algebra in it has this property. The authors prove that for a finite SI-algebra generating congruence-modular (CM in brief) variety its monolith is verbal. Neither finiteness nor CM can be omitted. If \\(A\\) is a finite algebra in a CM variety and \\(\\operatorname{Con}A\\) is a chain, then \\(A\\) is verbose. If \\(V\\) is a locally finite CM minimal variety then \\(V\\) is verbose. The authors prove several results on verbose varieties which are abelian or semisismple and arithmetical. A number of nice examples is included.","type":"string"},"datatype":"string"},"type":"statement","id":"Q364686$73897849-0B4B-4331-BFB4-58BEB6751671","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$31C7EBD6-B963-4A94-A009-5C24E10FC513","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d252320bbd9c5b79987b5e303a464b290ac7497d","datavalue":{"value":"08B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q364686$DFCCE5AF-A920-4AFE-A4FF-B851F3B9910F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q364686$1801893F-251A-476D-85DB-1B5C2BF484C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6ed4cfe00f210dc871fb91b29e6fd6a47cb0363","datavalue":{"value":"6206935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q364686$7D416843-4017-4AC0-AF4B-14676F578AFB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72a12587d06a0ca07c858efa7be8b239ffc3ebac","datavalue":{"value":"fully invariant congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q364686$6B7C219A-2195-4466-A204-3FADAED51041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3783bab7eea4686b8f1d4d99c8b0568c3e3474b6","datavalue":{"value":"verbal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q364686$4A08B253-7D5E-4D59-B2D7-9982F43416D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9619d569744ee9715f93975209f63918e7b42ca","datavalue":{"value":"verbose algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q364686$1427F3DF-C2D4-414C-921E-1DE5FD4C37EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc15c3f9560c25ff752e3c889591371a8a865ceb","datavalue":{"value":"verbose variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q364686$3E6B83DE-C078-411B-B87A-FF4FA61D2B5D","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":"Q364686$162E3433-94C0-440F-B00F-665598F6073C","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"da963ae2b324ef775e2b5a51f483190ef1f88df8","datavalue":{"value":"Q60143368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q364686$3F443259-C35C-479C-937F-13BF942269E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a2080d7130e7d0d2ec0d220f4c38f43e23d64af4","datavalue":{"value":"https://doi.org/10.1007/s00012-013-0238-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q364686$55F6A4AC-24B4-4E63-88C3-83D93DC2F395","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"28ca6c2d71dda042343f486519ed96431cb075ab","datavalue":{"value":"W1995223482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q364686$25B3FF35-3709-43C4-9BEA-D27C86F53B37","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4741b2f30636e0396e206c7b5d3160257f05b6d6","datavalue":{"value":{"entity-type":"item","numeric-id":5519158,"id":"Q5519158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$F400240E-6C61-4341-ADDE-18E02243AA01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51448af2f47ac095677f0fe67860908b299aa84","datavalue":{"value":{"entity-type":"item","numeric-id":3033815,"id":"Q3033815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$8A21F1F1-9ED9-4E02-897F-4C4E095E8D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f5dff157e218ccd040ac4c1f0881fc275c72856","datavalue":{"value":{"entity-type":"item","numeric-id":1156157,"id":"Q1156157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$A54C95BF-C416-4828-A07C-DB445748DCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9a6ade8d1f39de0017bbf6e2c37ec0f518a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$02531CDA-085A-439E-B394-DC3325632FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d61265e59eaf23a0dc70fbfa4e426889960350c","datavalue":{"value":{"entity-type":"item","numeric-id":3313919,"id":"Q3313919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$C58CB6F7-F3AA-4281-B649-BC12F31313A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"274f446738a89a0eefc2c3d8124106cc3eb08a31","datavalue":{"value":{"entity-type":"item","numeric-id":4834373,"id":"Q4834373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$55ECECF3-F7A9-461B-AF7E-5CDE766C97E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f0e5ef95212d287b49c1d50cd19ca098e20e70","datavalue":{"value":{"entity-type":"item","numeric-id":3775604,"id":"Q3775604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$86B64240-8D5A-4C80-8B95-1E98553241A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c317ec537569c77edd78ff4dccd6550e1d5abf9d","datavalue":{"value":{"entity-type":"item","numeric-id":5577116,"id":"Q5577116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$22E52EA6-0683-4CAE-8FBC-559881A232FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80e522df820066658120fbf86c1f8a95fe6adde2","datavalue":{"value":{"entity-type":"item","numeric-id":4336538,"id":"Q4336538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$1AE6E15B-5CF3-42A0-9481-5BDC09D9391C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bb5b39a798d01e36e7eabc9197a327ad0a8de3b","datavalue":{"value":{"entity-type":"item","numeric-id":4769085,"id":"Q4769085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$1BA604D6-8CFD-43F3-AE4B-5EAFC41745C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af8a725a697fe06fa0d0892f6e7fe3e31a259265","datavalue":{"value":{"entity-type":"item","numeric-id":1205172,"id":"Q1205172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$E8FD66C3-CBFA-4209-93C3-6A6E97F2A823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92baf8552e3d22accdfe7910f74fbf32a209c723","datavalue":{"value":{"entity-type":"item","numeric-id":5518441,"id":"Q5518441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$2F1022C4-15A5-43FD-85D8-2A77C2920CB5","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":"Q364686$92499D0B-4512-4655-9855-F4CEEA38F881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$CBD44806-D8D0-42DA-AC47-DF8F3B508BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c32baf505a10a29313a3ff453bfd5161daaf1b4","datavalue":{"value":{"entity-type":"item","numeric-id":3291562,"id":"Q3291562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$D3559393-EBA4-4538-AF95-7089BD3B9A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q364686$69B05546-5389-4E89-9FB4-948098192AF4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16e9cff206458ab0ecac855e75bd0c09da1fd581","datavalue":{"value":"10.1007/S00012-013-0238-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q364686$C3F28F00-065F-4F28-9CA5-B8B6E3C068AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"625bf431a51b56d4923ee9b374994b7ebedf9ed9","datavalue":{"value":{"entity-type":"item","numeric-id":494624,"id":"Q494624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"574afd54e6f0dc89aac105e882f0b7cf9c32bd91","datavalue":{"value":{"amount":"+0.7730823159217834","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":"Q364686$1A1A4848-7BF4-4C79-BC3A-D62512113E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a3050b64f0b939f0bf4c2e3c794237f649db69","datavalue":{"value":{"entity-type":"item","numeric-id":3150862,"id":"Q3150862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6291516e5aa944fec1f7de206b2872b6268debf2","datavalue":{"value":{"amount":"+0.7646334767341614","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":"Q364686$4DA87197-8CBE-4607-BB08-1FCF0572CCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"311444c39e2fbed9678effd4bdbdbf243980b75e","datavalue":{"value":{"entity-type":"item","numeric-id":3774067,"id":"Q3774067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48aed521377ba6ba3389ab83766ec993988f53c","datavalue":{"value":{"amount":"+0.7553775310516357","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":"Q364686$5FF340BA-98E2-4A3F-8295-E322EF8F836B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32358a3a572189dac315c50f16d8221d7d6ada5","datavalue":{"value":{"entity-type":"item","numeric-id":3344147,"id":"Q3344147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47d9393662c83b2c88cbbf8bc15069bab0061cc","datavalue":{"value":{"amount":"+0.7433404326438904","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":"Q364686$363C9BEB-6940-4198-AD33-81F952A22550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9341e64423b3d0337f39a94c9f177de450f38d","datavalue":{"value":{"entity-type":"item","numeric-id":4726309,"id":"Q4726309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcdbe080f3becb810df0b6bf6630e9787347041c","datavalue":{"value":{"amount":"+0.7186052203178406","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":"Q364686$98DB5820-90B6-4475-9457-9F030B237A9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fully invariant and verbal congruence relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fully_invariant_and_verbal_congruence_relations"}}}}}