Dimostrare che ogni semigruppo finito in cui valgono le leggi di cancellazione è un gruppo.
(In un semigruppo $(S;*)$ si dice che valgono le leggi di cancellazione se
da $a*b=a*c$ segue $b=c$
da $b*a=c*a$ segue $b=c$)
Torna a Algebra, logica, teoria dei numeri e matematica discreta
Visitano il forum: Nessuno e 1 ospite