Esto surge en la lectura de la respuesta de David Speyer a esta pregunta. ¿Dado un grupo finito G y dos no-conjugado elementos x,y, cómo se construir una representación unitaria ρ G tal que ρ(x) y ρ(y) tienen diferentes huellas? (La misma pregunta tiene sentido para los grupos infinitos, pero está nada claro que esto siempre es posible en el ajuste infinito, incluso si se te cae "unitario").
Respuestas
¿Demasiados anuncios?En realidad, el borrado del post by George McNinch estaba en el camino correcto, al menos si uno sabe la central idempotents del grupo de álgebra CG. Si tomar el módulo de CG (que ofrece una representación unitaria con resepect para el estándar de los elementos del grupo), la central idempotente eχ, asociado a la irreductible carácter χ, es representado por la diagonal de la matriz idempotente de traza χ(1)2. El derecho CG módulo de eχC ofrece una representación unitaria con carácter χ(1)χ. Para algunos la elección de χ, tenemos χ(x)≠χ(y),, por lo que la representación conferida por eχCG va a hacer.
Yo creo que siempre se puede hacer esto mediante la adopción de un representante del grupo cíclico generado por x, y la inducción de esto a todo el grupo. (EDIT: debo mencionar que esto fue sugerido en los comentarios.) Si y no es conjugado a una potencia de x, el trivial será suficiente. Si y es una potencia de x, a continuación, algunos no trivial 1-dimensiones de la representación de ⟨x⟩ va a trabajar.
Deje n ser el orden de x. La acción de la normalizador de la ⟨x⟩ por la conjugación de este subgrupo ofrece un mapa a (Z/nZ)× con su núcleo centralizador. Deje U ser la imagen de este mapa. Solo tenemos que elegir una representación donde el personaje valores de x y (que se nth raíces de la unidad) no conjugada en U actuando como un subgrupo del grupo de Galois de Q[e2πi/n]. Si son los de siempre conjugado, que precisamente muestra que x y son conjugado como elementos del grupo.