Hostname: page-component-77c89778f8-vsgnj Total loading time: 0 Render date: 2024-07-18T08:17:59.444Z Has data issue: false hasContentIssue false
  • English
  • Français

Maximal subalgebras of Heyting algebras

Published online by Cambridge University Press:  20 January 2009

M. E. Adams
M. E. Adams
Affiliation:
State University of New York, New Paltz, New York, U.S.A.
Rights & Permissions [Opens in a new window]

Extract

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.

AHeyting algebra is an algebra H;∨,∧ →, 0,1) of type (2,2,2,0,0) for which H;∨,∧,0,1) is a bounded distributive lattice and → is the binary operation of relative pseudocomplementation (i.e., for a,b,c∈H,ac ∧≦birr c≦a→b). Associated with every subalgebra of a Heyting algebra is a separating set. Those corresponding to maximal subalgebras are characterized in Proposition 8 and, subsequently, are used in an investigation of Heyting algebras.

Type
Research Article
Information
Proceedings of the Edinburgh Mathematical Society , Volume 29 , Issue 3 , October 1986 , pp. 359 - 365
Copyright
Copyright © Edinburgh Mathematical Society 1986

References

REFERENCES

1.Adams, M. E., The Frattini sublattice of a distributive lattice, Algebra Universalis 3 (1973), 216–228.CrossRefGoogle Scholar
2.Adams, M. E. and Sichler, J., Frattini sublattices in varieties of lattices, Colloq. Math. 44 (1981), 271–278.CrossRefGoogle Scholar
3.Balbes, R., Maximal and completely meet irreducible sublattices of a distributive lattice, Algebra Universalis 17 (1983), 317–328.CrossRefGoogle Scholar
4.Balbes, R. and Dwinger, Ph., Distributive Lattices (University of Missouri Press, 1975).Google Scholar
5.Chen, C. C., Koh, K. M. and Tan, S. K., On the Frattini sublattice of a finite distributive lattice, Algebra Universalis 5 (1975), 88–97.CrossRefGoogle Scholar
6.Davey, B. A. and Duffus, D., Exponentiation and duality, in Ordered Sets (ed. Rival, I.) (NATO Advanced Study Institutes Series, D. Reidel, Dordrecht, 1982) pp. 43–95.CrossRefGoogle Scholar
7.Gratzer, G., General Lattice Theory (Birkhauser Verlag, Basel, 1978).CrossRefGoogle Scholar
8.Gratzer, G., Koh, K. M. and Makkai, M., On the lattice of subalgebras of a Boolean algebra, Proc. Amer. Math. Soc. 36 (1972), 87–92.CrossRefGoogle Scholar
9.Hashimoto, J., Ideal theory for lattices, Math. Japon. 2 (1952), 149–186.Google Scholar
10.Koh, K. M., On the Frattini sublattice of a lattice, Algebra Universalis 1 (1971), 104–116.CrossRefGoogle Scholar
11.Priestley, H. A., Representation of distributive lattices by means of ordered Stone spaces, Bull. London Math. Soc. 2 (1970), 186–190.CrossRefGoogle Scholar
12.Priestley, H. A., Ordered sets and duality for distributive lattices. Ann. Discrete Math. 23 (1984), 39–60.Google Scholar
13.Sachs, D., The lattice of subalgebras of a Boolean algebra, Canad. J. Math. 14 (1962), 451–460.CrossRefGoogle Scholar