{"id":200,"date":"2015-04-23T12:15:49","date_gmt":"2015-04-23T10:15:49","guid":{"rendered":"http:\/\/duch.mimuw.edu.pl\/~bojan\/podpunkt\/?page_id=200"},"modified":"2015-06-22T15:10:30","modified_gmt":"2015-06-22T13:10:30","slug":"2-greens-relations","status":"publish","type":"page","link":"https:\/\/www.mimuw.edu.pl\/~bojan\/20142015-2\/alg\/2-greens-relations","title":{"rendered":"2. Green’s relations"},"content":{"rendered":"

This lecture\u00a0contains two basic pieces of information about the structure of finite monoids, namely the existence of an idempotent power, and the definitions of Green’s relations together with one basic lemma about them.<\/p>\n

The reader will also observe that all of the material in this lecture, with the exception of Lemma 4, applies to the more general case of semigroups (a semigroup is like a monoid, except it does not need to have the identity element).<\/p>\n

Idempotent power<\/b><\/p>\n

An\u00a0idempotent\u00a0<\/em>in a monoid is an element \"e\" such that \"ee=e\". Typically idempotents are denoted by \"e,f\". The identity is an idempotent. An\u00a0idempotent power\u00a0<\/em>of an element \"m\" of a monoid is an element of the form \"m^i\" that is idempotent. \u00a0It is easy to see that the idempotent power, if it exists, is unique (in the sense that the monoid element is unique, not the exponent), because if \"m^i\" and \"m^j\" would be idempotent powers, then we would need to have <\/p>\n

  <\/span>   <\/span>\"\[m^i = m^{ij} = m^j\]\"<\/p>\n

The following basic lemma shows that every element of a finite monoid has an idempotent power. This idempotent power will be denoted by \"m^\#\" here. A more standard notation would be \"\omega\" instead of \"\#\", but the \"\omega\" will be used in later lectures on infinite words.<\/p>\n

Lemma 1 (Idempotent Power Lemma). <\/strong>If \"m\" is an element of a finite monoid of size \"n\", then \"m^{n!}\" is an idempotent.<\/p>\n

 <\/p>\n

\n

 <\/p>\n

Green’s relations.<\/strong><\/p>\n

For a monoid \"M\", define the following relations. We say that \"m \in M\" is a prefix<\/em> of \"n \in M\" if there exists some \"x \in M\" such that \"n = mx\". This is the same thing as saying that the right ideal\u00a0<\/em>of \"m\", i.e. the set \"mM\", contains the right ideal \"nM\".\u00a0\u00a0Likewise we define the\u00a0suffix <\/em>and\u00a0infix\u00a0<\/em>relations, using the left ideal \"Mm\" and the two-sided ideal \"MmM\", respectively. It is easy to check that all three relations are quasi-orderings, in the sense that they are transitive and reflexive, but not necessarily anti-symmetric.<\/p>\n

Traditionally in monoid\u00a0theory, the prefix relationship is called the \"\Rr\"-ordering, standing for right, the suffix relationship is called the \"\Ll\"-ordering, standing for left, and the infix relationship is called the \"\Jj\"-ordering, standing for I do not know what. The appropriate equivalences are called \"\Rr\"-equivalence, etc. The orderings are traditionally written in what I would consider a\u00a0counter-intuitive way, i.e. if \"m\" is a prefix of \"n\", then one writes \"m \ge_\Rr n\", this notation is motivated by the ideal inclusion. To avoid this notation, I will say that \"m\" is \"\Ll\"-simpler<\/em>\u00a0than \"n\" if \"m\" is a prefix of \"n\", likewise for \"\Rr\"-simpler and \"\Jj\"-simpler. To say that the relationship is strict, we will say\u00a0strictly \"\Ll\"-simpler,\u00a0<\/em>e.g. every element is \"\Ll\"-simpler than itself, but not strictly \"\Ll\"-simpler.<\/p>\n

Clearly a prefix is a special case of an infix. Therefore, every \"\Rr\"-class, i.e. every equivalence class with respect to prefixes, is entirely included in some \"\Jj\"-class, i.e. some equivalence class with respect to infixes. A key property of finite monoids is that inside a single \"\Jj\"-class, the\u00a0\"\Rr\"-classes form\u00a0an antichain.<\/p>\n

Lemma 2 (Eggbox Lemma). <\/strong>Consider elements \"m,n\" of a finite monoid.\u00a0If \"m\" is a prefix of \"n\" and they are both in the same \"\Jj\"-class, then also \"n\" is a prefix of \"m\".<\/p>\n

Proof.\u00a0<\/strong>By the assumptions of the lemma, there exist \"x,y,z\" in the monoid such that \"n=mx\" and \"m=ynz\". By iterating these equalities, we see that \u00a0<\/p>\n

  <\/span>   <\/span>\"\[m=y^i m (xz)^i\]\"<\/p>\n

holds for every natural number \"i\". \u00a0If we choose \"i\" to be the idempotent power of the monoid, which exists by the assumption on finiteness, we see that <\/p>\n

  <\/span>   <\/span>\"\[m = y^i m (xz)^i = y^i m (xz)^i (xz)^i = m (xz)^i = n (zx)^{i-1}z\]\"<\/p>\n

thus proving that \"n\" is a prefix of \"m\". \"\Box\"<\/p>\n

The above lemma, although simple, will be used very frequently in the following lectures, and one could say that it essentially contains the\u00a0theory of finite monoids.<\/p>\n

\n

Call elements \"\Hh\"-equivalent if they have the same \"\Rr\"-class and the same \"\Ll\"-class. Therefore an \"\Hh\"-class is an intersection of an \"\Rr\"-class and an \"\Ll\"-class.<\/p>\n

Lemma 3 (\"\Hh\"-Dichotomy Lemma).\u00a0<\/strong>Let \"H\" be an \"\Hh\"-class included in a \"\Jj\"-class \"J\". Then either
\n\u2022 \u00a0\"mn \not \in J\" for every \"m,m \in H\"; or
\n\u2022 \"H\" is a group<\/p>\n

Proof.\u00a0<\/strong>Suppose that \u00a0there exist \"m_0,n_0 \in H\" \u00a0such that \"m_0n_0 \in J\". We will prove that \"H\" is a group. (Note also that the alternative in the statement of the lemma is exclusive.)<\/p>\n

First let us show that \"mn \in J\" \u00a0holds for every \"m,n \in H\".\u00a0Since \"m\" is in the same \"\Ll\"-class as \"m_0\", there is some \"x\" such that \"m_0=xm\". Likewise, since \"n\" is in the same \"\Rr\"-class as \"n_0\", there is some \"y\" such that \"n_0=ny\". Therefore \"mn \in J\" since it is an infix of some element of \"J\", namely \"mn=xm_0n_0y\".<\/p>\n

Now let us show that \"H\" is a monoid, i.e. \"mn \in H\" holds for every \"m,n \in H\". \u00a0Since \"m\" is a prefix of \"mn\", then by the Eggbox Lemma, \"m\" is \"\Rr\"-equivalent to \"mn\". Likewise, \"n\" is \"\Ll\"-equivalent to \"mn\", and therefore \"mn \in H\".<\/span><\/p>\n

Finally let us show that \"H\" is a group.<\/p>\n

By the Idempotent Power Lemma, \"H\" contains some idempotent, call it \"e\". We will show that this idempotent is the identity with respect to multiplication in \"H\", and is therefore unique. Let \"m \in H\". Because \"m\" and \"e\" are in the same \"\Ll\"-class, there is some \"x\" such that \"m=xe\". Therefore \"me=xee=xe=m\". By a symmetric argument, \"em=m\" holds for every \"m \in H\", and therefore \"e\" is the identity in \"H\".<\/p>\n

Let us now show that \"H\" has inverses. By the Idempotent Power Lemma, every \"m \in H\" has some idempotent power, call it \"m^k\". As mentioned in the previous paragraph, there can only be one idempotent in \"H\". Therefore \"m^{k-1}\" is the inverse of \"m\".<\/p>\n

This completes the proof of the lemma. \"\Box\"<\/p>\n

A corollary of the \"\Hh\"-dichotomy lemma is that an \"\Hh\"-class is a group if and only if it contains an idempotent.<\/p>\n

Lemma 4.\u00a0<\/strong>The \"\Jj\"-class of the identity is a group.<\/p>\n

Proof. <\/strong>Since the identity is an idempotent, the \u00a0\"\Hh\"-Dichotomy Lemma implies that the \"\Hh\"-class of the identity is a group. We will now prove that the \"\Jj\"-class of the identity is the same thing as the \"\Hh\"-class of the identity. If \"m\" is in the \"\Jj\"-class of the identity, then since the identity is a prefix of \"m\", the Eggbox Lemma can be used to conclude that the identity is \"\Rr\"-equivalent to \"m\". Likewise for \"\Ll\"-classes. Therefore, the \"\Jj\"-class of the identity is actually an \"\Hh\"-class. \"\Box\"<\/p>\n

 <\/p>\n","protected":false},"excerpt":{"rendered":"

This lecture\u00a0contains two basic pieces of information about the structure of finite monoids, namely the existence of an idempotent power, and the definitions of Green’s relations together with one basic lemma about them. The reader will also observe that all of the material in this lecture, with the exception of Lemma 4, applies to the […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":42,"menu_order":0,"comment_status":"open","ping_status":"open","template":"","meta":{"_acf_changed":false,"inline_featured_image":false,"footnotes":""},"class_list":["post-200","page","type-page","status-publish","hentry"],"acf":[],"_links":{"self":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/200"}],"collection":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/comments?post=200"}],"version-history":[{"count":3,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/200\/revisions"}],"predecessor-version":[{"id":456,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/200\/revisions\/456"}],"up":[{"embeddable":true,"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/pages\/42"}],"wp:attachment":[{"href":"https:\/\/www.mimuw.edu.pl\/~bojan\/wp-json\/wp\/v2\/media?parent=200"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}