Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro (Q861575): Difference between revisions
From MaRDI portal
Created claim: Wikidata QID (P12): Q123364739, #quickstatements; #temporary_batch_1710670487976 |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s11225-006-9020-y / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2005470720 / rank | |||
Normal rank |
Revision as of 22:07, 19 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro |
scientific article |
Statements
Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro (English)
0 references
29 January 2007
0 references
An MV-algebra is a structure \((A,\oplus ,^{-},0)\) of type \((2,2,0)\) such that \((A,\oplus ,0)\) is a commutative monoid with neutral element \(0\) satisfying the following equations \(x^{=}=x,\) \(x\oplus 0^{-}=0^{-}\) and \( (x\oplus y)^{-}=x^{-}\oplus y^{-}\). For each integer \(n\geq 2,\) MV\(_{n}\) denotes the variety of MV-algebras generated by the MV-chain with \(n\) elements. Algebras in MV\(_{n}\) are represented as continuous functions from a Boolean space into an \(n\)-element chain equipped with the discrete topology. In this paper, using these representations, maximal subalgebras of algebras in MV\(_{n}\) are characterized, and it is shown that proper subalgebras are intersections of maximal subalgebras. When \(A\in \text{MV}_{3},\) the mentioned characterization of maximal subalgebras of \(A\) can be given in terms of prime filters of the underlying lattice \(A,\) in the form that was conjectured by A. Monteiro.
0 references
MV-algebras
0 references
Moisil-Lukasiewicz algebras
0 references
Lukasiewicz many-valued logics
0 references
Boolean spaces
0 references
subalgebras
0 references