Associatività in due variabili (?)

Analisi, algebra lineare, topologia, gruppi, anelli, campi, ...
Rispondi
Gottinger95
Messaggi: 486
Iscritto il: 01 lug 2011, 22:52

Associatività in due variabili (?)

Messaggio 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.
\( \displaystyle \sigma(A,G) \ \ = \sum_{Y \in \mathscr{P}(A) } \dot{\chi_{|G|} } (Y) \) bum babe
Avatar utente
jordan
Messaggi: 3988
Iscritto il: 02 feb 2007, 21:19
Località: Pescara
Contatta:

Re: Associatività in due variabili (?)

Messaggio da jordan »

Immagino anche la chiusura rispetto all'operazione stessa :)
The only goal of science is the honor of the human spirit.
EvaristeG
Site Admin
Messaggi: 4896
Iscritto il: 01 gen 1970, 01:00
Località: Roma
Contatta:

Re: Associatività in due variabili (?)

Messaggio 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.
Rispondi