Hostname: page-component-76fb5796d-dfsvx Total loading time: 0 Render date: 2024-04-28T05:42:08.302Z Has data issue: false hasContentIssue false

Double MSn-algebras and double Kn.m-algebras

Published online by Cambridge University Press:  18 May 2009

M. Sequeira
Affiliation:
Dep. Matemática-Fac. Ciéncias LisboaR. Ernesto De Vasconcelos, Bloco Cl 1700 Lisboa, Portugal
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

The variety O2 of all algebras (L; ∧, ∨, f, g, 0, 1) of type (2, 2, 1, 1, 0, 0) such that (L; ∧, ∨, f, 0, 1) and (L; ∧, ∨, g, 0, 1) are Ockham algebras is introduced, and, for n, m εℕ, its subvarieties DMSn, of double MSn-algebras, and DKn,m, of double Kn,m-algebras, are considered. It is shown that DKn,m has equationally definable principal congruences: a description of principal congruences on double Kn,m-algebras is given and simplified for double MSn-algebras. A topological duality for O2-algebras is developed and used to determine the subdirectly irreducible algebras in DKn,m and in DMSn. Finally, MSn-algebras which are reduct of a (unique) double MSn-algebra are characterized.

Type
Research Article
Copyright
Copyright © Glasgow Mathematical Journal Trust 1993

References

REFERENCES

1.Berman, J., Distributive lattices with an additional unary operation, Aequat. Math. 16 (1977), 165171.CrossRefGoogle Scholar
2.Blok, W. J. and Pigozzi, D., On the structure of varieties with equationally definable principal congruences I, Alg. Univ. 15 (1982), 195227.CrossRefGoogle Scholar
3.Blyth, T. S. and Janowitz, M. F., Residuation theory (Pergamon Press, Oxford, 1972).Google Scholar
4.Blyth, T. S. and Varlet, J. C., On a common abstraction of de Morgan algebras and Stone algebras, Proc. Roy. Soc. Edinburgh 94A (1983), 301308.CrossRefGoogle Scholar
5.Blyth, T. S. and Varlet, J. C., Double MS-algebras, Proc. Roy. Soc. Edinburgh 98A (1984), 3747.CrossRefGoogle Scholar
6.Blyth, T. S. and Varlet, J. C., Subdirectly irreducible double MS-algebras, Proc. Roy. Soc. Edinburgh. 98A (1984), 241247.CrossRefGoogle Scholar
7.Blyth, T. S. and Varlet, J. C., Congruences on double MS-algebras, Bull. Soc. Roy. Sci. Liege 56 (1987), 143152.Google Scholar
8.Day, A., A note on the congruence extension property, Alg. Univ. 1 (1971), 234235.CrossRefGoogle Scholar
9.Köhler, P. and Pigozzi, D., Varieties with equationally definable principal congruences, Alg. Univ. 11 (1980), 213219.CrossRefGoogle Scholar
10.Priestley, H. A., Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2 (1970), 186190.CrossRefGoogle Scholar
11.Ramalho, M. and Sequeira, M., On generalized MS-algebras, Port. Math. 44 (1987), 315328.Google Scholar
12.Sequeira, M., Álgebras-MS generalizadas e álgebras-Knl duplas, Ph.D. dissertation, Lisboa, 1989.Google Scholar
13.Urquhart, A., Distributive lattices with a dual homomorphic operation, Stud. Log. 38 (1979), 201209.CrossRefGoogle Scholar