On the semigroup of binary relations
1970, Pacific Journal of Mathematics
Abstract
AI
AI
This paper investigates the semigroup of binary relations on a set, X, by interpreting relations as boolean matrices. Key concepts introduced include row and column bases, which facilitate the characterization of Green's equivalences and the class of idempotent relations. The study examines regularity within this semigroup, contrasting its properties to those of transformations and exploring the implications for the ideal structure, maximal subgroups, and idempotent relations.
References (46)
- A. H. Clifford and G. B. Preston, The Algebraic Theory-of Semigroups, Amer. Math. Soc. Surveys, vols. I and II, Providence, 1961 and 1967.
- G. Birkhoff, Lattice Theory, A.M.S. Colloquium Publ., vol. 25, 2nd ed., Providence, 1948.
- J. A. Green, On the structure of semigroups, Ann. of Math. 54 (1951), 163-172.
- B. Harris and L. Schoenfeld, The number of idempotent elements in symmetric semigroups, J. Combinatorial Theory 3 (1967), 122-135.
- A. I. Malcev, Symmetric groupoids, Mat. Sbornik 31 (1952), 136-151.
- S. J. Montague and R. J. Plemmons, Maximal subgroups of the semigroup of re- lations, J. of Algebra 13 (1969), 575-588.
- B. M. Schein, Semigroups of transformations, presented at International Conference on Semigroups, Bratislava, Czechoslovakia, June 1968.
- S. Schwarz, The semigroup of binary relations on a finite set, presented at Inter- national Conference on Semigroups, Bratislava, Czechoslovakia, June 1968 (to appear in Czech. J. Math.)
- M. Tainter, A characterization of idempotents in semigroups, J. Combinatorial Theory 5 (1968), 370-373.
- Jaw-Ching Yang, A theorem on the semigroup of binary relations, Proc. Amer. Math. Soc. 22 (1969), 134-135.
- K. A. Zaretskii, Regular elements in the semigroup of binary relations, Uspehi Mat. Nauk. (17) 3 (1962), 105-108.
- The semigroup of binary relations, Mat. Sbornik 61 (1963), 291-305.
- John D. Arrison and Michael Rich, On nearly commutative degree one algebras . . . . 533
- Bruce Alan Barnes, Algebras with minimal left ideals which are Hilbert spaces . . . . . 537
- Robert F. Brown, An elementary proof of the uniqueness of the fixed point index . . . . 549
- Ronn L. Carpenter, Principal ideals in F-algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 559
- Chen Chung Chang and Yiannis (John) Nicolas Moschovakis, The Suslin-Kleene theorem for V κ with cofinality (κ) = ω . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 565
- Theodore Seio Chihara, The derived set of the spectrum of a distribution function. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 571
- Tae Geun Cho, On the Choquet boundary for a nonclosed subspace of C(S) . . . . . . . 575
- Richard Brian Darst, The Lebesgue decomposition, Radon-Nikodym derivative, conditional expectation, and martingale convergence for lattices of sets . . . . . . . 581
- David E. Fields, Dimension theory in power series rings . . . . . . . . . . . . . . . . . . . . . . . . . 601
- Michael Lawrence Fredman, Congruence formulas obtained by counting irreducibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 613
- John Eric Gilbert, On the ideal structure of some algebras of analytic functions . . . . . 625
- G. Goss and Giovanni Viglino, Some topological properties weaker than compactness . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 635
- George Grätzer and J. Sichler, On the endomorphism semigroup (and category) of bounded lattices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 639
- R. C. Lacher, Cell-like mappings. II . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 649
- Shiva Narain Lal, On a theorem of M. Izumi and S. Izumi . . . . . . . . . . . . . . . . . . . . . . . . . 661
- Howard Barrow Lambert, Differential mappings on a vector space . . . . . . . . . . . . . . . . 669
- Richard G. Levin and Takayuki Tamura, Notes on commutative power joined semigroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 673
- Robert Edward Lewand and Kevin Mor McCrimmon, Macdonald's theorem for quadratic Jordan algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 681
- J. A. Marti, On some types of completeness in topological vector spaces . . . . . . . . . . . 707
- Walter J. Meyer, Characterization of the Steiner point . . . . . . . . . . . . . . . . . . . . . . . . . . . 717
- Saad H. Mohamed, Rings whose homomorphic images are q-rings . . . . . . . . . . . . . . . . 727
- Thomas V. O'Brien and William Lawrence Reddy, Each compact orientable surface of positive genus admits an expansive homeomorphism . . . . . . . . . . . . . . . . . . . . . . 737
- Robert James Plemmons and M. T. West, On the semigroup of binary relations . . . . . 743
- Calvin R. Putnam, Unbounded inverses of hyponormal operators . . . . . . . . . . . . . . . . . 755
- William T. Reid, Some remarks on special disconjugacy criteria for differential systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 763
- C. Ambrose Rogers, The convex generation of convex Borel sets in euclidean space . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 773
- S. Saran, A general theorem for bilinear generating functions . . . . . . . . . . . . . . . . . . . . . 783
- S. W. Smith, Cone relationships of biorthogonal systems . . . . . . . . . . . . . . . . . . . . . . . . . 787
- Wolmer Vasconcelos, On commutative endomorphism rings . . . . . . . . . . . . . . . . . . . . . . 795
- Vernon Emil Zander, Products of finitely additive set functions from Orlicz spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 799
- G. Sankaranarayanan and C. Suyambulingom, Correction to: "Some renewal theorems concerning a sequence of correlated random variables" . . . . . . . . . . . . 805
- Joseph Zaks, Correction to: "Trivially extending decompositions of E n " . . . . . . . . . . . 805
- Dong Hoon Lee, Correction to: "The adjoint group of Lie groups" . . . . . . . . . . . . . . . . 805
- James Edward Ward, Correction to: "Two-groups and Jordan algebras" . . . . . . . . . . . 806