Ciao a tutti, avrei una domanda che per molti di voi potrà essere banale.
In un gruppo la proprietà di cancellazione è facilmente dimostrabile visto che per ogni elemento esiste ed è unico l'inverso.
Ma in un moniode quali sono le condizioni necessarie e sufficienti che permettono di applicare la proprietà di cancellazione?
Esempio: nell'insieme dei numeri naturali N si consideri l'operazione * (che può essere sia la moltiplicazione che la addizione)se a*b=a*c allora b=c. Anche se sembra scontato non capisco una cosa.. per arrivare a scivere b=c devo utilizzare gli elementi inversi ma questi elementi, visto che stò lavorando in un monoide, non appartengono all'insieme N
Vi ringrazio in anticipo per il vostro aiuto !!