Endomorsmo de Frobenius

En lgebra conmutativa y teora de cuerpos, que son ra- En general, F no es un automorsmo. Ya que este puede
mas de las matemticas, el endomorsmo de Frobenius no ser inyectivo o sobreyectivo.
(llamado as en honor de Ferdinand Georg Frobenius) es
Si el anillo R no tiene elementos nilpotentes, entonces F es
un endomorsmo de anillos de caracterstica un nme- inyectivo: F (r) = 0 signica rp = 0 , que por denicin
ro primo. En ciertos contextos es un automorsmo, pero
implica que r es nilpotente de orden menor o igual a p. En
este hecho no es cierto en general. particular, si R es un cuerpo entonces el automorsmo de
Frobenius es inyectivo.
El endomorsmo de Frobenius tampoco es necesaria-
1 Denicin mente sobreyectivo. Por ejemplo, sea K el cuerpo Fp(t),
es decir, un cuerpo nito con p elementos junto con
Sea R un anillo conmutativo de caracterstica un nmero un solo elemento trascendente. Podemos armar que la
primo p (la caracterstica de un dominio de integridad R imagen de F no contiene t. Demostraremos este hecho
es un siempre un nmero primo). El endomorsmo de por contradiccin: Suponemos que existe un elemento
Frobenius F se dene como de K cuya imagen al aplicarle F es t. Dicho elemento
es una funcin racional q(t)/r(t) cuya potencia p-esima
(q(t)/r(t))p es igual a t. Esto implica que p(deg q - deg r)
F (r) = rp = 1, lo cual es imposible. Por lo que F no es exhaustiva
(suprayectiva) y por tanto no es un automorsmo.
para todo r de R. Se puede ver como esta aplicacin res-
peta la multiplicacin de elementos de R: Un cuerpo K es llamado perfecto si su caracterstica es
0 o si tiene caracterstica positiva y el endomorsmo de
Frobenius es un automorsmo, esto equivale a decir que
todo elemento de K es una raz p-sima de un elemento
F (rs) = (rs)p = rp sp = F (r)F (s) , de K. Por ejemplo, todos los cuerpos nitos son perfectos.
adems es claro que F(1)=1. Usando el teorema del bi-
nomio y el hecho de que p es primo, se puede ver que
los coecientes de todos los trminos de la expansin de
rp +sp excepto rp y sp son divisibles por p, la caracterstica
2 Puntos jos en el endomorsmo
de R, por lo que son iguales a cero, por lo tanto de Frobenius

Sea R un dominio de integridad. La aplicacin de Frobe-

F (r + s) = (r + s)p = rp + sp = F (r) + F (s) . nius deja jos todos los elementos de R que satisfacen la
ecuacin xp = x. Estas son todas las races de la ecuacin
Esto demuestra que F es un homomorsmo de anillos. xp - x, y como esta ecuacin tiene grado p, hay como mu-
Si : R S es un homomorsmo de anillos de caracte- cho p races. Estas son exactamente los elementos 0, 1, 2,
rstica p, entonces ..., p - 1, as que el conjunto de puntos jos de F denen
un cuerpo primo.
Iterando la aplicacin de Frobenius obtenemos una se-
(xp ) = (x)p . cuencia de elementos de R:

Si FR y FS son los endomorsmos de Frobenius de R y S

respectivamente, entonces podemos escribir esto como: 2 3
x, xp , xp , xp , . . .

FR = FS . Aplicando iterativamente e veces F a un anillo que con-

tenga un cuerpo K de pe elementos se obtiene un conjunto
Esto signica que el endomorsmo de Frobenius es una de puntos jos igual a K, similar al ejemplo anterior. Los
transformacin natural del funtor identidad en la catego- iterados de la aplicacin de Frobenius se usan para denir
ra de los anillos de caracterstica p en s misma. la clausura de Frobenius y la clausura estricta de un ideal.

1
2 6 ENLACES EXTERNOS

3 Frobenius para cuerpos nitos 5 Vase tambin

Para cuerpos nitos el endomorsmo de Frobenius es un Ferdinand Georg Frobenius
automorsmo, ya que es inyectivo (por tratarse de cuer-
pos) y toda aplicacin inyectiva entre conjuntos nitos
es una permutacin. Resulta que el grupo de Galois de 6 Enlaces externos
una extensin de cuerpos nitos es generado iterando el
automorsmo de Frobenius, es decir es un grupo cclico Hazewinkel, Michiel, ed. (2001), Frobenius auto-
generado por el Frobenius. morphism, Encyclopaedia of Mathematics (en in-
Consideremos el caso cuando el cuerpo de base es Fp el gls), Springer, ISBN 978-1556080104
cuerpo con un nmero primo p de elementos. Sea Fq el
campo nito de q elementos, con q = pe . El automor- Hazewinkel, Michiel, ed. (2001), Frobenius endo-
smo de Frobenius F de Fq ja Fp, por lo que es un ele- morphism, Encyclopaedia of Mathematics (en in-
mento del grupo de Galois Gal(Fq/Fp). De hecho, como gls), Springer, ISBN 978-1556080104
Fq es cclico con q-1 elementos, sabemos que el grupo
de Galois es cclico y F es un generador. El orden de F
es e ya que F e acta en un elemento x mandndolo a xq ,
y esto corresponde a la identidad en Fq. Todo automor-
smo de Fq es una potencia de F, y los generadores son
potencias de F i con i coprimo a e.
Cuando el cuerpo base Fq es una extensin no trivial
del cuerpo con un nmero primo de elementos Fp, con
q=p^e, y consideramos una extensin Fqf , el automors-
mo de Frobenius F de Fqf no ja el cuerpo F (de hecho
ja F), por lo que necesitamos considerar el e-isimo ite-
rado Fe . El grupo de Galois Gal(Fqf /Fq) es cclico de
orden f y es generado por Fe . Los generadores, entonces
son potencias Fei con i coprimo a f.
El automorsmo de Frobenius no es un generador del gru-
po de Galois absoluto

( )
Gal Fq /Fq ,

ya que este grupo es isomorfo a

b = lim Z/nZ,
Z
n
que no es cclico. Sin embargo, como el automorsmo de
Frobenius es un generador del grupo de Galois de toda
extensin nita de Fq, es un generador de todo cociente
nito del grupo de Galois absoluto. Por lo tanto, es un
generador topolgico del grupo de Galois absoluto en el
sentido de la topologa de Krull.

4 Frobenius para esquemas

Existen diversas maneras de denir el morsmo de Fro-
benius para un esquema. La ms fundamental es el mor-
smo absoluto de Frobenius. No obstante, el morsmo
absoluto de Frobenius tiene propiedades dbiles en la si-
tuacin relativa porque neglige el esquema de base. Exis-
ten varias alternativas para adaptar el morsmo de Fro-
benius para la situacin relativa, su utilidad depende cla-
ramente de la situacin que se quiere considerar.
 3

7 Origen del texto y las imgenes, colaboradores y licencias

7.1 Texto
Endomorsmo de Frobenius Fuente: https://es.wikipedia.org/wiki/Endomorfismo_de_Frobenius?oldid=97884947 Colaboradores: Ro-
botQuistnix, Yrbot, YurikBot, Jos., Ricard Delgado Gonzalo, CEM-bot, Alexav8, Thijs!bot, Plux, Bigsus-bot, Alexbot, Raulshc, Lucien-
BOT, MelancholieBot, Luckas-bot, Amirobot, Jerowiki, YFdyh-bot, Legobot, Jovillan, MomijiRoBot y Annimos: 1

7.2 Imgenes

7.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0