Formalidades

Sea G el conjunto de series formales de potencias

a_1 t+a_2 t^2 + a_3 t^3 + \cdots

con coeficientes complejos, término constante nulo y a_1\neq0.
Definamos una operación \mathord\circ:G\times G\to G de manera que si f= a_1 t+a_2 t^2 + a_3 t^3 + \cdots y g son dos elementos de G, entonces

f\circ g = \sum_{n\geq1} a_n g^n.

Es fácil ver que esta serie converge, así que esto tiene sentido. Por supuesto, esta operación es simplemente la composición formal.

  • Muestre que (G,\mathord\circ) es un grupo. ¿Es divisible?
  • Es subconjunto G_0\subset G de las series con radio de convergencia positivo es un subgrupo. ¿Es divisible? ¿Puede dar al menos condiciones para que un elemento de G_0 sea el cuadrado de otro elemento de G_0?

Esta entrada fue publicada el a las Lunes 16 de Marzo de 2009 y está archivada bajo las categorías Uncategorized. Puedes seguir las respuestas de esta entrada a través de sindicación RSS 2.0. Puedes dejar una respuesta, o trackback desde tu propio sitio.

Escribe un comentario