Natural Dualities for Varieties of MV-Algebras, I
β Scribed by Philippe Niederkorn
- Publisher
- Elsevier Science
- Year
- 2001
- Tongue
- English
- Weight
- 133 KB
- Volume
- 255
- Category
- Article
- ISSN
- 0022-247X
No coin nor oath required. For personal study only.
β¦ Synopsis
MV-algebras are the Lindenbaum algebras for Εukasiewicz's infinite-valued logic, just as Boolean algebras correspond to the classical propositional calculus. The finitely generated subvarieties of the variety M M of all MV-algebras are generated by finite chains. We develop a natural duality, in the sense of Davey and Werner, for each subvariety generated by a finite chain, and use it to describe the free and the injective members of these classes. Finally, we point out the relations between the dualities and some categorical equivalences discovered by A. Di Nola and A. Lettieri.
π SIMILAR VOLUMES
It is known that all subvarieties of MV-algebras are finitely axiomatizable. In the literature, one can find equational characterizations of certain subvarieties, such as MV -algebras. In this paper we write down equational bases for all MV-varieties n and prove a representation theorem for each sub
Cohomology rings of finite groups have strong duality properties, as shown by w x w x Benson and Carlson 4 and Greenlees 16 . We prove here that cohomology rings of virtual duality groups have a ring theoretic duality property, which combines the duality properties of finite groups with the cohomolo
For a finite dimensional semisimple cosemisimple Hopf algebra A and its dual Hopf algebra B, we set up a natural one-to-one correspondence between categories with actions of the monoidal categories of representations of A and of B. This gives a categorical interpretation of the duality for actions o
By the Giambruno-Zaicev theorem for associative p.i. algebras, the exponential rate of growth of the codimensions of such a p.i. algebra is always a positive integer. Here we calculate that integer for various generic p.i. algebras which are given by a single identity. These include Capelli-type id