小周期l-预群变种的公理化

Axiomatizing small varieties of periodic l-pregroups

摘要 Abstract

我们为由每个$n \in \mathbb{Z}^+$生成的$n$-周期l-预群$\mathbf{F}_n(\mathbb{Z})$所构成的变种以及这些变种的所有可能并集提供了公理化描述;有限并集在l-预群的次簇格中形成一个理想,我们完全描述了该理想格的结构。在此过程中,我们刻画了由$\mathbf{F}_n(\mathbb{Z})$生成的变种中的所有有限次直接不可约(FSI)代数,即具有全序群骨架的$n$-周期l-预群(且非平凡)。进一步地,我们刻画了不是l-群的有限生成FSI代数,它们可以被表示为有限生成全序可换l-群与$\mathbf{F}_k(\mathbb{Z})$的字典积,其中$k \mid n$。

We provide an axiomatization for the variety generated by the $n$-periodic l-pregroup $\mathbf{F}_n(\mathbb{Z})$, for every $n \in \mathbb{Z}^+$, as well as for all possible joins of such varieties; the finite joins form an ideal in the subvariety lattice of l-pregroups and we describe fully its lattice structure. On the way, we characterize all finitely subdirectly irreducible (FSI) algebras in the variety generated by $\mathbf{F}_n(\mathbb{Z})$ as the $n$-periodic l-pregroups that have a totally ordered group skeleton (and are not trivial). The finitely generated FSIs that are not l-groups are further characterized as lexicographic products of a (finitely generated) totally ordered abelian l-group and $\mathbf{F}_k(\mathbb{Z})$, where $k \mid n$.

小周期l-预群变种的公理化 - arXiv