.........................................................

3
................................................................................... 3
........................................................................................... 3
................................................................................................... 3
.................................................................................................................... 6
.................................................................................................... 6
.................................................................................................................... 9
................................................................................... 9
.................................................................................................................. 10
.......................................... 10
..................................................................................... 10
............................................................................................................ 11
................................................................................................ 11
.................................................................................. 11
𝑌 𝐺 𝑌 𝐺 𝑌
𝑥1 , … , 𝑥𝑟
𝑌
𝑟

|𝑌| = ∑|𝑜𝑟𝑏𝐺 (𝑥𝑖 )|.

𝑖=1
 𝑥 𝐺
𝜎∈𝐺 𝜎𝑥 = 𝑥 𝜎∈𝐺

𝑌 𝐺 ≔ {𝑥 ∈ 𝑌 ∶ 𝜎𝑥 = 𝑥, 𝑝𝑎𝑟𝑎 𝑡𝑜𝑑𝑜 𝜎 ∈ 𝐺},

𝑌𝐺 𝑠 = |𝑌 𝐺 |
0 ≤ 𝑠 ≤ 𝑟. 𝑥1 , … , 𝑥𝑠
𝑥𝑠+1 , … , 𝑥𝑟

|𝑌| = |𝑌 𝐺 | + ∑ |𝑜𝑟𝑏𝐺 (𝑥𝑖 )|.

𝑖=𝑠+1

𝐺 𝑌=𝐺 𝐺
𝐺
𝑜𝑟𝑏𝐺 (𝑥) = {𝑥}
𝑔𝑥𝑔−1 = 𝑥 𝑔𝑥 = 𝑥𝑔 𝑔∈𝐺 𝑥
𝑍(𝐺) 𝐺

𝑌 𝐺 = 𝑍(𝐺).

𝐶1 , … , 𝐶𝑡 𝐺

|𝐺| = |𝑍(𝐺)| + ∑ |𝐶𝑖 |.

𝑖=𝑠+1

𝐺.
 𝐺 𝑝 𝐺
𝐺 𝑝 𝐺
𝑝
 𝐺 𝑛
𝑝 𝑛 = 𝑝𝑚 𝑡 𝑚≥1 𝑝∤𝑡 𝐺
𝑝𝑗 𝑗 1≤𝑗≤𝑚
 𝐺 𝑛
𝐻1 𝐻2 𝑝 𝐺 𝐻1 𝐻2

Teorema de Sylow. Conjunción, tomado de Alexmoqui, recuperado de

 𝐺 𝑛 𝑝
𝑝|𝑡 𝑛𝑝 𝑝 𝐺

1 𝑝 𝑛𝑝 = [𝐺: 𝑁𝐺 (𝑃)] 𝑃 𝑝

𝐺 𝑛𝑝 𝑛 𝐺
Teorema de cauchy, tomado de cosenodetheta (2016), recuperado
de