Hostname: page-component-848d4c4894-75dct Total loading time: 0 Render date: 2024-04-30T12:22:56.121Z Has data issue: false hasContentIssue false

A partial Baer *-semigroup of relations

Published online by Cambridge University Press:  09 April 2009

R. H. Schelp
Affiliation:
Memphis State University Memphis, Tennessee 38111, 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.

It is shown in Gudder and Schelp (1970) that partial Baer *-semigroups coordinatize orthomodular partially ordered sets (orthomodular posets). This means for P an orthomodular poset there exists a partial Baer *-semigroup whose closed projections are order isomorphic to P preserving ortho-complementation. This coordinatization theorem generalizes Foulis (1960) in which orthomodular lattices are coordinatized by Baer *-semigroups. In particular Foulis (unpublished) shows that any complete atomic Boolean lattice is coordinatized by a Bear *-semigroup of relations. Since Greechie (1968), (1971) shows that a whole class of orthomodular posets can be formed by “pasting” together Boolean lattices, it is natural to consider the following problem. Let y be a family of Baer *-semigroups of relations which coordinatize the family B of complete atomic lattices. Is it possible to construct a partial *-semigroup of relations R which contains each member of Y such that when P is an orthomodular poset obtained by a “Greechie pasting” of members of 38 then 91 coordinatizes R This question is considered in the sequel and answered affirmatively for a certain subclass of “Greechie pasted” orthomodular posets. In addition the construction of 8)t nicely fulfills another objective in that it provides us with “nontrivial” coordinate partial Baer *-semigroups for a whole family of well known orthomodular posets. This is particularly significant since the only other known coordinate partial Baer *-semigroups, for those posets in this family which are not lattices, are the “minimal” ones given in Gudderand and Schelp (1970).

Type
Research Article
Copyright
Copyright © Australian Mathematical Society 1975

References

Dilworth, R. P. (1940), ‘On complemented lattices’, Tohoku Math. Journal 47, 1823.Google Scholar
Foulis, D. J. (1960), Baer*-semigroups.’, Proc. Amer. Math. Soc. 11, 468654.Google Scholar
Foulis, D. J., Lectures notes on orthomodular lattices (Unpublished, University of Massachusetts Amherst. Massachusetts).Google Scholar
Greechie, R. J. (1968), ‘On the structure of orthomodular lattices satisfying the chain condition’, J. Combinatorial Theory 5, 210218.CrossRefGoogle Scholar
Greechie, R. J. (1971), ‘Orthomodular lattices admitting no states’, J. Combinatorial Theory (2) 5, 119132.CrossRefGoogle Scholar
Gudder, S. P. and Schelp, R. H. (1970), ‘Coordinatiztion of orthocomplemented and orthomodular posets’, Proc. Amer. Mah. Soc. (2) 25, 229237.CrossRefGoogle Scholar
Janowitz, M. F. (1963), Quantifiers on quasi-orthomodular lattices (Unpublished doctoral dissertation, Wayne State University, Detroit, Michigan, 1963).CrossRefGoogle Scholar