Showing that (T,) is a semigroup where T is the trace and is defined inside

Question

Let $D$ be a $D−class$ of a semigroup $S$. The Trace of $D$ is $T = D ∪ {0}$ where $0$ is a symbol not in $D$. Define a binary operation $∗$ on $D$ by:

$a ∗ b = ab$ for $a, b ∈ D$ and $ ab ∈ R_a ∩ L_b$

$a*b = 0$ otherwise

Show that $(T, ∗)$ is a semigroup.

I am having issues showing associativity for this! Any help would be much appreciated.

The operation $*$ should be defined on $T$, not on $D$. – J.-E. Pin Nov 28 '16 at 11:34 — J.-E. Pin, Nov 28 '16 at 11:34

score 1 · Accepted Answer · answered Nov 28 '16 at 11:45

1

Hint. Use the fact (due to Miller and Clifford 1956) that $ab \in R_a \cap L_b$ if and only if $R_b \cap L_a$ contains an idempotent.

answered Nov 28 '16 at 11:45

J.-E. Pin

40,163

Thanks! I was able to figure out the answer from this! I'm still a newbie to this site so I was wondering whether I am supposed to type out the answer in a comment below your post, as an "answer your own question" or leave it as it is? – user2973447 Nov 28 '16 at 14:37
1

You can leave it as it is unless you still have doubts on your answer to the question. – J.-E. Pin Nov 28 '16 at 14:42

Showing that (T,*) is a semigroup where T is the trace and * is defined inside

1 Answers1

Showing that (T,) is a semigroup where T is the trace and is defined inside