5 votos

$f: G \to \mathbb{C}^*$ es un homomorfismo. Demuestre que la suma $\sum f (g) = 0$ o $n$

Dejemos que $ \mathbb{C}^*$ sea el grupo multiplicativo de los números complejos distintos de cero. Sea $G$ sea un grupo abeliano y suponga $f: G \to \mathbb{C}^*$ es un homomorfismo. Demostrar que $\sum_{g \in G} f(g)=n$ o, $\sum_{g \in G} f(g)=0$ , donde $n =o(G)$

Intento de prueba:

El caso es evidente para el homomorfismo trivial; la suma es $n$ .

Para la segunda parte

Sabemos que los únicos elementos con orden finito en el grupo $ \mathbb{C}^*$ son $1$ y $-1$ con $o(-1)=2$ .

Ahora bien, el único caso en que $f(g)$ puede tomar $-1$ como valor es cuando $n$ está en paz.

Consideremos el subgrupo $(\{1, -1\}, .) = G'$ del grupo $ \mathbb{C}^*$ . Tenemos, a partir del Teorema del Isomorfismo, $ G/ \ker( f ) \simeq G' $ [desde $f$ toma cada valor de $G'$ ].

Como $o(G')=2$ , $o(G/ \ker( f ))=2$ es decir $o(\ker (f))= n/2$ . Por lo tanto, al sumarlos, la resultante es $0$ .

Edición: Se ha hecho una suposición tonta. Los números complejos finitos ordenados en dicho grupo son de la forma $z^n=1$ Así que he "demostrado" un caso muy restringido, que no es en absoluto deseado.

7 votos

¿Cuál es el orden de $i$ ¿entonces?

2 votos

¿Tiene que tener G un orden finito?

0 votos

@JoelPereira:. no es eso lo que implican las declaraciones $\sum f(g) = n$ y $n = o(G)$ ?

11voto

Robert Lewis Puntos 20996

No es necesario que $G$ sea abeliano, a saber:

Si

$f(g) = 1, \; \forall g \in G, \tag 1$

entonces claramente

$\displaystyle \sum_{g \in G} f(g) = n, \tag 2$

desde

$o(G) = n; \tag 3$

si

$\exists h \in G, \; f(h) \ne 1, \tag 4$

entonces desde

$hG = G, \tag 5$

tenemos

$$\begin{align} \sum_{g \in G} f(g) &= \sum_{g \in G} f(hg) \\ &= \sum_{g \in G} f(h)f(g) \\ &= f(h)\sum_{g \in G} f(g); \tag 6 \end{align}$$

con $f(h) \ne 1$ esto obliga a

$\displaystyle \sum_{g \in G} f(g) = 0. \tag 7$

$OE\Delta$ .

1 votos

@Shaun: buena edición, ¡gracias!

1 votos

Increíble. Simplemente increíble.

0 votos

Interesante. Me pregunto si simplemente asumieron que era abeliana para que los estudiantes pudieran usar el teorema fundamental. Es muy fácil de demostrar para grupos cíclicos.

0voto

Riley Puntos 101

He aquí una forma novedosa de utilizar la teoría de la representación. El homomorfismo $f$ es una representación irreducible (unidimensional) de un grupo finito $G$ y $\sum_{g \in G} f(g)$ es la suma del carácter $\chi_f$ en $g \in G$ es decir $\chi_f = f$ .

Desde $\sum_{g \in G} \chi_f(g) = \lvert G \rvert\langle \chi_f, 1 \rangle$ la suma es cero si y sólo si $1$ no es un sumando directo de $f$ . En ese caso, $f$ es trivial y la suma es $n$ .

0 votos

¿Puede verificar la mía?

0 votos

The_fox en uno de los comentarios anteriores ya ha señalado que un error en tu prueba es asumir que los únicos elementos con orden finito en $\mathbb{C}^*$ son $\pm 1$ cuando en realidad cualquier complejo $z$ tal que $z^\ell = 1$ para un número entero no nulo $\ell$ es decir, una raíz de la unidad, tiene un orden finito a lo sumo $\ell$ .

0 votos

$z^n=1$ forma un grupo. Ahora, ¿podemos seguir de alguna manera mi enfoque para demostrarlo?

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