22/02/2019, 04:01:19 pm
Bienvenido(a),
Visitante
. Por favor,
ingresa
o
regístrate
.
¿Perdiste tu
email de activación?
1 Hora
1 Día
1 Semana
1 Mes
Siempre
Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias
:
¡Atención! Hay que poner la matemática con LaTeX, y se hace así (clic aquí):
Inicio
Buscar
Reglas
Rincón
Artículos
Libros
LaTeX
Tex en foros
Tutorial
Para practicar
Ayuda
>
Matemática
>
Álgebra
>
Estructuras algebraicas
> Tema:
Algoritmo de Euclides
Páginas: [
1
]
Ir Abajo
« anterior
próximo »
Imprimir
Autor
Tema: Algoritmo de Euclides (Leído 655 veces)
0 Usuarios y 1 Visitante están viendo este tema.
vicentebarba
Junior
Karma: +0/-0
Desconectado
Sexo:
España
Mensajes: 36
Algoritmo de Euclides
«
:
11/01/2019, 08:50:17 am »
¡Hola!
Estoy preparando un examen de álgebra y me he quedado atascado con el siguiente ejercicio. Dice así:
Sean [texx]f(X)=X^3 + 7X^2 - 18X + 30[/texx] y [texx]g(X)=X+1[/texx] polinomios de [texx]\mathbb{Q}[X][/texx]. Sea [texx]R=\mathbb{Q}/(f)[/texx] y sea [texx]I=(f,g)[/texx].
a) Demostrar que [texx]R[/texx] es un cuerpo.
b) Encontrar, si es posible, [texx]h(X) \in \mathbb{Q}[X][/texx] tal que [texx]I=(h)[/texx].
c) Hallar el inverso de [texx]\overline{g}[/texx] en [texx]R[/texx].
Mi idea es no trabajar directamente con los elementos del cociente, ya que las cuentas saldrían muy largas.
Para el primer apartado se me ha ocurrido usar el criterio modular con [texx]p=7[/texx], ya que el ideal [texx](7)[/texx] es primo y sale que el polinomio es irreducible en el cociente, es irreducible en [texx]\mathbb{Q}[X][/texx]. Como [texx]f[/texx] es irreducible, entonces el ideal que genera es primo, por trabajar en un dominio de ideales principales es maximal y, por tanto, el cociente es un cuerpo.
Para el segundo apartado tengo que calcular un máximo común divisor de [texx]f[/texx] y [texx]g[/texx], pero como [texx]f[/texx] es irreducible será [texx]h(X)=1[/texx].
Para el último apartado tengo la intuición de que hay que usar la identidad de Bézout y el máximo común divisor, pero no sé cómo. ¿Me podéis ayudar?
Gracias y un saludo.
En línea
geómetracat
Moderador Global
Pleno*
Karma: +0/-0
Desconectado
Sexo:
España
Mensajes: 304
Re: Algoritmo de Euclides
«
Respuesta #1 :
11/01/2019, 09:16:17 am »
Todo lo que dices es correcto.
Para el último apartado, tienes la respuesta en el título de tu pregunta: aplica el algoritmo de Euclides para obtener una identidad de Bézout. Funciona exactamente igual que para números enteros, así que consiste en ir dividiendo polinomios. Como son de grados [texx]1[/texx] y [texx]3[/texx], el algoritmo tendrá un único paso (que consiste en dividir [texx]f(X)[/texx] por [texx]g(X)[/texx]).
Llegarás a una identidad de la forma [texx]p(X)f(X) + q(X)g(X) = 1[/texx], para ciertos polinomios [texx]p(X),q(X) \in \mathbb{Q}[X][/texx]. Entonces, pasando al cociente, como la clase de [texx]f(X)[/texx] es [texx]0[/texx], obtienes que el inverso de [texx]\overline{g(X)}[/texx] es [texx]\overline{q(X)}[/texx].
Si tienes cualquier problema, avisa y pongo más detalles.
En línea
La ecuación más bonita de las matemáticas: [texx]d^2=0[/texx]
vicentebarba
Junior
Karma: +0/-0
Desconectado
Sexo:
España
Mensajes: 36
Re: Algoritmo de Euclides
«
Respuesta #2 :
16/01/2019, 06:43:34 pm »
¡Lo he entendido, muchas gracias!
En línea
Páginas: [
1
]
Ir Arriba
Imprimir
>
Matemática
>
Álgebra
>
Estructuras algebraicas
> Tema:
Algoritmo de Euclides
« anterior
próximo »
Ir a:
Por favor selecciona un destino:
-----------------------------
REGLAS, Herramientas, Tutoriales
-----------------------------
=> REGLAS y Comportamiento en los foros
===>
Lectura obligada para los recién llegados
=> Herramientas
===>
Geogebra
===> Biblioteca de Geogebra
===> Teclas rápidas
===> Prueba
=> Tutoriales y Manuales
===>
Edición de fórmulas con LaTeX
===> Más Latex (Cancel, Gráficos con XY-PIC, PStricks)
===> Gráficos con Geogebra
===> Cambiar colores y formatos - poner enlaces y spoilers (ocultar porciones de texto)
=> Dudas y sugerencias sobre el uso del foro
===> Características generales del foro
===> Problemas con el uso del LaTeX
===> Geogebra (consultas y comentarios)
=> Recursos y Enlaces a otras webs
===> Enlaces sugeridos
===> Ejercicios - Exámenes - Apuntes
===> Otros Foros de Matemática
===> Otros Foros de Ciencia
===> Compartir Temas
=> Libros
-----------------------------
Revista, Técnicas, Cursos, Problemas
-----------------------------
=>
La revista del foro
===> Artículos
===> Comentarios
=> Métodos y técnicas matemáticas
=> Cursos del Rincón
===> Organización
===> Dictado de cursos del Rincón
===> Consultas - comentarios - ejercitación de los cursos
===> Zona de resolución
=> Problemas y Desafíos
===> Propuestos por todos
===> De oposición y olimpíadas
===> Aplicados a la vida diaria
===> Problema del mes
===> Problemas matemáticos famosos
===> Problemas resueltos
=> Discusiones semi-públicas
-----------------------------
Matemática
-----------------------------
=> Matemática de escuelas primaria, secundaria, bachillerato
=> Matemáticas Generales
===> Álgebra y Aritmética Básicas
===> Esquemas de demostración - Inducción
===> Trigonometría y Geometría Analítica
===> Números complejos
=> Álgebra
===>
Álgebra Lineal (Espacios Vectoriales)
===> Estructuras algebraicas
===> Categorías
=> Análisis Matemático
===>
Cálculo 1 variable
===> Cálculo varias variables
===> Cálculo Avanzado (espacios métricos - convergencia uniforme - Integral de Stieltjes)
===> Análisis Real - Integral de Lebesgue
===> Variable compleja y Análisis de Fourier
===> Ecuaciones diferenciales
===> Sistemas Dinámicos - Teoría del Caos
===> Teoría de la Medida - Fractales
===> Análisis Funcional - Operadores
=> Lógica, Conjuntos, Lenguajes Formales
===> Teoría de Conjuntos
===> Lógica
===> Metamatemática - Teoría de Modelos
===> Autómatas y lenguajes formales
=> Geometría y Topología
===>
Geometría sintética (Euclídea, Plana)
=====> Triángulos
=====> Cuadriláteros
=====> Circunferencias
=====> Áreas
=====> Lugares Geométricos
=====> Construcciones
=====> Máximos y Mínimos
===> Geometrías No Euclidianas - Geometría Proyectiva
===> Geometría Diferencial - Variedades
===> Topología (general)
===> Topología Algebraica
=> Matemática Discreta y Algoritmos
===> Teoría de grafos
===> Programación lineal
===> Optimización (Máximos y Mínimos)
===> Métodos Numéricos
=> Matemática Aplicada
===> Combinatoria
===> Probabilidad
===> Estadística
===> Teoría de Juegos
=> Teoría de números
===> Teorema de Fermat
===> Criptografía
=> - Otros -
-----------------------------
Disciplinas relacionadas con la matemática
-----------------------------
=> Foro general
===> Off-topic
=> Docencia
=> Temas de física
=> Temas de computación
=>
¡NUEVO!
Temas de química
Cargando...