Projectable ℓ-groups and algebras of logic: Categorical and algebraic connections

详细信息    查看全文

• 作者：José ; Gil-Fé ; rez^b ; ^{jose.gil-ferez@vanderbilt.edu" class="auth_mail" title="E-mail the corresponding author} ; Antonio Ledda^a ; ^{antonio.ledda@unica.it" class="auth_mail" title="E-mail the corresponding author} ; Francesco Paoli^a ; ^{paoli@unica.it" class="auth_mail" title="E-mail the corresponding author} ; Constantine Tsinakis^b ; ^{constantine.tsinakis@vanderbilt.edu" class="auth_mail" title="E-mail the corresponding author}
• 关键词：06F05 ; 06D35 ; 06F15 ; 03G10 ; 03B47
• 刊名：Journal of Pure and Applied Algebra
• 出版年：2016
• 出版时间：October 2016
• 年：2016
• 卷：220
• 期：10
• 页码：3514-3532
• 全文大小：462 K

文摘

P.F. Conrad and other authors launched a general program for the investigation of lattice-ordered groups, aimed at elucidating some order-theoretic properties of these algebras by inquiring into the structure of their lattices of convex ℓ-subgroups. This approach can be naturally extended to residuated lattices and their convex subalgebras. In this broader perspective, we revisit the Galatos–Tsinakis categorical equivalence between integral generalized MV algebras and negative cones of ℓ-groups with a nucleus, showing that it restricts to an equivalence of the full subcategories whose objects are the projectable members of these classes. Upon recalling that projectable integral generalized MV algebras and negative cones of projectable ℓ-groups can be endowed with a positive Gödel implication, and turned into varieties by including this implication in their signature, we prove that there is an adjunction between the categories whose objects are the members of these varieties and whose morphisms are required to preserve implications.