{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T15:13:54Z","timestamp":1770909234812,"version":"3.50.1"},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2023,1,29]],"date-time":"2023-01-29T00:00:00Z","timestamp":1674950400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2023,1,29]],"date-time":"2023-01-29T00:00:00Z","timestamp":1674950400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100006752","name":"Universidade do Porto","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100006752","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Algebra Univers."],"published-print":{"date-parts":[[2023,2]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This paper is a contribution to understanding what properties should a topological algebra on a Stone space satisfy to be profinite. We reformulate and simplify proofs for some known properties using syntactic congruences. We also clarify the role of various alternative ways of describing syntactic congruences, namely by finite sets of terms and by compact sets of continuous self mappings of the algebra.<\/jats:p>","DOI":"10.1007\/s00012-023-00804-w","type":"journal-article","created":{"date-parts":[[2023,1,29]],"date-time":"2023-01-29T08:03:22Z","timestamp":1674979402000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["What makes a Stone topological algebra Profinite"],"prefix":"10.1007","volume":"84","author":[{"given":"Jorge","family":"Almeida","sequence":"first","affiliation":[]},{"given":"Herman","family":"Goulet-Ouellet","sequence":"additional","affiliation":[]},{"given":"Ond\u0159ej","family":"Kl\u00edma","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,1,29]]},"reference":[{"key":"804_CR1","first-page":"313","volume":"46","author":"J Almeida","year":"1989","unstructured":"Almeida, J.: Residually finite congruences and quasi-regular subsets in uniform algebras. Portugal. Math. 46, 313\u2013328 (1989)","journal-title":"Portugal. Math."},{"key":"804_CR2","doi-asserted-by":"crossref","unstructured":"Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific, Singapore (1995). English translation","DOI":"10.1142\/2481"},{"key":"804_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1142\/9789812776884_0001","volume-title":"Semigroups, Algorithms, Automata and Languages","author":"J Almeida","year":"2002","unstructured":"Almeida, J.: Finite semigroups: an introduction to a unified theory of pseudovarieties. In: Gomes, G.M.S., Pin, J.E., Silva, P.V. (eds.) Semigroups, Algorithms, Automata and Languages, pp. 3\u201364. World Scientific, Singapore (2002)"},{"key":"804_CR4","first-page":"1","volume-title":"Structural theory of automata, semigroups and universal algebra","author":"J Almeida","year":"2005","unstructured":"Almeida, J.: Profinite semigroups and applications. In: Kudryavtsev, V.B., Rosenberg, I.G. (eds.) Structural theory of automata, semigroups and universal algebra, pp. 1\u201345. Springer, New York (2005)"},{"key":"804_CR5","doi-asserted-by":"crossref","unstructured":"Almeida, J., Costa, A.: Handbook of AutoMathA, vol. I. Theoretical Foundations, chap. 17. Profinite topologies, pp. 615\u2013652. European Math. Soc. Publ. House (2021)","DOI":"10.4171\/Automata-1\/17"},{"key":"804_CR6","doi-asserted-by":"crossref","unstructured":"Almeida, J., Costa, A., Kyriakoglou, R., Perrin, D.: Profinite semigroups and symbolic dynamics, Lect. Notes in Math., vol. 2274. Springer, Cham (2020)","DOI":"10.1007\/978-3-030-55215-2"},{"key":"804_CR7","first-page":"1131","volume":"34","author":"J Almeida","year":"2022","unstructured":"Almeida, J., Costa, J.C., Zeitoun, M.: Recognizing pro-R closures of regular languages. Forum Math. 34, 1131\u20131145 (2022)","journal-title":"Forum Math."},{"key":"804_CR8","unstructured":"Almeida, J., Kl\u00edma, O.: Profinite congruences and unary algebras. J. Mult.-Val. Log. Soft Comput., to appear (preprint: ArXiv:2003.00509)"},{"key":"804_CR9","unstructured":"Almeida, J., Volkov, M.V.: Profinite methods in finite semigroup theory. In: Goncharov, S.S. (ed.) Proceedings of International Conference \u201cLogic and applications\u201d honoring Yu. L. Ershov on his 60-th birthday anniversary and of International Conference on mathematical logic, honoring A. I. Mal\u2019tsev on his 90-th birthday anniversary and 275-th anniversary of the Russian Academy of Sciences, pp. 3\u201328. Novosibirsk, Russia (2002)"},{"key":"804_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-94-011-0149-3_4","volume-title":"Semigroups, Formal Languages and Groups","author":"J Almeida","year":"1995","unstructured":"Almeida, J., Weil, P.: Relatively free profinite monoids: an introduction and examples. In: Fountain, J.B. (ed.) Semigroups, Formal Languages and Groups, vol. 466, pp. 73\u2013117. Kluwer Academic Publ, Dordrecht (1995)"},{"key":"804_CR11","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/BF01194543","volume":"17","author":"B Banaschewski","year":"1983","unstructured":"Banaschewski, B.: The Birkhoff theorem for varieties of finite algebras. Algebra Universalis 17, 360\u2013368 (1983)","journal-title":"Algebra Universalis"},{"key":"804_CR12","doi-asserted-by":"crossref","unstructured":"Birkhoff, G.: Moore-Smith convergence in general topology. Ann. Math. (2) 38(1), 39\u201356 (1937)","DOI":"10.2307\/1968508"},{"key":"804_CR13","unstructured":"Bourbaki, N.: General topology. Chapters 1\u20134. Elements of Mathematics (Berlin). Springer-Verlag, Berlin (1998). Translated from the French, Reprint of the 1989 English translation"},{"key":"804_CR14","unstructured":"Bourbaki, N.: General topology. Chapters 5\u201310. Elements of Mathematics (Berlin). Springer-Verlag, Berlin (1998). Translated from the French, Reprint of the 1989 English translation"},{"key":"804_CR15","doi-asserted-by":"crossref","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. No.\u00a078 in Grad. Texts in Math. Springer, Berlin (1981)","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"804_CR16","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"},{"issue":"1","key":"804_CR17","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BF02488044","volume":"9","author":"DJ Clinkenbeard","year":"1979","unstructured":"Clinkenbeard, D.J.: Simple compact topological lattices. Algebra Universalis 9(1), 322\u2013328 (1979)","journal-title":"Algebra Universalis"},{"key":"804_CR18","unstructured":"Engelking, R.: General Topology. No.\u00a06 in Sigma Series in Pure Mathematics. Heldermann Verlag Berlin (1989). Revised and completed edition"},{"key":"804_CR19","unstructured":"Fried, M.D., Jarden, M.: Field arithmetic, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, vol.\u00a011, third edn. Springer-Verlag, Berlin (2008). Revised by Jarden"},{"issue":"7","key":"804_CR20","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":"804_CR21","doi-asserted-by":"crossref","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.E.: Duality and equational theory of regular languages. In: ICALP 2008, Part II, no. 5126 in Lect. Notes in Comput. Sci., pp. 246\u2013257. Springer Verlag (2008)","DOI":"10.1007\/978-3-540-70583-3_21"},{"key":"804_CR22","doi-asserted-by":"crossref","unstructured":"Gehrke, M., Grigorieff, S., Pin, J.E.: A topological approach to recognition. In: ICALP 2008, Part II, no. 6199 in Lect. Notes in Comput. Sci., pp. 151\u2013162. Springer Verlag (2010)","DOI":"10.1007\/978-3-642-14162-1_13"},{"key":"804_CR23","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1017\/S1446788700029852","volume":"44","author":"RP Hunter","year":"1988","unstructured":"Hunter, R.P.: Certain finitely generated compact zero-dimensional semigroups. J. Austral. Math. Soc. 44, 265\u2013270 (1988)","journal-title":"J. Austral. Math. Soc."},{"key":"804_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. Am. Math. Soc. 8, 623\u2013626 (1957)","journal-title":"Proc. Am. Math. Soc."},{"key":"804_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":"804_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":"804_CR27","doi-asserted-by":"crossref","unstructured":"Ribes, L., Zalesskii, P.A.: Profinite groups, Ergeb. Math. Grenzgebiete. 3, vol.\u00a040, second edn. Springer-Verlag, Berlin (2010)","DOI":"10.1007\/978-3-642-01642-4"},{"key":"804_CR28","doi-asserted-by":"crossref","unstructured":"Robert, A.M.: A Course in $$p$$-adic Analysis. No. 198 in Grad. Texts in Math. Springer, New York (2000)","DOI":"10.1007\/978-1-4757-3254-2"},{"key":"804_CR29","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":"804_CR30","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":["Algebra universalis"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00012-023-00804-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00012-023-00804-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00012-023-00804-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,25]],"date-time":"2023-02-25T10:08:10Z","timestamp":1677319690000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00012-023-00804-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,29]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,2]]}},"alternative-id":["804"],"URL":"https:\/\/doi.org\/10.1007\/s00012-023-00804-w","relation":{},"ISSN":["0002-5240","1420-8911"],"issn-type":[{"value":"0002-5240","type":"print"},{"value":"1420-8911","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1,29]]},"assertion":[{"value":"15 February 2022","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 November 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 January 2023","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"6"}}