Calculando Grupos de Galois sobre os Racionais - Universidade ...
Calculando Grupos de Galois sobre os Racionais - Universidade ...
Calculando Grupos de Galois sobre os Racionais - Universidade ...
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Prop<strong>os</strong>ição 1.6 Seja G um grupo. Então (Aut(G), ◦) é um grupo e, além disso, Inn(G)E<br />
Aut(G). ¥<br />
Prop<strong>os</strong>ição 1.7 Sejam G, G 0 grup<strong>os</strong> com i<strong>de</strong>ntida<strong>de</strong>s e, e 0 , respectivamente e ϕ : G −→<br />
G 0 um homomorfismo. Vale o seguinte:<br />
1. Im(ϕ) =ϕ(G) ={ϕ(g); g ∈ G} ≤ G 0 ;<br />
2. Ker(ϕ) ={g ∈ G; ϕ(g) =e 0 } E G (Ker(ϕ) é <strong>de</strong>nominado núcleo do homomorfismo<br />
ϕ) emais,ϕ éinjetorse,esomentese,Ker( ϕ) ={e}. ¥<br />
Teorema 1.2 (d<strong>os</strong> Homomorfism<strong>os</strong>) Sejam G, G 0 grup<strong>os</strong> e ϕ : G −→ G 0 um homo-<br />
morfismo. Então<br />
Corolário 1.3 Seja G um grupo qualquer.<br />
G<br />
Ker(ϕ) ∼ = Im(ϕ).<br />
1. Se G é um grupo cíclico, então G ∼ = (Z, +) se |G| = ∞ e G ∼ = Zn, se|G| = n;<br />
2. Inn(G) ∼ = G<br />
Z(G) ;<br />
3. Se X = {x1,x2,...,xn}, então (P(X), ◦) ∼ = Sn, on<strong>de</strong>P(X) <strong>de</strong>nota o conjunto das<br />
permutações d<strong>os</strong> element<strong>os</strong> <strong>de</strong> X. ¥<br />
Prop<strong>os</strong>ição 1.8 Sejam m, n, s inteir<strong>os</strong> p<strong>os</strong>itiv<strong>os</strong> tais que s m ≡ 1mod(n). Então existe,<br />
a men<strong>os</strong> <strong>de</strong> isomorfism<strong>os</strong>, um único grupo G, com|G| = nm, gerado por dois element<strong>os</strong><br />
a, b ∈ G satisfazendo às seguintes relações:<br />
⎧<br />
⎪⎨<br />
a<br />
⎪⎩<br />
n = e<br />
bm = e<br />
a = b −1 a s b.<br />
Neste caso, G = {a i b j ;0≤ i ≤ n − 1, 0 ≤ j ≤ m − 1}. ¥<br />
OgrupoG tal que<br />
|G| =2n, n ∈ N,G= ha, bi,a n = b 2 = e e a = b −1 a s b, n, s ∈ N<br />
6<br />
¥