{"entities":{"Q1895585":{"pageid":1906327,"ns":120,"title":"Item:Q1895585","lastrevid":73718301,"modified":"2026-04-14T17:01:39Z","type":"item","id":"Q1895585","labels":{"en":{"language":"en","value":"Type 2 subdirectly irreducible algebras in finitely decidable varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 783889"}},"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":"Q1895585$D620D240-CA42-4F54-AF07-6950E8C83B7E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c7a1a76cc54ca9f1bdf2cf94c12dbcb4d3702202","datavalue":{"value":{"text":"Type 2 subdirectly irreducible algebras in finitely decidable varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1895585$53853F62-FF0B-4323-9BC4-1960173D04B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"611517c02d093983b59fd82c73778809c24ed347","datavalue":{"value":"0831.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895585$73F70515-1511-482B-9BA8-482856320BFC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1d33efb56c286c7b23fd78205e9447a8609ee9e","datavalue":{"value":{"entity-type":"item","numeric-id":389164,"id":"Q389164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895585$2192FDBE-2B88-4F15-A8E3-638735BACE42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1895585$B6033339-7A34-44F7-9869-3CB99635C8AD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5eaeb2c9097fea69c487fbd2ea3e5d8c5e6a6b7a","datavalue":{"value":{"time":"+1996-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1895585$3A12C72B-D266-4971-A90F-328DB9FAF7CD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8d4346c94579d75d76df53aec4ba96f6a21e704f","datavalue":{"value":"A class of algebras is said to be finitely decidable iff its first-order theory is recursive. It is known that if \\(V\\) is a congruence modular finitely decidable variety and \\(A \\in V\\) is a finite subdirectly irreducible algebra with a type-2 monolith \\(\\mu\\), then (1) the solvable radical \\(\\nu\\) of \\(A\\) is the centralizer of \\(\\mu\\), (2) \\(\\nu\\) is abelian (i.e. every solvable congruence of \\(A\\) is abelian), (3) the interval sublattice \\(\\text{I} [\\nu, 1_A] \\subseteq \\text{Con }A\\) is linear, and \\(\\text{typ} \\{\\nu, a_A\\} \\subseteq \\{3\\}\\). The author shows that (1)--(3) hold without the assumption that \\(V\\) is congruence modular.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895585$C8E4A701-7FC6-40BD-9BC9-AE1F9D8BA548","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"690760a4cb6e319c27372c2630bc454a6ff79be7","datavalue":{"value":"08B26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895585$50189971-5107-47BD-8D4D-8D90A4885629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895585$75C962F7-6A71-48F5-8883-89D184AA4004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895585$1FCD3244-0FF0-4CF4-9407-F889A142959A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895585$F49F87EB-D036-4CAC-854A-DC036C8B5050","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dd2216962df94a074e6f9baa5cb4cf8f5db087d","datavalue":{"value":"783889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895585$C31563A5-A909-4C9C-BF72-BD55470A9196","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca03d12523e198f1e8e8738d302fd17724ff329f","datavalue":{"value":"finitely decidable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895585$898D29F6-4D81-4279-BD22-BE18402599FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e475e9029ab9828e91fa48be7e3e3d6eb96f6791","datavalue":{"value":"subdirectly irreducible algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895585$5214F75C-7F32-4F4C-A88B-E2AFDBC4CCDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f6c1894ed15a20023d604c7d6527457e4811722","datavalue":{"value":"type-2 monolith","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895585$3D356AF2-6B18-4CFC-B90F-C635867E021F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98a42ed3ac8ae9256772f0ef161a905c94055c2d","datavalue":{"value":"solvable radical","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895585$6DFCCA66-D07B-4ED0-87C4-E5A3659AC0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1be66187bc29cc92aaad8f36421296667637ed","datavalue":{"value":"centralizer","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895585$0A45CA4E-7DD2-4587-A5A0-FB0B396655B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4678f34b92b7b3af465a9db279d3168bd542b825","datavalue":{"value":"abelian","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895585$D8202F0B-1DEE-4DD4-A569-146B5F43CBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cc1fd0dfcbfc6c763d651932591cbc123bd5b2c","datavalue":{"value":"interval sublattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1895585$7FF71DCD-AC7B-4909-B1BD-918B0CE0B187","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":"Q1895585$295FFBD2-5BB3-4CE8-8A62-455E97043727","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01321c90b2bd9fdf33460e9d9d488a155bc2c4c6","datavalue":{"value":"https://doi.org/10.1006/jabr.1995.1152","type":"string"},"datatype":"url"},"type":"statement","id":"Q1895585$C383D6F5-418E-4FFA-8DD2-BEDA78F3EB78","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47c07e91da2b8b2d6d014de6700463e084aabbc3","datavalue":{"value":"W2052237214","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895585$4EA3FFD4-3306-4412-9885-9324B270301C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a36f5d15a4de7d29615334054affd78656c0db8","datavalue":{"value":"10.1006/JABR.1995.1152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1895585$4D1C9A2F-D491-4457-A637-BB5DC3C3D416","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92c2a09f941865f4bc36bc243c8e38939e666263","datavalue":{"value":{"entity-type":"item","numeric-id":2773238,"id":"Q2773238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2198e4ec9b30c856ca2f63b113adfa3fd99a7a41","datavalue":{"value":{"amount":"+0.8576501607894897","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":"Q1895585$79B1D414-ED9F-478C-BF45-2B9DC4ED3779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f69a74a49d8707ca1d0794ba2f81b8030d869f3","datavalue":{"value":{"entity-type":"item","numeric-id":3142089,"id":"Q3142089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"337e2ba42b085da8a307fe6a1450b60c48374c23","datavalue":{"value":{"amount":"+0.8570692539215088","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":"Q1895585$462F58DE-EAC9-4810-9B23-4A47D945D730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc8cede415be6a92cc1d795bbe1ff2101ee88c2f","datavalue":{"value":{"entity-type":"item","numeric-id":1272241,"id":"Q1272241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03128e9390993628ab4a868842b2057f10ce8df0","datavalue":{"value":{"amount":"+0.8212801218032837","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":"Q1895585$9C62153B-2715-4440-829C-0491CFB64365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"759250bbb537da0e563b49d4bb54482bdb71123f","datavalue":{"value":{"entity-type":"item","numeric-id":3127568,"id":"Q3127568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50045deec6af239cf4d5eb2a296c918191dac291","datavalue":{"value":{"amount":"+0.809277355670929","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":"Q1895585$840D4181-76F2-45F1-8083-D7E75548B1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5238c2c69600639a620eca9084efa59b16eb096","datavalue":{"value":{"entity-type":"item","numeric-id":1124621,"id":"Q1124621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e95d18c6dd5b6c766ffc04add79565a262e145f3","datavalue":{"value":{"amount":"+0.8049395680427551","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":"Q1895585$CEDF4A22-046D-4EA7-88C7-10774FCBE7FF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type 2 subdirectly irreducible algebras in finitely decidable varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Type_2_subdirectly_irreducible_algebras_in_finitely_decidable_varieties"}}}}}