9 votos

Problema de la definición de dominio euclidiano

En la definición de dominio, primero definimos una función de grado $\vartheta: R^\times \rightarrow \mathbb{N}$ con estas dos limitaciones:

(1) $\vartheta(f)\leq \vartheta(fg)$ % todos $f,g\in R^\times$.

(2) para todas las $f,g\in R$ $f\in R^\times$, existen $q,r\in R$ $g=qf+r$ y o $r=0$ o $\vartheta(r)<\vartheta(f)$.

Me pregunto ¿por qué necesitamos las primeras limitaciones? Creo que con sólo la segunda restricción, es suficiente para demostrar el teorema: cada anillo euclidiano es un PID.

¿Alguien me puede dar un ejemplo donde se utiliza la primera restricción?

4voto

David HAust Puntos 2696

Desde mi sci.matemáticas post en 2009/7/2: La propiedad $\rm V(a) \le V(ab)$ no tienen que ser asumidas con el fin de para deducir todas las propiedades básicas de la Euclídea dominios. Es cierto que cualquier Euclidiana función puede ser normalizada para satisfacer dicha propiedad definiendo $\rm\:v(a) = min\: V(aD^*),\ D* = D\backslash0.\:$ Esto es tan conocido es incluso en la Wikipedia http://en.wikipedia.org/wiki/Euclidean_domain Compare también el análogo Dedekind-Hasse criterio para un PID. Y asegúrese de ver este documento[1]. Se da en profundidad el estudio y la comparación de una docena de diferentes las definiciones y los axiomas de Euclides los anillos.

[1] Euclidiana De Los Anillos. A. G. Agargun, C. R. Fletcher
Tr. J. de las Matemáticas, de 19 años, de 1995, de 291 299.

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