 De ideales principales |
|
|
|
|
|
|
  |
 Nov 26 2012, 04:21 AM
Publicado:
#1
|
|
|
Dios Matemático Supremo  Grupo: Super Moderador Mensajes: 2.065 Registrado: 25-May 08 Desde: Pelotillehue Miembro Nº: 24.463  |
![TEX: Demuestre que el núcleo del homomorfismo de anillos $ \mathbb{Z}[x] \stackrel{f}{\longrightarrow} \mathbb{R}$ que manda a $x$ en $1+\sqrt{2}$ es un ideal principal.](/tex-image/5b2d2417198ab0b6720e607351b4aa62.png)
-------------------- "Please forget everything you have learned in school; for you haven't learned it... Please keep in mind at all times the corresponding portions of your school curriculum; for you haven't actually forgotten them." -- E. Landau
|
 |
 
|
|
Jun 4 2017, 11:39 AM
Publicado:
#2
|
|
 Dios Matemático  Grupo: Usuario FMAT Mensajes: 274 Registrado: 20-May 10 Miembro Nº: 71.064 Nacionalidad:  Colegio/Liceo:  Universidad: .png) Sexo:  |
![TEX: \noindent Primero, vamos a restringir el codominio de $f$ a $\mathbb{Z}[\sqrt{2}]$. No es difícil notar que $x^2 - 2x + 1 \in \text{ker}(f)$. Por tanto, tendremos que $(x^2 - 2x - 1) \subseteq \text{ker}(f)$. Es claro que la imagen de $f$ también será dominio, lo que nos permite concluir que $\text{ker}(f)$ es primo. A su vez, notamos que no es maximal, pues la imagen de $f$ posee elementos no invertibles (notar que las unidades de $\mathbb{Z}[\sqrt 2]$ son los elementos de norma 1, i.e aquellos elementos $a+b\sqrt{2}$ que satisfacen $|a^2 - 2b^2| = 1$). Sea $\mathfrak{m}$ ideal maximal de $\mathbb{Z}[X]$ conteniendo a $\text{ker}(f)$. De esta manera, obtenemos la siguiente cadena de ideales primos<br /><br />\[ (0) \subsetneq (x^2-2x-1) \subseteq \text{ker}(f) \subsetneq \mathfrak{m} \]<br /><br />\noindent Dado que la dimensión de $\mathbb{Z}[X]$ es 2, obtenemos la igualdad $(x^2 - 2x - 1) = \text{ker}(f)$. <br />](/tex-image/e3641b704e7c96986772756e298dab4b.png)
-------------------- 100% REAL NO FAKE 1 LINK MEGAUPLOAD KEYGEN + CRACK FULL HD 1080P SUBS ESPAÑOL [PORTABLE]
|
|
|
|
|
1 usuario(s) está(n) leyendo esta discusión (1 invitado(s) y 0 usuario(s) anónimo(s))
0 miembro(s):
| Versión Lo-Fi | Fecha y Hora actual: 23rd November 2024 - 04:24 PM |
