Decomposability of the Finitely Generated Free Hoop Residuation Algebra期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

Decomposability of the Finitely Generated Free Hoop Residuation Algebra

Authors:	Marta A Zander

Institution:	(1) Departamento de Matemàtica, Universidad Nacional del Sur, Av. Alem 1253, Bahìa Blanca, Argentina

Abstract:	In this paper we prove that, for n > 1, the n-generated free algebra $F_{{\mathcal{V}}}(n)$ in any locally finite subvariety ${\mathcal{V}}$ of HoRA can be written in a unique nontrivial way as Ł₂ × A′, where A′ is a directly indecomposable algebra in ${\mathcal{V}}$ . More precisely, we prove that the unique nontrivial pair of factor congruences of $F_{{\mathcal{V}}}(n)$ is given by the filters ${\mathcal{J}})$ and $F_\mathcal {V}(n) - (\mathcal {J}]$ , where the element ${\mathcal {J}}$ is recursively defined from the term $j(x, y) =(((x \rightarrow y) \rightarrow y) \rightarrow x) \rightarrow x$ introduced by W. H. Cornish. As an additional result we obtain a characterization of minimal irreducible filters of $F_{{\mathcal{V}}}(n)$ in terms of its coatoms. Presented by Daniele Mundici

Keywords:	Hoop residuation algebras free algebras decomposability
本文献已被 SpringerLink 等数据库收录！