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.
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