Pagina 1 di 1

Associatività in due variabili (?)

Inviato: 10 ott 2014, 01:42
da Gottinger95
Mah, ehm... l'ho messa in MNE perchè serve la nozione di gruppo, ma non è che sia tanto MNE. :D
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.

Re: Associatività in due variabili (?)

Inviato: 29 ott 2014, 15:04
da jordan
Immagino anche la chiusura rispetto all'operazione stessa :)

Re: Associatività in due variabili (?)

Inviato: 29 ott 2014, 18:16
da EvaristeG
jordan ha scritto:Immagino anche la chiusura rispetto all'operazione stessa :)
Beh è sottintesa dal fatto che $G$ sia un insieme munito di un'operazione; la chiusura va specificata quando consideri un sottoinsieme di una struttura data.