Professional Documents
Culture Documents
(b) Sea S ⊂ A un subconjunto multiplicativamente cerrado tal que σ(S) ⊂ S para cada
σ ∈ G y denotemos S G = S ∩ AG . Probar que la acción de G sobre A se extiende a
( )G
una acción de G sobre S −1 A, y que (S G )−1 AG ∼
= S −1 A .
Antes de comenzar con la solución enunciaremos algunos resultados de [AM73] que utilizare-
mos posteriormente:
Corolario 3.2. Sea ϕ : A → B es un homomorfismo de anillos, S ⊂ A un conjunto multiplicativo
y f : A → S −1 A la inclusión. Supongamos que
• Si s ∈ S, ϕ(s) es una unidad de B.
• ϕ(a) = 0 implica que as = 0 para algún s ∈ S.
• Cada elemento de B es de la forma ϕ(a)ϕ(s)−1 , para ciertos a ∈ A, s ∈ B.
Entonces existe un isomorfismo único h : S −1 A → B tal que ϕ = h ◦ f .
Proposición 1.11. i) Sean p1 , . . . , pn ideales primos y sea a un ideal contenido en ∪ni=1 pi . Entonces
a ⊆ pi para algún i.
Corolario 5.9. Sean A ⊆ B anillos, con B entero sobre A. Sea q, q′ ideales primos de B tales
que q ⊆ q′ y qc = q′c . Entonces q = q′ .
Solución.
(a) En primer lugar notemos que AG es en efecto un subanillo (ya que σ(1) = 1, σ(a + b) =
σ(a) + σ(b) = a + b y σ(ab) = σ(a)σ(b) = ab para todo σ ∈ G y a, b ∈ AG ). Para ver que A
es entero sobre AG , sea x ∈ A y nombremos los elementos de G como G = {σ1 , . . . , σn } de
modo que σ1 = idA . Consideremos el polinomio
∏
n
p(t) = (t − σi (x)) ∈ A[t],
i=1
que satisface:
• p tiene a x como raíz, ya que t − x divide a p.
• p es mónico.
• Los coeficientes de p son G-invariantes, es decir, pertenecen a AG : notemos que para
0 ≤ i ≤ n, el coeficiente del término i-ésimo de p es (−1)n−i ei (σ1 (x), . . . , σn (x)), donde
los ei son los polinomios simétricos elementales en n variables. En particular se tiene,
para cada σ ∈ G,
( ) ( )
σ (−1)n−i ei (σ1 (x), . . . , σn (x)) = (−1)n−i ei στ (1) (x), . . . , στ (n) (x)
para alguna permutación τ ∈ Sn , de donde deducimos que p ∈ AG [t].
1
Por lo tanto, A es entero sobre AG .
(b) Definamos la acción de G sobre S −1 A como σ(a/s) := σ(a)/σ(s) para cada σ ∈ G. Dicha
a1 a2
definición no depende de los representantes tomados ya que si = entonces existe un
s1 s2
t ∈ S tal que (a1 s2 − a2 s1 ) t, así que para cada σ
σ(a1 ) σ(a2 )
y como σ(t) ∈ S, concluimos que = . Además la acción definida respeta sumas
σ(s1 ) σ(s2 )
y productos. Verificarlo para los productos es directo y para las sumas:
( ) ( ) ( ) ( )
a1 a2 a1 s2 + a2 s1 σ (a1 s2 + a2 s1 ) σ(a1 ) σ(a2 ) a1 a2
σ + =σ = = + =σ +σ .
s1 s2 s1 s2 σ(s1 s2 ) σ(s1 ) σ(s2 ) s1 s2
Por lo tanto con esta acción vemos G como un subgrupo de Aut(S −1 A) y tiene sentido
( )G
considerar S −1 A .
( )G
Probemos ahora que (S G )−1 AG ∼ = S −1 A . Notemos antes de nada que S G es un conjunto
multiplicativo pues es la intersección de un conjunto multiplicativo y un subanillo. Por otro
lado, podemos consideremos el siguiente homomorfismo
( )G
ϕ : AG −→ S −1 A ,
a 7−→ a/1.
ϕ está bien definida pues si a ∈ AG , entonces σ(a/1) = σ(a)/σ(1) = a/1. Además cumple:
( )G
• Para cada s ∈ S G , ϕ(s) = s/1 es una unidad de S −1 A .
• Si ϕ(a) = a/1 = 0, debe darse que at = 0 para algún t∏∈ S G . En efecto, sabemos que
at′ = 0 para algún t′ ∈ S. Consideremos entonces t = ni=1 σi (t′ ), que es divisible por
t′ , de modo que at = 0 y t ∈ S G .
( )G
• Todo elemento de S −1 A es de la forma ϕ(a)ϕ(s)−1 con a ∈ AG y s ∈ S G . Sea a/s ∈
( −1 )G ∏
S A y s′ = ni=2 σi (s). Se tiene que ss′ ∈ S G y como producto de invariantes es
ss′ a as′ ( )G
invariante, = ∈ S −1 A . Esto quiere decir que, para cada σ ∈ G, existe
1 s 1
tσ ∈ S tal que σ(as′ )tσ = as′ tσ . Finalmente, definamos
( )
∏ ∏
t= τ tσ .
τ ∈G σ∈G
Luego as′ t ∈ AG . Concluimos que a/s = as′ t/ss′ t, donde as′ t ∈ AG y ss′ t ∈ S G .
Se sigue de las tres observaciones anteriores y de [AM73, Cor 3.2] que ϕ factoriza a través
( )G
de un isomorfismo (S G )−1 AG → S −1 A .
2
∏
(c) Sea x ∈ P y consideremos ni=1 σi−1 (x) ∈ P ∩ AG = P ′ ∩ AG . Como P ′ es primo, existe
algún σ ∈ G tal que σ −1 (x) ∈ P ′ y por lo tanto x ∈ σ(P ′ ), que es también un ideal primo.
Tenemos entonces
∪n
P ⊆ σ(P ′ )
i=1
y gracias a [AM73, Prop. 1.11.i)] deducimos que P ⊆ σ(P ′ ) para algún σ ∈ G. Veamos
ahora que los contraídos de P y σ(P ′ ) respecto de la inclusión AG ,→ A son iguales para
aplicar [AM73, Cor. 5.9.], ya que por (a) A es entero sobre AG . Esto es equivalente a probar
que P ∩ AG = σ(P ′ ) ∩ AG , lo cual es cierto pues
Referencias
[AM73] Michael Francis Atiyah and Ian Grant Macdonald. Introducción al álgebra conmutativa.
Reverté, 1973. 1, 2, 3