10 votos

Elementos de orden 2 en el Grupo absoluto de Galois

Así que recuerdo haber leído una vez que el único elemento de $G=Gal(\overline{\Bbb Q} / \Bbb Q)$ que entendemos es compleja conjugación. Supongamos que arreglar una incrustación de $\overline{\Bbb Q}$ a $\Bbb C$. A continuación, el complejo de conjugación en $\Bbb C$ restringe a una "compleja conjugación", $\sigma \in G$. Claramente $\sigma$ orden $2$, y cualquier conjugado de $\sigma$ también tiene orden de $2$.

Pregunta: ¿Es cierto que cualquier elemento de orden $2$ $G$ es conjugado a $\sigma$?

He pensado acerca de esto por un tiempo, pero mi conocimiento de los elementos de $G$ no es excelente. Para grupos generales, no todos los elementos de orden $2$ son necesariamente conjugado. Por ejemplo, $(12)$ $(12)(34)$ son tanto de orden $2$ pero no conjugada en $S_n$ cualquier $n\geq 4$. No está claro cómo proceder en el caso de $G$.

Mi razón de preguntar es que el elemento $\sigma$ I definido anteriormente sólo debe pensarse como definido hasta conjugacy, desde diferentes incrustación da un nuevo complejo de la conjugación, que es el conjugado de a $\sigma$. Por lo tanto, si todos los elementos de orden $2$ $G$ fueron conjugado entonces creo que yo podría llegar a la conclusión de que en realidad sólo hay un único honesto compleja conjugación.

Pido disculpas si algo de esto no está claro, me encantaría elaborar, si es necesario. También, agradecería cualquier intuición sobre cómo pensar acerca de esto en términos de representaciones de Galois, ya que los que parecen ser la única forma de conseguir una manija en $G$.

10voto

YequalsX Puntos 320

Es un teorema de E. Artin que no trivial finito de orden elemento de $\mathbb Q$ es un complejo de conjugación. Esto se deduce de la teoría de la real campos cerrados; ver aquí por ejemplo. (Si $H \subset G$ es no trivial finito subgrupo, a continuación, $F:=\overline{\mathbb Q}^H$ es un campo cuya clausura algebraica es un buen finito exension; lo $F$ satisface la propiedad 4 de la página vinculada. Propiedad 5, a continuación, muestra que $\overline{\mathbb Q} = F(\sqrt{-1})$, desde el cual uno ve que $H$ orden $2$; un poco más de argumento muestra que la no-trivial elemento de $H$ actúa como un complejo de la conjugación. Cualquier tratamiento de real de campos cerrados que es más detallada que la página de la wikipedia debería dar los detalles.)

-1voto

Michael Puntos 1165

La respuesta a la pregunta es negativa: hay mucho orden 2 elementos en $G$ que no son conjugaciones complejas. Tome cualquier número racional negativo $q\in Q$, observe que el % de raíces $q_1,q_2$$x^2+q$usted tiene $Gal(Q(q_1)/Q)=Z_2$ y concluir que hay infinitamente muchos elementos de orden 2 de $G$.

También no estoy de acuerdo con la afirmación citada que la única cosa en $G$ que entendemos es verbal complejo.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X