Está en la página 1de 4

ESTRUCTURAS ALGEBRAICAS.

GENERALIDADES TEOREMA DE LAGRANGE Gonzalo Estébanez Pérez

PROBLEMA 3.
Sean 𝐶𝑛 y 𝐶𝑚 grupos cíclicos de órdenes 𝑛 y 𝑚 respectivamente.

Probar que el producto directo, 𝐶𝑛 × 𝐶𝑚 es cíclico si y sólo si


𝑚𝑐𝑑 (𝑛, 𝑚) = 1.
ESTRUCTURAS ALGEBRAICAS. GENERALIDADES TEOREMA DE LAGRANGE Gonzalo Estébanez Pérez

PROBLEMA 3.
Sean 𝐶𝑛 y 𝐶𝑚 grupos cíclicos de órdenes 𝑛 y 𝑚 respectivamente.

Probar que el producto directo, 𝐶𝑛 × 𝐶𝑚 es cíclico si y sólo si


𝑚𝑐𝑑 (𝑛, 𝑚) = 1.

Solución:
"⟹"
Supongamos 𝑚𝑐𝑑 (𝑛, 𝑚) > 1 y veamos que 𝐶𝑛 × 𝐶𝑚 no puede ser
cíclico.
𝑛𝑚 = 𝑚𝑐𝑑(𝑛, 𝑚) · 𝑚𝑐𝑚(𝑛, 𝑚) ⟹ 𝑚𝑐𝑚(𝑛, 𝑚) < 𝑛𝑚.
Sea 𝑙 = 𝑚𝑐𝑚(𝑛, 𝑚) = 𝑘𝑛 = ℎ𝑚.
𝑜(𝑥, 𝑦) ≤ 𝑙, ∀(𝑥, 𝑦) ∈ 𝐶𝑛 × 𝐶𝑚
(𝑥, 𝑦)𝑙 = (𝑥 𝑙 , 𝑦 𝑙 ) = (𝑥 𝑘𝑛 , 𝑦 ℎ𝑚 ) = ((𝑥 𝑛 )𝑘 , (𝑦 𝑚 )ℎ ) = (1,1)
Por tanto 𝑜(𝑥, 𝑦) ≤ 𝑙 < 𝑛𝑚.
Pero |𝐶𝑛 × 𝐶𝑚 | = 𝑛𝑚, luego no puede ser cíclico.
ESTRUCTURAS ALGEBRAICAS. GENERALIDADES TEOREMA DE LAGRANGE Gonzalo Estébanez Pérez

PROBLEMA 3.
Sean 𝐶𝑛 y 𝐶𝑚 grupos cíclicos de órdenes 𝑛 y 𝑚 respectivamente.

Probar que el producto directo, 𝐶𝑛 × 𝐶𝑚 es cíclico si y sólo si


𝑚𝑐𝑑 (𝑛, 𝑚) = 1.

Solución:
"⟸"
𝑚𝑐𝑑 (𝑛, 𝑚) = 1 ⟹ 𝑚𝑐𝑚(𝑛, 𝑚) = 𝑛𝑚
Sean 𝑎, 𝑏 generadores de 𝐶𝑛 y 𝐶𝑚 respectivamente.
𝑜(𝑎, 𝑏) = 𝑛𝑚
𝑜(𝑎, 𝑏) = 𝑘 ⟹ (𝑎, 𝑏)𝑘 = (1,1) ⟹ (𝑎𝑘 , 𝑏𝑘 ) = (1,1) ⟹
⟹ 𝑎𝑘 = 1, 𝑏𝑘 = 1 ⟹ 𝑘 es múltiplo de 𝑛 y de 𝑚 ⟹
⟹ 𝑘 = 𝑚𝑐𝑚(𝑛, 𝑚) = 𝑛𝑚

|𝐶𝑛 × 𝐶𝑚 | = 𝑛𝑚 ⟹ 𝐶𝑛 × 𝐶𝑚 es cíclico (qed).

También podría gustarte