In mathematics, Green's relations are five equivalence relations that characterise the elements of a semigroup in terms of the principal ideals they generate. The relations are named for James Alexander Green, who introduced them in a paper of 1951. John Mackintosh Howie, a prominent semigroup theorist, described this work as "so all-pervading that, on encountering a new semigroup, almost the first question one asks is 'What are the Green relations like?'" (Howie 2002). The relations are useful for understanding the nature of divisibility in a semigroup; they are also valid for groups, but in this case tell us nothing useful, because groups always have divisibility. (In the same way, the ideals of a field are a much less rich environment for study than the ideals of a ring.)
Instead of working directly with a semigroup S, we define Green's relations over the monoid S1. (S1 is "S with an identity adjoined if necessary"; if S is not already a monoid, a new element is adjoined and defined to be an identity.) This ensures that principal ideals generated by some semigroup element do indeed contain that element. For an element a of S, the relevant ideals are:
- The principal left ideal generated by a: . This is the same as, which is .
- The principal right ideal generated by a:, or equivalently .
- The principal two-sided ideal generated by a:, or .
Read more about Green's Relations: The L, R, and J Relations, The H and D Relations, Example, Generalisations
Famous quotes containing the words green and/or relations:
“Avarice, sphincter of the heart.”
—Matthew Green (1696–1737)
“In today’s world parents find themselves at the mercy of a society which imposes pressures and priorities that allow neither time nor place for meaningful activities and relations between children and adults, which downgrade the role of parents and the functions of parenthood, and which prevent the parent from doing things he wants to do as a guide, friend, and companion to his children.”
—Urie Bronfenbrenner (b. 1917)