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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Uma ação <strong>de</strong> um grupo G <strong>sobre</strong> um conjunto não-vazio X éumafunção<br />

que satisfaz:<br />

(i) e ∗ x = x, ∀x ∈ X;<br />

∗ : G × X −→ X<br />

(g, x) 7−→ g ∗ x<br />

(ii) (gg 0 ) ∗ x = g ∗ (g 0 ∗ x), ∀g, g 0 ∈ G, ∀x ∈ X.<br />

Neste caso, dizem<strong>os</strong> que G age <strong>sobre</strong> X. Todo grupo G age <strong>sobre</strong> si mesmo (aqui<br />

X = G) por conjugação: basta <strong>de</strong>finir g ∗ x = g −1 xg, ∀g ∈ G, ∀x ∈ X. Por outro lado, se<br />

X = {1, 2,...,n} e G ≤ Sn, então a função<br />

∗ : G × X −→ X<br />

(σ, j) 7−→ σ(j)<br />

é uma ação <strong>de</strong> G <strong>sobre</strong> X. Sejam G um grupo, X um conjunto qualquer não-vazio e<br />

suponham<strong>os</strong> que G age <strong>sobre</strong> X por ∗ esejax ∈ X. A órbita contendo x (sob G),<br />

<strong>de</strong>notada por G ∗ x, é<strong>de</strong>finida como sendo<br />

G ∗ x = {g ∗ x; g ∈ G}.<br />

| G ∗ x | é chamado <strong>de</strong> comprimento da órbita contendo x. O conjunto das órbitas <strong>de</strong> X,<br />

G ∗ X = {G ∗ x; x ∈ X}<br />

particiona X. Esta partição <strong>de</strong> X induz uma partição <strong>de</strong> | X |, chamada <strong>de</strong> partição do<br />

comprimento das órbitas <strong>de</strong> X sob G. Esta partição <strong>de</strong> | X | consiste d<strong>os</strong> compriment<strong>os</strong><br />

dasórbitasdistintas<strong>de</strong>X sob G. Dado um grupo G, uma representação <strong>de</strong> G éum<br />

homomorfismo ϕ <strong>de</strong> G em algum grupo G 0 . Se Ker(ϕ) ={e}, dizem<strong>os</strong> que a representação<br />

é fiel. No caso em que G 0 ≤ Sn, dizem<strong>os</strong> que ϕ éumarepresentação por permutações.<br />

Prop<strong>os</strong>ição 1.20 A cada ação correspon<strong>de</strong> uma representação e vice-e-versa. ¥<br />

Sejam G um grupo, X um conjunto qualquer não-vazio e suponham<strong>os</strong> que G age<br />

<strong>sobre</strong> X por ∗. Dizem<strong>os</strong> que G age transitivamente <strong>sobre</strong> X se G ∗ x = X, ∀x ∈ X.<br />

Isto é equivalente a dizer que a ação <strong>de</strong> G <strong>sobre</strong> X p<strong>os</strong>sui uma única órbita, ou seja,<br />

G ∗ X = {X}. Dizem<strong>os</strong> também que a representação induzida pela última prop<strong>os</strong>ição é<br />

23

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

Saved successfully!

Ooh no, something went wrong!