Passa al tema normale
Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

Gruppoide con divisione (algebra)

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

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

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)?

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

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.
Rispondi al messaggio


Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.