Autor Tema: Módulos (2)

0 Usuarios y 1 Visitante están viendo este tema.

16 Junio, 2013, 04:51 am
Leído 1095 veces

rrrto2005

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 36
  • Karma: +0/-0
  • Sexo: Masculino
En mi libro de álgebra sale la siguiente pregunta: Indique si el ideal generado por \( \{2,x\} \) en \( Z[x] \)( el anillo de polinomios en \( Z \)) visto como \( Z[x] \) - módulo tiene base o no.

Un posibl bas es el mismo conjunto \( \{2,x\} \) pero no es Li puesto que \( 2*(-x^2) + x*(2x)=0 \) siendo los coeficientes diferentes de 0. Pero no logro demostrarlo para el caso general (no tenga ningún base). Alguna ayuda, please

16 Junio, 2013, 09:41 am
Respuesta #1

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 58,907
  • País: es
  • Karma: +0/-0
Hola

 Fíjate que tu argumento es válido para cualquier par de polinomios. Es decir, dados \( f(x),g(x)\in Z[x] \) son linealmente dependientes (copia tu razonamiento para probarlo).

 Por tanto si \( (2,x) \) tiene base debiera de ser un ideal principal (generado por un sólo polinomio). Prueba que eso es imposible:

Spoiler
Si \( g(x) \) es el generador, \( f(x)g(x)=2 \). Pero entonces \( g(x) \) es un divisor de \( 2 \) en\(  Z[x] \)...
[cerrar]

Saludos.