Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Miguel Serrano
27 de noviembre de 2018
1 Ejercicio 1
Estudiamos los casos de Q∗ , R∗ , C∗ teniendo en cuenta que, dado que Q, R, C son
cuerpos, Q∗ = Q \ {0}, R∗ = R \ {0}, C∗ = C \ {0} .
Q∗ ) Sea q = m ∗ k
n con m, n ∈ Z, m 6= 0, n 6= 0. Si q ∈ Q \ {1, −1}, entonces q 6= 1
k+1 k
yq 6= q para todo k. Con lo cual ningún subgrupo finito puede contener a q, y los
únicos subgrupos finitos que son: {1}, {−1, 1}.
R∗ ) Análoga al caso anterior, las potencias de cualquier real distinto de 1 o -1 son todas
distintas entre sí y distintas de 1, con lo cual los únicos subgrupos finitos son de nuevo:
{1}, {−1, 1}.
1
Si δi es una raíz i-ésima primitiva, entonces hδn , δm i = hδt i con t = mcm(n, m),
y como cualquier raiz de la unidad de primitiva de algún indice esto quiere decir
que dadas dos raíces (primitivas o no) el subgrupo que generan es un subgrupo
cíclico de raíces de la unidad.
⊂ z ∈ hδn , δm i ⇒ z = δnα δm
β
⇒ z t = (δnt )α (δm
t β
) = 1α 1β = 1 ⇒ z ∈ hδt i
Se puede concluir que los subgrupos finitos de C∗ son los generados por una
raíz enésima de la unidad.
2 Ejercicio 2
(i) En primer lugar dZ es obviamente un subgrupo de Z ya que ∀ x = dp, y = dq ∈ dZ
con p, q ∈ Z, x − y = dp − dq = d(p − q) ∈ dZ. Demostramos el doble contenido
para la igualdad M = dZ, con M = hm1 , ...mr i :
⊂ Sea x ∈ M , se sabe que x es una palabra formada por sumas de los elementos
m1 , ..., mr y sus simétricos, se puede sacar por tanto factor común d de forma que
x = dα ∈ dZ para alguna suma α ∈ Z después de sacar factor común.
β1 = mcd(m1 , m2 ) = α1 m1 + α2 m2
β2 = mcd(m1 , m2 , m3) = mcd(β1 , m2 ) = α20 (α1 m1 + α2 m2 ) + α3 m3
...
d = βr = mcd(m1 , m2 , ..., mr) = mcd(βr−1 , mr ) = δ1 m1 + ... + δr mr
ϕ :S → Z ⊂ Q
q 7→ nq
2
que lleva S a un subgrupo isomorfo S 0 con elementos todos enteros. Como S 0 está
finitamente generado, por el apartado (i), S 0 = hdi con d = mcd(nq1 , .., nqr ), de
forma que es un subgrupo cíclico y por el isomorfismo, S también.
(iii) Q no puede estar finítamente generado. Supongamos por reducción al absurdo que
Q = hq1 , ..., qr }, por el resultado (ii) Q debería ser cíclico tal que Q = hqi para algún
q ∈ Q y todo racional sería un suma determinada con sus términos todos q. Pero
esto es absurdo, ya que 2q ∈ Q y 2q 6∈ hqi.