1
$\begingroup$

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.

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

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.

$\endgroup$
  • $\begingroup$ 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? $\endgroup$ – user2973447 Nov 28 '16 at 14:37
  • 1
    $\begingroup$ You can leave it as it is unless you still have doubts on your answer to the question. $\endgroup$ – J.-E. Pin Nov 28 '16 at 14:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.