gruppi e semigruppi

[ficus2002]

Sia $ (S,\star) $ un semigruppo; $ (S;\star) $ è un gruppo se possiede uno ed un solo elemento neutro a destra $ e $ e per ogni $ s\in S $ esiste un inverso sinistro $ s'\in S $.