{"entities":{"Q6934082":{"pageid":21108052,"ns":120,"title":"Item:Q6934082","lastrevid":75840694,"modified":"2026-04-21T05:40:43Z","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"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Epimorphisms between finitely generated algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Epimorphisms_between_finitely_generated_algebras"}}}}}