In 1991 H\'ebrard introduced a factorization of words that turned out to be a powerful tool for the investigation of a word's scattered factors (also known as (scattered) subwords or subsequences). Based on this, first Karandikar and Schnoebelen introduced the notion of $k$-richness and later on Barker et al. the notion of $k$-universality. In 2022 Fleischmann et al. presented a generalization of the arch factorization by intersecting the arch factorization of a word and its reverse. While the authors merely used this factorization for the investigation of shortest absent scattered factors, in this work we investigate this new $\alpha$-$\beta$-factorization as such. We characterize the famous Simon congruence of $k$-universal words in terms of $1$-universal words. Moreover, we apply these results to binary words. In this special case, we obtain a full characterization of the classes and calculate the index of the congruence. Lastly, we start investigating the ternary case, present a full list of possibilities for $\alpha\beta\alpha$-factors, and characterize their congruence.
翻译:1991年,Hébrard引入了一种单词分解,该分解后来成为研究单词散乱因子(也称为散乱子词或子序列)的有力工具。基于此,Karandikar与Schnoebelin首先提出了$k$-富集性的概念,随后Barker等人引入了$k$-泛性的概念。2022年,Fleischmann等人通过交叠单词的拱分解与其逆序,提出了一种拱分解的推广形式。尽管作者仅将此分解用于研究最短缺失散乱因子,但本文重点探讨了这一新型$α$-$β$-分解本身。我们利用$1$-泛单词刻画了著名的$k$-泛单词的Simon同余。此外,将这些结果应用于二元单词,在此特例中我们获得了同余类的完全刻画,并计算了同余指数。最后,我们初步探讨了三元情形,给出了$αβα$-因子的完整可能性列表,并刻画了其同余性质。