Gruppoide con divisione (algebra)

Messaggioda mauro742 » 13/04/2006, 10:49

Un gruppoide si dice con divisione se soddisfa le seguenti condizioni:

1) $ AAx in G, G ** x = G $
2) $ AAy in G, y ** G = G $

Dove * è la legge di composizione binaria.

Come dimostrare che il gruppoide <C, *> sull'insieme C dei numeri complessi è un gruppoide con divisione?
L'operazione * è così definita: $ x ** y = x^2 - y^2$

Grazie!

Mauro
mauro742
Starting Member
Starting Member
 
Messaggio: 8 di 46
Iscritto il: 25/03/2006, 12:18

Messaggioda karl » 13/04/2006, 11:25

Potrei sbagliare di grosso ma la dimostrazione puo' essere questa.
Siano g=a+bi,x=p+iq,y=r+is 3 elementi di G.
Comunque si scelgano g,x, y si ha:
$x**g=x^2-g^2=(p+iq)^2-(a+ib)^2=(p^2-a^2+b^2-q^2)+i(2pq-2ab)$
$g**y=g^2-y^2=(a+ib)^2-(r+is)^2=(a^2-r^2+s^2-b^2)+i(2ab-2rs)$

e come si vede sia x*g che g*y appartengono a G.
Archimede
karl
 

Messaggioda mauro742 » 13/04/2006, 11:56

L'avevo pensata anche io così, ma ho prima ho trovato:

G * x è l'insieme ${g ** x | g in G}$

L'operazione * non va fatta su OGNI elemento di G? O ho capito male?

Non dovrei quindi ottenere l'insieme di partenza (gruppoide)?
mauro742
Starting Member
Starting Member
 
Messaggio: 9 di 46
Iscritto il: 25/03/2006, 12:18

Messaggioda karl » 13/04/2006, 12:29

Se non ho capito male,tu dici che l'operazione "*" va fatta sugli elementi di G.
A me sembra tuttavia che questi elementi, essendo del tipo ((m+in)^2-(m'+in')^2 , sono
comunque riconducibili alla forma u+iv.
Vediamo se qualche altro conferma o no queste considerazioni.
Archimede
karl
 

Messaggioda ficus2002 » 13/04/2006, 21:02

archimede ha dimostrato che $G star x \subseteq G$ e $y star G\subseteq G$. Ora bisogna provare che per ogni $g in G$ esistono $u,v in G$ tali che $u star x = g$ e $y star v = g$ per ogni $x,y in G$ fissati.
ficus2002
Average Member
Average Member
 
Messaggio: 100 di 640
Iscritto il: 09/02/2006, 17:35


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite