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

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

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.

• 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
• 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