当前位置: X-MOL 学术Algebra Logic › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
A Semigroup of Theories and Its Lattice of Idempotent Elements
Algebra and Logic ( IF 0.4 ) Pub Date : 2021-06-15 , DOI: 10.1007/s10469-021-09623-1
M. I. Bekenov , A. M. Nurakunov

On the set of all first-order theories T(σ) of similarity type σ, a binary operation {·} is defined by the rule T · S = Th({A × B | A |= T and B |= S}) for any theories T,ST(σ). The structure 〈T(σ); ⋅〉 forms a commutative semigroup, which is called a semigroup of theories. We prove that a semigroup of theories is an ideal extension of a semigroup \( {S}_T^{\ast } \) by a semigroup ST . The set of all idempotent elements of a semigroup of theories forms a complete lattice with respect to the partial order ≤ defined as TS iff T · S = S for all T,ST(σ). Also the set of all idempotent complete theories forms a complete lattice with respect to ≤, which is not necessarily a sublattice of the lattice of idempotent theories.



中文翻译:

一个半群理论及其幂等元格

在相似类型 σ的所有一阶理论T (σ)的集合上,二元运算 {·} 由规则T · S = Th({ A × B | A |= T and B |= S } 定义) 对于任何理论T , ST (σ)。结构< T ( σ ); ⋅> 形成一个交换半群,称为理论半群。我们证明理论的半群是半群\( {S}_T^{\ast } \)的理想扩展半群S T. 一个半群理论的所有幂等元素的集合就偏序 ≤ 定义为TS iff T · S = S对于所有T , ST (σ)形成一个完整格。此外,所有幂等完备理论的集合形成关于 ≤ 的完备格,它不一定是幂等理论格的子格。

更新日期:2021-06-15
down
wechat
bug