Showing 1–11 of 11 results for author: Klíma, O

What makes a Stone topological algebra profinite

Authors: Jorge Almeida, Herman Goulet-Ouellet, Ondřej Klíma

Abstract: 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 a… ▽ More 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. △ Less

Submitted 1 September, 2021; originally announced September 2021.

Comments: arXiv admin note: text overlap with arXiv:1910.03674

MSC Class: 46H05 (primary); 06E15; 08A62; 54H15; 54D45; 54C35 (secondary)

Journal ref: Algebra Universalis 84:6 (2023)

Profinite congruences and unary algebras

Authors: J. Almeida, O. Klíma

Abstract: Profinite congruences on profinite algebras determining profinite quotients are difficult to describe. In particular, no constructive description is known of the least profinite congruence containing a given binary relation on the algebra. On the other hand, closed congruences and fully invariant congruences can be described constructively. In a previous paper, we conjectured that fully invariant… ▽ More Profinite congruences on profinite algebras determining profinite quotients are difficult to describe. In particular, no constructive description is known of the least profinite congruence containing a given binary relation on the algebra. On the other hand, closed congruences and fully invariant congruences can be described constructively. In a previous paper, we conjectured that fully invariant closed congruences on a relatively free profinite algebra are always profinite. Here, we show that our conjecture fails for unary algebras and that closed congruences on relatively free profinite semigroups are not necessarily profinite. As part of our study of unary algebras, we establish an adjunction between profinite unary algebras and profinite monoids. We also show that the Polish representation of the free profinite unary algebra is faithful. △ Less

Submitted 1 March, 2020; originally announced March 2020.

MSC Class: 08A60; 08A62; 20M07; 20M05

Stone pseudovarieties

Authors: Jorge Almeida, Ondřej Klíma

Abstract: Profinite algebras are the residually finite compact algebras; their underlying topological spaces are Stone spaces. We extend the theory of profinite algebras to a more general setting of Stone topological algebras. 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 an… ▽ More Profinite algebras are the residually finite compact algebras; their underlying topological spaces are Stone spaces. We extend the theory of profinite algebras to a more general setting of Stone topological algebras. 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 Stone spaces as the dual spaces of Boolean algebras, we find a simple characterization of when the dual space admits a natural structure of topological algebra. This provides a new approach to duality theory which culminates in the proof that a Stone quotient of a Stone topological algebra that is residually in a given Stone pseudovariety is also residually in it, thereby extending the corresponding result of M. Gehrke for the Stone pseudovariety of all finite algebras over discrete signatures. 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. △ Less

Submitted 17 May, 2023; v1 submitted 8 October, 2019; originally announced October 2019.

Comments: Parts of the first version of this paper have been moved to other papers

MSC Class: 46H05; 06E15; 08A62

Journal ref: Results in Math. 79 (2024) article no. 252

Locally countable pseudovarieties

Authors: Jorge Almeida, Ondrej Klíma

Abstract: The purpose of this paper is to contribute to the theory of profinite semigroups by considering the special class consisting of those all of whose finitely generated closed subsemigroups are countable, which are said to be locally countable. We also call locally countable a pseudovariety V (of finite semigroups) for which all pro-V semigroups are locally countable. We investigate operations preser… ▽ More The purpose of this paper is to contribute to the theory of profinite semigroups by considering the special class consisting of those all of whose finitely generated closed subsemigroups are countable, which are said to be locally countable. We also call locally countable a pseudovariety V (of finite semigroups) for which all pro-V semigroups are locally countable. We investigate operations preserving local countability of pseudovarieties and show that, in contrast with local finiteness, several natural operations do not preserve it. We also investigate the relationship of a finitely generated profinite semigroup being countable with every element being expressable in terms of the generators using multiplication and the idempotent (omega) power. The two properties turn out to be equivalent if there are only countably many group elements, gathered in finitely many regular J-classes. We also show that the pseudovariety generated by all finite ordered monoids satisfying the inequality $1\le x^n$ is locally countable if and only if $n=1$. △ Less

Submitted 11 September, 2019; originally announced September 2019.

MSC Class: Primary 20M07. Secondary 20M05; 03F03

Journal ref: Publicatcons Matemàtiques 67:1 (2023) 127-172

Binary patterns in the Prouhet-Thue-Morse sequence

Authors: Jorge Almeida, Ondřej Klíma

Abstract: We show that, with the exception of the words $a^2ba^2$ and $b^2ab^2$, all (finite or infinite) binary patterns in the Prouhet-Thue-Morse sequence can actually be found in that sequence as segments (up to exchange of letters in the infinite case). This result was previously attributed to unpublished work by D. Guaiana and may also be derived from publications of A. Shur only available in Russian.… ▽ More We show that, with the exception of the words $a^2ba^2$ and $b^2ab^2$, all (finite or infinite) binary patterns in the Prouhet-Thue-Morse sequence can actually be found in that sequence as segments (up to exchange of letters in the infinite case). This result was previously attributed to unpublished work by D. Guaiana and may also be derived from publications of A. Shur only available in Russian. We also identify the (finitely many) finite binary patterns that appear non trivially, in the sense that they are obtained by applying an endomorphism that does not map the set of all segments of the sequence into itself. △ Less

Submitted 27 August, 2021; v1 submitted 15 April, 2019; originally announced April 2019.

MSC Class: Primary: 68R15; Secondary: 11B85; 20M05; 20M35; 37B10

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Automata, Logic and Semantics (August 30, 2021) dmtcs:5460

Pseudovarieties of ordered completely regular semigroups

Authors: Jorge Almeida, Ondřej Klíma

Abstract: This paper is a contribution to the theory of finite semigroups and their classification in pseudovarieties, which is motivated by its connections with computer science. The question addressed is what role can play the consideration of an order compatible with the semigroup operation. In the case of unions of groups, so-called completely regular semigroups, the problem of which new pseudovarieties… ▽ More This paper is a contribution to the theory of finite semigroups and their classification in pseudovarieties, which is motivated by its connections with computer science. The question addressed is what role can play the consideration of an order compatible with the semigroup operation. In the case of unions of groups, so-called completely regular semigroups, the problem of which new pseudovarieties appear in the ordered context is solved. As applications, it is shown that the lattice of pseudovarieties of ordered completely regular semigroups is modular and that taking the intersection with the pseudovariety of bands defines a complete endomorphism of the lattice of all pseudovarieties of ordered semigroups. △ Less

Submitted 23 October, 2018; originally announced October 2018.

MSC Class: 20M19; 20M07; 20M35

Journal ref: Results Math (2019) 74: 78

On the insertion of n-powers

Authors: J. Almeida, O. Klíma

Abstract: In algebraic terms, the insertion of $n$-powers in words may be modelled at the language level by considering the pseudovariety of ordered monoids defined by the inequality $1\le x^n$. We compare this pseudovariety with several other natural pseudovarieties of ordered monoids and of monoids associated with the Burnside pseudovariety of groups defined by the identity $x^n=1$. In particular, we are… ▽ More In algebraic terms, the insertion of $n$-powers in words may be modelled at the language level by considering the pseudovariety of ordered monoids defined by the inequality $1\le x^n$. We compare this pseudovariety with several other natural pseudovarieties of ordered monoids and of monoids associated with the Burnside pseudovariety of groups defined by the identity $x^n=1$. In particular, we are interested in determining the pseudovariety of monoids that it generates, which can be viewed as the problem of determining the Boolean closure of the class of regular languages closed under $n$-power insertions. We exhibit a simple upper bound and show that it satisfies all pseudoidentities which are provable from $1\le x^n$ in which both sides are regular elements with respect to the upper bound. △ Less

Submitted 30 January, 2019; v1 submitted 15 November, 2017; originally announced November 2017.

MSC Class: 20M07; 68Q70; 20M3

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Automata, Logic and Semantics (February 5, 2019) dmtcs:4072

Towards a pseudoequational proof theory

Authors: Jorge Almeida, Ondřej Klíma

Abstract: A new scheme for proving pseudoidentities from a given set Σ of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when Σ defines a locally finite variety, a pseudovariety of groups, more generally, of completely simple semigroups, or of commutative monoids. Many further examples when the scheme is complete are given when Σ defines a pseudovariety V w… ▽ More A new scheme for proving pseudoidentities from a given set Σ of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when Σ defines a locally finite variety, a pseudovariety of groups, more generally, of completely simple semigroups, or of commutative monoids. Many further examples when the scheme is complete are given when Σ defines a pseudovariety V which is σ-reducible for the equation x=y, provided Σ is enough to prove a basis of identities for the variety of σ-algebras generated by V. This gives ample evidence in support of the conjecture that the proof scheme is complete in general. △ Less

Submitted 31 August, 2017; originally announced August 2017.

MSC Class: 20M07; 20M05; 03F03

Journal ref: Portugaliae Mathematica 75, Issue 2 (2018) 79-119

Reducibility versus definability for pseudovarieties of semigroups

Authors: J. Almeida, O. Klíma

Abstract: It is easy to show that a pseudovariety which is reducible with respect to an implicit signature $σ$ for the equation $x=y$ can also be defined by $σ$-identities. We present several negative examples for the converse using signatures in which the pseudovarieties are usually defined. An ordered example issue from the extended Straubing-Thérien hierarchy of regular languages is also shown to provide… ▽ More It is easy to show that a pseudovariety which is reducible with respect to an implicit signature $σ$ for the equation $x=y$ can also be defined by $σ$-identities. We present several negative examples for the converse using signatures in which the pseudovarieties are usually defined. An ordered example issue from the extended Straubing-Thérien hierarchy of regular languages is also shown to provide a positive example for the inequality $x\le y$. △ Less

Submitted 13 June, 2016; originally announced June 2016.

MSC Class: 20M07

Journal ref: Int. J. Algebra and Comput. 26, no. 7 (2016) 1483-1495

The omega-inequality problem for concatenation hierarchies of star-free languages

Authors: J. Almeida, O. Klíma, M. Kunc

Abstract: The problem considered in this paper is whether an inequality of omega-terms is valid in a given level of a concatenation hierarchy of star-free languages. The main result shows that this problem is decidable for all (integer and half) levels of the Straubing-Thérien hierarchy. The problem considered in this paper is whether an inequality of omega-terms is valid in a given level of a concatenation hierarchy of star-free languages. The main result shows that this problem is decidable for all (integer and half) levels of the Straubing-Thérien hierarchy. △ Less

Submitted 23 May, 2017; v1 submitted 29 January, 2016; originally announced January 2016.

MSC Class: Primary 20M05; 20M07; Secondary 20M35; 68Q70

Journal ref: Forum Math. 30 (2018), no. 3, 663-679

Representations of relatively free profinite semigroups, irreducibility, and order primitivity

Authors: J. Almeida, O. Klíma

Abstract: We establish that, under certain closure assumptions on a pseudovariety of semigroups, the corresponding relatively free profinite semigroups freely generated by a non-singleton finite set act faithfully on their minimum ideals. As applications, we enlarge the scope of several previous join irreducibility results for pseudovarieties of semigroups, which turn out to be even join irreducible in the… ▽ More We establish that, under certain closure assumptions on a pseudovariety of semigroups, the corresponding relatively free profinite semigroups freely generated by a non-singleton finite set act faithfully on their minimum ideals. As applications, we enlarge the scope of several previous join irreducibility results for pseudovarieties of semigroups, which turn out to be even join irreducible in the lattice of pseudovarieties of ordered semigroups, so that, in particular, they are not generated by proper subpseudovarieties of ordered semigroups. We also prove the stronger form of join irreducibility for the Krohn-Rhodes complexity pseudovarieties, thereby solving a problem proposed by Rhodes and Steinberg. △ Less

Submitted 4 September, 2015; originally announced September 2015.

MSC Class: 20M05; 20M07; 20M30; 20M35

Journal ref: Trans. Amer. Math. Soc. 373 (2020), no. 3, 1941-1981