Sui gruppi

Dorian1
Sia $G$ un gruppo (rispetto ad un'operazione $*$) ed $H$ un sottoinsieme di $G$ non vuoto. Dare una condizione necessaria e sufficiente affinchè $H$ sia sottogruppo di $G$. (postare, oltre alla risposta, una dimostrazione!)

Risposte
Jordano1
H Sottogruppo di G $iff$ $a^-1 b in H $ per ogni $a,b in H $


$=>$

se H è un sottogruppo di G, $a^-1$ e $b$ appartengono ad H, quindi anche $a^-1 b in H$

$<=$ non viene bene ma è l'altra implicazione intendevo.... però non c'è il simbolino.

bisogna vedere se H è un gruppo rispetto all'operazione indotta in esso da G

l'operazione rimane ovviamente associativa visto che ogni elemento di H è anche elemento di G
$a^-1 a = e in H$ l'elemento neutro appartiene ad H quindi
se $a$ appartiene ad H, $a^-1 e = a^-1 in H$ quindi ogni elemento di H ha il suo inverso in H

quindi H è un sottogruppo di G.

Dorian1
Può andare!

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