The binomial equivalence classes of finite words

Two finite words [Formula: see text] and [Formula: see text] are [Formula: see text]-binomially equivalent if, for each word [Formula: see text] of length at most [Formula: see text], [Formula: see text] appears the same number of times as a subsequence (i.e., as a scattered subword) of both [Formula: see text] and [Formula: see text]. This notion generalizes abelian equivalence. In this paper, we study the equivalence classes induced by the [Formula: see text]-binomial equivalence. We provide an algorithm generating the [Formula: see text]-binomial equivalence class of a word. For [Formula: see text] and alphabet of [Formula: see text] or more symbols, the language made of lexicographically least elements of every [Formula: see text]-binomial equivalence class and the language of singletons, i.e., the words whose [Formula: see text]-binomial equivalence class is restricted to a single element, are shown to be non-context-free. As a consequence of our discussions, we also prove that the submonoid generated by the generators of the free nil-[Formula: see text] group (also called free nilpotent group of class [Formula: see text]) on [Formula: see text] generators is isomorphic to the quotient of the free monoid [Formula: see text] by the [Formula: see text]-binomial equivalence.