{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T15:15:33Z","timestamp":1770909333100,"version":"3.50.1"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"7","license":[{"start":{"date-parts":[[2024,9,24]],"date-time":"2024-09-24T00:00:00Z","timestamp":1727136000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,9,24]],"date-time":"2024-09-24T00:00:00Z","timestamp":1727136000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UIDB\/00144\/2020"],"award-info":[{"award-number":["UIDB\/00144\/2020"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["UIDP\/00144\/2020"],"award-info":[{"award-number":["UIDP\/00144\/2020"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001824","name":"Grantov\u00e1 Agentura Cesk\u00e9 Republiky","doi-asserted-by":"publisher","award":["19-12790\u00a0S"],"award-info":[{"award-number":["19-12790\u00a0S"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Results Math"],"published-print":{"date-parts":[[2024,11]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We extend the theory of profinite algebras, as it is used in the algebraic theory of regular languages, to the more general setting of Stone topological algebras with the ultimate goal of going beyond classes of regular languages. We introduce Stone pseudovarieties, that is, classes of Stone topological algebras of a fixed topological signature that are closed under taking Stone quotients, closed subalgebras and finite direct products. Looking at the dual Stone spaces of Boolean algebras of subsets of a given topological algebra, we find a simple characterization of when the dual space admits a natural structure of topological algebra; the characterization is given in terms of how the Boolean algebra behaves under the inverses of the operation evaluation mappings of each arity. This provides an alternative, which is presented in the form of an equivalence of categories, to the duality theory of M. Gehrke. As an application, a Stone quotient of a Stone topological algebra that is residually in a given Stone pseudovariety is shown to be also residually in it, thereby extending the corresponding result of M. Gehrke for the Stone pseudovariety of all finite algebras over discrete signatures, which was recently extended to topological signatures jointly by the authors and H. Goulet-Ouellet. The residual closure of a Stone pseudovariety is thus a Stone pseudovariety, and these are precisely the Stone analogues of varieties. A Birkhoff type theorem for Stone varieties is also established and it is shown how Reiterman\u2019s theorem can be derived from it.<\/jats:p>","DOI":"10.1007\/s00025-024-02275-4","type":"journal-article","created":{"date-parts":[[2024,9,24]],"date-time":"2024-09-24T08:02:08Z","timestamp":1727164928000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Stone Pseudovarieties"],"prefix":"10.1007","volume":"79","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3829-2382","authenticated-orcid":false,"given":"Jorge","family":"Almeida","sequence":"first","affiliation":[]},{"given":"Ond\u0159ej","family":"Kl\u00edma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,9,24]]},"reference":[{"key":"2275_CR1","doi-asserted-by":"crossref","unstructured":"Almeida, J.: Finite semigroups and universal algebra, World Scientific, Singapore, (1994), English translation","DOI":"10.1142\/9789812831644"},{"key":"2275_CR2","doi-asserted-by":"crossref","unstructured":"Almeida, J.: Profinite semigroups and applications. In: Kudryavtsev, V.\u00a0B., Rosenberg, I.\u00a0G. (eds.) Structural theory of automata, semigroups and universal algebra, pp.\u00a01\u201345. New York, Springer (2005)","DOI":"10.1007\/1-4020-3817-8_1"},{"key":"2275_CR3","doi-asserted-by":"crossref","unstructured":"Almeida, J., Kl\u00edma, O., Goulet-Ouellet, H.: What makes a Stone topological algebra profinite. Algebra Universalis 84, 6 (2023)","DOI":"10.1007\/s00012-023-00804-w"},{"key":"2275_CR4","unstructured":"Banaschewski, B.: On profinite universal algebras. Gen. Topol. Relat. mod. Anal. Algebra III, Proc. 3rd Prague Topol. Symp. 1971 (Praha), Academia Publishing House of the Czechoslovak Academy of Sciences, 1972, pp.\u00a051\u201362 (English)"},{"key":"2275_CR5","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"G Birkhoff","year":"1935","unstructured":"Birkhoff, G.: On the structure of abstract algebras. Proc. Cambridge Phil. Soc. 31, 433\u2013454 (1935)","journal-title":"Proc. Cambridge Phil. Soc."},{"key":"2275_CR6","doi-asserted-by":"crossref","unstructured":"Boja\u0144czyk, M.: Algebra for trees. Handbook of automata theory. Vol. I. Theoretical foundations, pp.\u00a0801\u2013838 EMS Press, Berlin, (2021)","DOI":"10.4171\/automata-1\/22"},{"key":"2275_CR7","doi-asserted-by":"crossref","unstructured":"Burris, S., Sankappanavar, H.\u00a0P.: A course in universal algebra. Grad. Texts in Math., no.\u00a078, Springer, Berlin, (1981)","DOI":"10.1007\/978-1-4613-8130-3"},{"issue":"2","key":"2275_CR8","first-page":"357","volume":"42","author":"RZ Buzyakova","year":"2001","unstructured":"Buzyakova, R.Z.: On clopen sets in Cartesian products. Comment. Math. Univ. Carolin. 42(2), 357\u2013362 (2001)","journal-title":"Comment. Math. Univ. Carolin."},{"key":"2275_CR9","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s00012-004-1917-6","volume":"52","author":"D Clark","year":"2004","unstructured":"Clark, D., Davey, B.A., Freese, R.S., Jackson, M.: Standard topological algebras: syntactic and principal congruences and profiniteness. Algebra Universalis 52, 343\u2013376 (2004)","journal-title":"Algebra Universalis"},{"key":"2275_CR10","volume-title":"Automata, languages and machines","author":"S Eilenberg","year":"1976","unstructured":"Eilenberg, S.: Automata, languages and machines, vol. B. Academic Press, New York (1976)"},{"key":"2275_CR11","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1016\/0001-8708(76)90029-3","volume":"19","author":"S Eilenberg","year":"1976","unstructured":"Eilenberg, S., Sch\u00fctzenberger, M.P.: On pseudovarieties. Adv. Math. 19, 413\u2013418 (1976)","journal-title":"Adv. Math."},{"key":"2275_CR12","unstructured":"Engelking, R.: General topology. Sigma Series in Pure Mathematics, no.\u00a06, Heldermann Verlag Berlin, (1989), Revised and completed edition"},{"key":"2275_CR13","unstructured":"Freyd, P.: Abelian categories., Repr. Theory Appl. Categ. 2003 (2003)"},{"key":"2275_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-59126-6_1","volume-title":"Tree languages, Handbook of formal languages","author":"F G\u00e9cseg","year":"1997","unstructured":"G\u00e9cseg, F., Steinby, M.: Tree languages, Handbook of formal languages, vol. 3, pp. 1\u201368. Springer, Berlin (1997)"},{"issue":"7","key":"2275_CR15","doi-asserted-by":"publisher","first-page":"2711","DOI":"10.1016\/j.jpaa.2015.12.007","volume":"220","author":"M Gehrke","year":"2016","unstructured":"Gehrke, M.: Stone duality, topological algebra, and recognition. J. Pure Appl. Algebra 220(7), 2711\u20132747 (2016)","journal-title":"J. Pure Appl. Algebra"},{"key":"2275_CR16","doi-asserted-by":"crossref","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.E.: Duality and equational theory of regular languages, ICALP,: Part II, Lect. Notes in Comput. Sci., no. 5126. Springer Verlag 2008, 246\u2013257 (2008)","DOI":"10.1007\/978-3-540-70583-3_21"},{"key":"2275_CR17","doi-asserted-by":"crossref","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.E.: A topological approach to recognition. ICALP Part II, Lect. Notes Comput. Sci., no. 6199. Springer Verlag 2010, 151\u2013162 (2010)","DOI":"10.1007\/978-3-642-14162-1_13"},{"issue":"2","key":"2275_CR18","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/3090064.3090068","volume":"4","author":"M Gehrke","year":"2017","unstructured":"Gehrke, M., Krebs, A.: Stone duality for languages and complexity. ACM SIGLOG News 4(2), 29\u201353 (2017)","journal-title":"ACM SIGLOG News"},{"key":"2275_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-0018-1","volume-title":"Lattice theory: foundation","author":"G Gr\u00e4tzer","year":"2011","unstructured":"Gr\u00e4tzer, G.: Lattice theory: foundation. Birkh\u00e4user\/Springer Basel AG, Basel (2011)"},{"key":"2275_CR20","unstructured":"Hindman, N., Strauss, D.: Algebra in the Stone-\u010cech compactification. De Gruyter Textbook, Walter de Gruyter & Co., Berlin, Theory and applications, Second revised and extended edition, (2012)"},{"key":"2275_CR21","doi-asserted-by":"publisher","first-page":"95","DOI":"10.7146\/math.scand.a-10627","volume":"9","author":"B J\u00f3nsson","year":"1961","unstructured":"J\u00f3nsson, B., Tarski, A.: On two properties of free algebras. Math. Scand. 9, 95\u2013101 (1961)","journal-title":"Math. Scand."},{"key":"2275_CR22","unstructured":"Koppelberg, S.: Handbook of Boolean algebras. In: Monk, J. D., Bonnet, R. (eds.) Vol. 1, North-Holland Publishing Co., Amsterdam (1989)"},{"key":"2275_CR23","unstructured":"MacLane, S.: Categories for the working mathematician. 2nd ed., Grad. Texts in Math., no.\u00a05, Springer-Verlag, New York, (1998)"},{"key":"2275_CR24","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1090\/S0002-9939-1957-0087032-5","volume":"8","author":"K Numakura","year":"1957","unstructured":"Numakura, K.: Theorems on compact totally disconnetced semigroups and lattices. Proc. Amer. Math. Soc. 8, 623\u2013626 (1957)","journal-title":"Proc. Amer. Math. Soc."},{"key":"2275_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02483902","volume":"14","author":"J Reiterman","year":"1982","unstructured":"Reiterman, J.: The Birkhoff theorem for finite algebras. Algebra Universalis 14, 1\u201310 (1982)","journal-title":"Algebra Universalis"},{"key":"2275_CR26","doi-asserted-by":"crossref","unstructured":"Rhodes, J., Steinberg, B.: The $$q$$-theory of finite semigroups. Springer Monographs in Mathematics, Springer, (2009)","DOI":"10.1007\/b104443"},{"key":"2275_CR27","doi-asserted-by":"publisher","first-page":"661","DOI":"10.1016\/j.aim.2016.10.001","volume":"305","author":"FM Schneider","year":"2017","unstructured":"Schneider, F.M., Zumbr\u00e4gel, J.: Profinite algebras and affine boundedness. Adv. Math. 305, 661\u2013681 (2017)","journal-title":"Adv. Math."},{"key":"2275_CR28","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1142\/S0218196702000912","volume":"12","author":"P Weil","year":"2002","unstructured":"Weil, P.: Profinite methods in semigroup theory. Int. J. Algebra Comput. 12, 137\u2013178 (2002)","journal-title":"Int. J. Algebra Comput."}],"container-title":["Results in Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00025-024-02275-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00025-024-02275-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00025-024-02275-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T08:32:32Z","timestamp":1730190752000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00025-024-02275-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,24]]},"references-count":28,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2024,11]]}},"alternative-id":["2275"],"URL":"https:\/\/doi.org\/10.1007\/s00025-024-02275-4","relation":{},"ISSN":["1422-6383","1420-9012"],"issn-type":[{"value":"1422-6383","type":"print"},{"value":"1420-9012","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,9,24]]},"assertion":[{"value":"17 May 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 August 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"24 September 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"252"}}