Calculando Grupos de Galois sobre os Racionais - Universidade ...
Calculando Grupos de Galois sobre os Racionais - Universidade ...
Calculando Grupos de Galois sobre os Racionais - Universidade ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
3. H ≤ G, N E G ⇒ HN = {hn; h ∈ H, n ∈ N} ≤ G;<br />
4. N1,N2 E G ⇒ N1N2 E G;<br />
5. H ≤ G, N E G ⇒ H ∩ N E H. ¥<br />
Prop<strong>os</strong>ição 1.4 Sejam G um grupo e HEG. Então ( G , ¯) éumgrupo,on<strong>de</strong>¯é<strong>de</strong>finida H<br />
por<br />
G<br />
H<br />
G G<br />
¯ : × H H<br />
→ G<br />
H<br />
(xH, yH) 7→ xyH.<br />
é chamado grupo quociente <strong>de</strong> G por H. ¥<br />
Seja G um grupo. Definam<strong>os</strong> em G a seguinte relação:<br />
x, y ∈ G, x˜ G y ⇔∃g ∈ G tal que y = g −1 xg.<br />
Prova-se que ˜ G é uma relação <strong>de</strong> equivalência em G. Se x ∼ G y, dizem<strong>os</strong> que x e y são<br />
conjugad<strong>os</strong> em G. Dado x ∈ G, a classe <strong>de</strong> equivalência <strong>de</strong> x em G <strong>de</strong>terminada por ∼ G é<br />
Cx = {g −1 xg; g ∈ G}<br />
e é chamada <strong>de</strong> classe <strong>de</strong> conjugação <strong>de</strong> x em G;<br />
Prop<strong>os</strong>ição 1.5 Seja G um grupo finito. Então:<br />
1. |Cx| |divi<strong>de</strong> |G| e Cx = {x} ⇔ x ∈ Z(G);<br />
2. |G| = |Z(G)| + P<br />
|Cxi| (Equação das Classes). ¥<br />
xi /∈Z(G)<br />
Um homomorfismo entredoisgrup<strong>os</strong>G, G 0 é uma função f : G −→ G 0 queécompatível<br />
com suas operações, isto é,<br />
f(xy) =f(x)f(y), ∀x, y ∈ G.<br />
No caso em que G = G 0 ,dizem<strong>os</strong>quef éumendomorfismo. Se f : G −→ G 0 éum<br />
homomorfismo bijetor, chamam<strong>os</strong> f <strong>de</strong> isomorfismo e dizem<strong>os</strong> que G e G 0 são isomorf<strong>os</strong><br />
(notação:G ∼ = G 0 ). No caso em que G = G 0 , dizem<strong>os</strong> que f éumautomorfismo. O<br />
conjunto d<strong>os</strong> automorfism<strong>os</strong> <strong>de</strong> um grupo G será <strong>de</strong>notado por Aut(G). Dado g ∈ G, a<br />
função Ψg : G −→ G <strong>de</strong>finida por Ψg(x) =g −1 xg éumautomorfismo. Ψg é chamado<br />
<strong>de</strong> automorfismo interno <strong>de</strong> G. Notação: Inn(G) representará o conjunto <strong>de</strong> tod<strong>os</strong> <strong>os</strong><br />
automorfism<strong>os</strong> intern<strong>os</strong> <strong>de</strong> um grupo G.<br />
5