Salve sono uno studente di Informatica che sta approfondendo alcuni argomenti sui semigruppi e nel farlo ho incontrato un problemino in questo esercizio:
Sia $S$ un semigruppo privo di identità. Mostrare che $S$ è cancellativo senza idempotenti se e solo se $S^1$ è un monoide cancellativo.
Per mostrare la prima parte ($\Rightarrow$) ho considerato, essendo $S^1 = S uu {1}$, allora $S^1$ è un monoide, per provare che è cancellativo ho detto che $AA t_1, t_2 in S^1$ si ha che
$1*t_1 = 1*t_2 rArr t_1 = t_2$ e
$t_1*1 = t_2*1 rArr t_1 = t_2$ (sia a destra che a sinistra perché 1 è identità),
per cui $S^1$ è un monoide cancellativo.
Per la seconda parte ($lArr$), in modo "analogo" a prima, se $S^1$ è cancellativo, allora $S = S^1 \\ {1}$ è ancora cancellativo.
A questo punto, per dimostrare che $S$ non abbia idempotenti volevo procedere per assurdo, però mi sono bloccato, l'idea era utilizzare l'ipotesi che $S$ è cancellativo per trovare un assurdo.
Nel caso abbia sbagliato qualcosa nel procedimento o nel capire qualche definizione, tutti gli aiuti sono ben accetti, sto praticamente studiando la materia da solo e spero che i miei ragionamenti fìlino.