Operazione su un insieme ed elemento simmetrico.

G.D.5
Sia $A$ un insieme e sia $\sigma : A \times A \rightarrow A$ una operazione su $A$.
Se $\sigma$ è associativa ed ammette elemento neutro $e$, allora il simmetrico di un certo elemento $x \in A$, se esiste, è unico.

Domanda: se $\sigma$ non è associativa ma ammette elemento neutro $e$, il simmetrico di un $x in A$, se esiste, è ugualmente unico?

La mia risposta: no. Ma non riesco a costruirmi un esempio di operazione non associativa ma dotata di elemento neutro per la quale c'è almeno un suo elemento che abbia due simmetrici distinti. Forse perché la mia risposta è sbagliata?

Risposte
G.D.5
Nessuna idea?

Io non ne ho: sbatto continuamente contro applicazioni che sono non associative e senza elemento neutro: non mi riesco a costruire una applicazione non associativa ma con elemento neutro per vedere se in questo caso il simmetrico possa non essere unico.

adaBTTLS1
io finora non ci sono riuscita, e vado a "cozzare" con il problema della "commutatività": si sa nulla al riguardo?
mi spiego meglio: se non ricordo male, l'elemento neutro, se c'è, deve essere lo stesso a sinistra e a destra, ma il simmetrico, se l'operazione non è commutativa? conta l'eventuale doppio simmetrico se se ne considera uno a destra ed uno a sinistra?

rubik2
cosa si intende per simmetrico?

G.D.5
@rubik

Sia $S$ un insieme e sia $sigma : S times S to S$ una operazione interna definita su $S$. Sia $S$ dotato di elemento neutro $e$: si dice che un elemento $x in S$ è simmetrizabile se e solo se $exists x' in S : x sigma x' = e = x' sigma x$.
L'elemento $x'$ è detto simmetrico di $x$ rispetto a $\sigma$.


@adaBTTLS

Con l'eventuale doppio simmetrico dovremmo ammettere che $\exists x \in S : \exists x', x'' \in S: x sigma x' = x' sigma x = e \wedge x sigma x'' = x'' sigma x = e \text{ con } x'!=x''$. E da qui come suggerisci di muovere?

adaBTTLS1
io come te ho trovato difficoltà, cercando esempi di leggi non associative, ad individuare un elemento neutro.
se hai un'idea (tipo scartare leggi commutative o concentrarsi su leggi commutative, dillo).

G.D.5
Mah, idee vere e proprie non ne ho: ieri sera ho provato a fare una operazione su un insieme di quattro elementi, ho stabilito che uno di questi quattro fosse quello neutro, ho scritto la composizione in modo che non fosse associativa per il primi due (i.e. componendo il primo con se stesso e poi col secondo il risultato era diverso da quello che si ottiene componendo il primo col secondo e poi ancora col primo), ma quando ho preso in esame il quarto e gli ho dato elemento neutro il secondo è venuto fuori che la composizione era associativa.

Mah...

Stasera faccio qualche altro test.

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.