Green's Relations and Their Congruences

  • Thread starter brydustin
  • Start date
  • #1
brydustin
205
0
I don't understand how a left (right) Green relation is a right (left) congruence.

xLy <=> Sx = Sy (Green's Left Relation): where we join 1 to S if it doesn't have identity.
Left Congruence: aPb ==> caPcb for some c in the semigroup S.

Take this example table:

* a|b|c
a|a|b|c
b|b|a|c
c|c|b|c

aS = {a,b,c} = bS, so aRb (Green's Right Relation).
But IF it were a left congruence then any element,x, of the Semigroup S, would satisfy the following equation:

aRb ==> xaRxb; then let x=c. Notice ca=c, cb=b, then:

caS = cS = {b,c} </> {a,b,c} = bS = cbS. Therefore there is not a Right Green Relation
(cRb does not exists because cS <> bS, therefore the Right Green relation isn't a left congruence).

Clearly, there is a flaw in my logic, but I don't know where.

Thanks
 

Answers and Replies

  • #2
brydustin
205
0
aLb iff Sa = Sb. Also acLbc iff Sac = Sbc. But if Sa=Sb then (Sa)c=(Sb)c trivially so. But this shows its a right congruence, by definition.... Funny, no one answered this post, but me.....
 

Suggested for: Green's Relations and Their Congruences

  • Last Post
Replies
17
Views
699
Replies
8
Views
421
Replies
1
Views
202
  • Last Post
Replies
10
Views
744
  • Last Post
Replies
2
Views
665
  • Last Post
Replies
4
Views
541
Replies
8
Views
422
  • Last Post
Replies
1
Views
176
  • Last Post
Replies
1
Views
772
  • Last Post
Replies
4
Views
1K
Top