15.04.2013 Views

Calculando Grupos de Galois sobre os Racionais - Universidade ...

Calculando Grupos de Galois sobre os Racionais - Universidade ...

Calculando Grupos de Galois sobre os Racionais - Universidade ...

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!