Associatività in due variabili (?)
Inviato: 10 ott 2014, 01:42
Mah, ehm... l'ho messa in MNE perchè serve la nozione di gruppo, ma non è che sia tanto MNE.
Sia \( (G,*)\) un insieme munito di una operazione con le seguenti proprietà:
1. Esistenza del neturo, esistenza dell'inverso;
2. Invece dell'associatività, abbiamo la proprietà del "semplinverso": \(\forall x,y\in G \ x(x^{-1}y) = y\)
Dimostrare che \((G,*)\) è un gruppo.
Sia \( (G,*)\) un insieme munito di una operazione con le seguenti proprietà:
1. Esistenza del neturo, esistenza dell'inverso;
2. Invece dell'associatività, abbiamo la proprietà del "semplinverso": \(\forall x,y\in G \ x(x^{-1}y) = y\)
Dimostrare che \((G,*)\) è un gruppo.