{"entities":{"Q6934082":{"pageid":21108052,"ns":120,"title":"Item:Q6934082","lastrevid":84115130,"modified":"2026-05-10T10:50:08Z","type":"item","id":"Q6934082","labels":{"en":{"language":"en","value":"Epimorphisms between finitely generated algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8089379"}},"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":"Q6934082$3AEB9465-4392-40A9-B5F6-C6590FDEA17F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fedab0df3fe28829acc6c73307b4b01deb55c886","datavalue":{"value":{"text":"Epimorphisms between finitely generated algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6934082$47EC318F-A871-4447-84D3-A00055A80B47","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8631fd1cdb86ff2de291d380b56f10f698457b0e","datavalue":{"value":"10.1016/J.INDAG.2025.04.006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934082$C7E5B28C-A78C-4542-AD96-3A41E7F95A3C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38ef4e5a766a42da9f2899e3a7d1afd2e1bb8b74","datavalue":{"value":{"entity-type":"item","numeric-id":2084958,"id":"Q2084958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$F13B9DBC-9886-4C95-B902-E1269EAF4711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8db0df440c7c70e47311a81df9794741e28735bf","datavalue":{"value":{"entity-type":"item","numeric-id":6523028,"id":"Q6523028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$41221255-B39B-4348-8059-E2B21F59D2A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"85df26c66de56d0d6dddc989cdbbfc63a8da6f68","datavalue":{"value":{"entity-type":"item","numeric-id":324256,"id":"Q324256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$FD007E83-E9C9-41ED-B3B2-CC2ED2968153","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$C87CAF3C-85CE-4405-9CB1-DCF8229DF51C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50e7e1513349015c9ad9d54964e1d81738fe0b09","datavalue":{"value":{"time":"+2025-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6934082$F0B0ECD7-CCB6-4461-866D-DD31A3171703","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3e8be04de471dd3512bce03b0087fb241d171340","datavalue":{"value":"A quasivariety has the \\textit{weak ES property} when the epimorphisms between its finitely generated members are surjective. This paper gives a characterization of quasivarieties with the weak ES property, providing a method for detecting failures of this property in quasivarieties with a near unanimity term and in congruence permutable varieties.\\N\\NThe main results of the paper are Theorem 3.5, Theorem 4.3, Theorem 5.3 and Theorem 6.1, which go as follows in order:\\N\\NTheorem 1. A quasivariety \\textsf{K} has the weak ES property iff for every finitely generated \\(\\boldsymbol{B}\\in\\mathsf{K}\\) and \\(\\boldsymbol{A}\\leq \\boldsymbol{B}\\) that is full in \\textsf{K} one of the following conditions holds:\\N\\N\\begin{itemize}\\N\\item[1.] There are two distinct \\(\\theta,\\phi\\in\\mathsf{Con}_{\\mathsf{K}}\\left(\\boldsymbol{B}\\right)\\) such that \\(\\theta\\upharpoonright_{\\boldsymbol{A}}=\\phi\\upharpoonright_{\\boldsymbol{A}}\\);\\N\\N\\item[2.] There are two disrinct embeddings \\(g,h:\\boldsymbol{B}\\rightarrow\\boldsymbol{C}\\) with \\(\\boldsymbol{C}\\in\\mathsf{K}_{\\mathrm{RSI}}\\) such that \\(g\\upharpoonright_{\\boldsymbol{A}}=h\\upharpoonright_{\\boldsymbol{A}}\\).\\N\\end{itemize}\\NMoreover, if condition 1 holds, we may assume that \\(\\theta=\\mathrm{id}_{\\boldsymbol{B}}\\).\\N\\NTheorem 2. Let \\textsf{K} be a quasivariety with a near unanimity term of arity \\(n\\). Then \\textsf{K} has the weak ES property iff every finitely generated subdirect product \\(\\boldsymbol{A}\\leq\\boldsymbol{A}_{1}\\times\\cdots \\times\\boldsymbol{A}_{n-1}\\) with \\(\\mathsf{K}_{\\mathrm{RFSI}}\\) lacks subalgebras that are fully epic in \\textsf{K}.\\N\\NTheorem 3. Let \\textsf{K} be a congruence permutable variety. Then \\textsf{K} has the weak ES property iff the finitely generated members of \\(\\mathsf{K}_{\\mathrm{FSI}}\\) lacks subalgebras that are fully epic in \\textsf{K}.\\N\\NTheorem 4. Let \\textsf{K} be a congruence distributive quasivariety for which \\(\\mathsf{K}_{\\mathrm{RFSI}}\\) is closed under nontrivial subalgebras. If \\textsf{K} has the weak ES property, then \\(\\mathbb{V}\\left(\\mathsf{K}\\right)\\) is arithmetical.\\N\\NTheorem 4.3 and Theorem 5.3 strengthen similar observations on the surjectivity of all \\textsf{K}-epimorphisms [\\textit{M. Campercholi}, J. Symb. Log. 83, No. 1, 40--54 (2018; Zbl 1428.18002), Theorem 6.4 and Theorem 6.8] so that the named authors can dispense with the theory of definability [\\textit{M. Campercholi} and \\textit{D. Vaggione}, Algebra Univers. 76, No. 1, 71--98 (2016; Zbl 1402.03040)], sheaf representations [\\textit{H. Gramaglia} and \\textit{D. Vaggione}, Stud. Log. 56, No. 1--2, 111--131 (1996; Zbl 0854.08006); \\textit{P. H. Krauss} and \\textit{D. M. Clark}, Global subdirect products. Providence, RI: American Mathematical Society (AMS) (1979; Zbl 0421.08001)] and the infinitary Baker-Pixley Theorem [\\textit{D. J. Vaggione}, Algebra Univers. 79, No. 3, Paper No. 67, 14 p. (2018; Zbl 1472.08004)], which played a major role therein.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934082$A601D28D-026A-4EA6-922B-ADB47F0DE38F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"50a4d88aaef452ee91d36bc895e7495d5ed6f713","datavalue":{"value":{"entity-type":"item","numeric-id":195143,"id":"Q195143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$4AF07806-0836-4076-851C-486CE3A0ED37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e04eab59f74e9570ed57de19d86300ca286a53ef","datavalue":{"value":"18A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934082$20C5391B-1895-4C75-965D-7F91920425FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62929a1ab545296d1d0cbe990ce797ce3a62dbe3","datavalue":{"value":"8089379","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6934082$20FCC5DB-227E-44D6-ACAE-1C089124EF70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a910149871f3c669ba63de75e11267f739d1ad0a","datavalue":{"value":"epimorphism surjectivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934082$E6E835BE-BE96-4E6C-87D1-DB48E9F003C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26b43d879f6ad89d85edb85af43e0f14cd501c1f","datavalue":{"value":"quasivariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934082$12E26A31-6F9E-4353-90F9-5F7C55F2874F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934082$D23BC0B8-A2C8-42C7-A965-A523671C9793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80e57fe1bb601363ee4e036a128ab5d5b7928fdf","datavalue":{"value":"near unanimity term","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934082$E5D79F55-A343-4DF4-9382-E0533C12F6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f67f87509f05dc005d93da5d6acf04d12e3a499","datavalue":{"value":"congruence distributive","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934082$2B6EC1DF-0C01-4AB1-A1CC-AF2C52611696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9488d36e325750b7bdea13fdc4f5cde260cdbe35","datavalue":{"value":"congruence permutable","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934082$C96E5DBA-5538-4DD3-8167-528D96B6E544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d895fc45161c5227f04ca1ca123ac23010f6bdf","datavalue":{"value":"filtral variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934082$CD51B781-F2CF-4993-9F0A-666D20036437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q6934082$8B8D3977-C3D6-46FF-9AE3-2D1491DDB247","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":"Q6934082$055E3573-BFB8-4B6A-A28F-5E4C8F86678D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"460ade5e92963966f63f664914f7c3e0486ae141","datavalue":{"value":{"entity-type":"item","numeric-id":5556401,"id":"Q5556401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$F7CD5539-A5CC-45B4-BB2A-B39323D4CF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e3d0ae4a699d328147de1f4b3f4fbdc6fea3d5","datavalue":{"value":{"entity-type":"item","numeric-id":4071741,"id":"Q4071741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$A52BDC64-69A2-404A-9B11-3CE5E345F2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00597f1037a916fe90bbb9f8b2789c58e5a7ff45","datavalue":{"value":{"entity-type":"item","numeric-id":2411405,"id":"Q2411405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$DB05A8DE-0D38-4FE8-BF2F-8A30C481E915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283258d8f6a50611821873bfd86a3de7be3d7b97","datavalue":{"value":{"entity-type":"item","numeric-id":2433094,"id":"Q2433094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$0A5A7636-10F6-4FB7-80F6-45F83C5D5B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0c4babbc44de71274f0ee7b587bc3d6c54bcb0","datavalue":{"value":{"entity-type":"item","numeric-id":762523,"id":"Q762523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$D48BE93E-5321-4663-9052-144D93E42553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b67f76767a034390a46d08c3681d19ce22b732f","datavalue":{"value":{"entity-type":"item","numeric-id":4638973,"id":"Q4638973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$CA6B11E7-C6ED-4C3E-A080-FB20DB8888A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"083200f23daf40dbe1275c04de765515437ca2f8","datavalue":{"value":{"entity-type":"item","numeric-id":1686333,"id":"Q1686333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$CD86B8BB-E719-41A5-B441-CF0A231D338C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66982ac6eabc50e47f049f534315825b6ede3e78","datavalue":{"value":{"entity-type":"item","numeric-id":1762478,"id":"Q1762478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$82A57BC2-57FD-4BC5-A6E2-EB9523F2DA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28abaf829c87fd52bf9010f9c2aea2e0675f166","datavalue":{"value":{"entity-type":"item","numeric-id":6826322,"id":"Q6826322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$5F16990E-1703-4289-9E7E-C6A3FDEAFFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"740ad3ed5181f83981f89d855a2f1985a05daa0c","datavalue":{"value":{"entity-type":"item","numeric-id":6142831,"id":"Q6142831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$09D8FE2B-E92D-49DD-85C4-1C103E1B292B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9610b44df1969f52ae2fd295997bea86f1f6ce30","datavalue":{"value":{"entity-type":"item","numeric-id":3735758,"id":"Q3735758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$17DDA573-CA4F-4CA8-88D1-354BF1375470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262b9dfa91a30a6817318129c46296a317d3b16d","datavalue":{"value":{"entity-type":"item","numeric-id":790138,"id":"Q790138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$8882B8A4-5E0C-4F21-BCB6-3F6612F8253D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d27d01d7cb0516f5e99b64250b93c13344394d37","datavalue":{"value":{"entity-type":"item","numeric-id":4220413,"id":"Q4220413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$06A2AF9D-C63F-483A-835D-DA24E8E7A6A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"451cbc735ab3f0d556c973ec9c9fe21d6b3ef72b","datavalue":{"value":{"entity-type":"item","numeric-id":1914062,"id":"Q1914062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$64197971-C5C8-4F84-9AFE-56086AC230E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$0A2A5EE2-805E-40E5-8517-880F0E435844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe4687bac901137544dfae8471abec12e38ca96","datavalue":{"value":{"entity-type":"item","numeric-id":5727654,"id":"Q5727654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$A4D5C0D5-88A6-4213-B071-700C98369D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3612920f6097732f659a0d4449ab29742a1d00f9","datavalue":{"value":{"entity-type":"item","numeric-id":5589329,"id":"Q5589329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$0E072AFF-A4BD-4C14-A81B-15C9D4F023F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c5b2614e112448ba5efd623bcaf2f69f2afa68a","datavalue":{"value":{"entity-type":"item","numeric-id":4527760,"id":"Q4527760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$68839CC0-9233-45C2-960B-DF6BD5538AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3221cfecf27431bfd177fbf7a60f6a4c84e579c","datavalue":{"value":{"entity-type":"item","numeric-id":3342632,"id":"Q3342632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$CC36EF10-171C-4486-8230-07A32F18014F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad3f1b29389888b3e0d1967fc3db0582fc8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3927295,"id":"Q3927295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$8D479DCA-4F5A-431A-B9F2-13AC23E830D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddebecba5228c2c587db848afd240d4e169403bf","datavalue":{"value":{"entity-type":"item","numeric-id":3853700,"id":"Q3853700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$37E6DE77-2699-4F7E-930E-0CFE93997B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d540df9fed4994788a35df9dd613cc25df8c7a58","datavalue":{"value":{"entity-type":"item","numeric-id":5659618,"id":"Q5659618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$0E90C442-B4FE-468C-866A-6EA58EEEF1E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee7f6ddba573192d1e4b4f89897e32b3ba52c70","datavalue":{"value":{"entity-type":"item","numeric-id":1242933,"id":"Q1242933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$7CAEFD7B-D3B8-43B2-8C00-232D82D331A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39dc764f22ab5d834c0754c2faa319e9b89c27a8","datavalue":{"value":{"entity-type":"item","numeric-id":2307302,"id":"Q2307302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$C6E1FEA0-9FD9-4E3A-820A-381422B240B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a658205e083eec48e234d217c2ce719cd154e09f","datavalue":{"value":{"entity-type":"item","numeric-id":2195632,"id":"Q2195632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$EDBF973C-D018-457D-A24E-62D9838B4B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8e58024f989cacbadfffbd61e14112da4ba085","datavalue":{"value":{"entity-type":"item","numeric-id":1991599,"id":"Q1991599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$5305AA68-C897-4AF0-9EBA-A8C7D6795C38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da04a32e468ce4867ec594afa1765b999c151299","datavalue":{"value":{"entity-type":"item","numeric-id":4152589,"id":"Q4152589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6934082$88244E5B-4243-4D3A-B6E9-6078356C139A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Epimorphisms between finitely generated algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Epimorphisms_between_finitely_generated_algebras"}}}}}