Abstract:A language A on a free monoid X* generated by the finite alphabet X is called a disjunctive language if the principal congruence determined by A is the identity. In this paper we study some properties of disjunctive languages over X with | X | ⩾ 2. We show that there is no minimal (and hence no maximal) disjunctive language and that the cardinality of the family of disjunctive languages is the same as that of the reals. It is also shown that if a discrete disjunctive language is partitioned into two subsets then one of them must be disjunctive. We prove that every non-empty word which is not a power of a letter is a product of two primitive words and then show that Qn is regular for all n ⩾ 2, where Q is the set of primitive words. But in contrast with this, Q(i)Q(j) … Q(l) is shown to be disjunctive for all i + l ⩾ 3. Here Q(i) = če:italic>wi | w ε Q⩽ce:italic>.

Some properties of disjunctive languages on a free monoid