Divisin eucldea

En matemticas, y ms precisamente en la aritmtica, la 2.1 Divisin eucldea en los nmeros natu-

divisin euclidiana (o eucldea), tambin llamada algo- rales
ritmo de la divisin, es un teorema que asegura que el
proceso habitual de divisin entre nmeros enteros puede Dados dos nmeros naturales a y b, con b distinto de 0, la
llevarse a cabo y que se obtiene un cociente y un residuo divisin eucldea asocia un cociente q y un resto r, ambos
nicos. nmeros naturales, que verican:
Un algoritmo de divisin entera es cualquier mtodo
efectivo que produce un cociente y un residuo. Existen a=bq+r
numerosos mtodos para efectuar estos clculos, como r<b
por ejemplo la divisin larga, la factorizacin de enteros
o la aritmtica modular. El algoritmo de la divisin eu- La pareja (q, r) es nica.
cldea (para nmeros enteros) se encuentra a la base de
numerosos resultados de la aritmtica (como por ejemplo De manera formal:
el algoritmo de Euclides para calcular el mximo comn
divisor de dos enteros) y la teora de nmeros; en lgebra
abstracta, est relacionado con el dominio eucldeo. (a, b) NN , !(q, r) N2 /a = b q+r con r < b

2.2 Divisin eucldea en los nmeros ente-

1 Divisin eucldea de nmeros na- ros
turales
Dados dos nmeros naturales, el dividendo, m, y el divi- nmeros enteros, que verican:
sor, d, que debe ser mayor que cero, llamamos cociente,
q, al mayor de los nmeros que multiplicado por el divisor
es menor o igual que el dividendo.
q = max { x N | xd m }
Llamamos resto, r, a la diferencia entre el dividendo y el
producto del cociente y el divisor.
Dados dos nmeros enteros a y b, con b no nulo, la di-
visin eucldea asocia un cociente q y un resto r, ambos
a=bq+r
0 r < |b| [1]
A q se denomina cociente y a r, resto de la divisin
que siempre es un entero no negativo.[2][3]

r = m qd De manera formal:
El resto verica la inecuacin 0 r < d .
De la ecuacin anterior, se deduce inmediatamente la si- (a, b) ZZ , q, r Z|a = bq+r con 0 r < |b|
guiente:
m = qd + r
3 Propiedades
1.0.1 Ejemplos Por el algoritmo de la divisin se deduce que Z es un
dominio eucldeo tomando como norma el valor absoluto.
lo que signica que 320 = (21 15) + 5 , con 0 5 <| Una consecuencia inmediata del algoritmo de la divisin
21 | . es que puede usarse el algoritmo de Euclides para calcular
el mximo comn divisor de dos nmeros enteros.
Un concepto que generaliza el algoritmo de la divisin es
el de norma eucldea. De este modo cualquier dominio
2 Teorema: Algoritmo de la divi- eucldeo cumple con un principio similar al algoritmo de
sin la divisin, como es el caso, por ejemplo, de un anillo de
polinomios K[x] en que K es un cuerpo.

1
2 7 BIBLIOGRAFA

4 Divisin de polinomios 7 Bibliografa

La divisin euclidiana se generaliza a todos los anillos
graduados, es decir en los anillos donde existe una
funcin llamada grado que verique: d o (PQ) = d o (P) +
d o (Q).
Miguel Alamar Penads, et al (2005). Matemticas
bsicas. UPV. p. 16. ISBN 84-9705-862-3.
Hugo Barrantes, et al (2007). Introduccin a la teo-
ra de nmeros. EUNED. p. 9. ISBN 9968-31-003-4.

Los ejemplos ms usuales lo constituyen los anillos de

polinomios K[X], donde K es un cuerpo, como R o C,
y donde d o (Xn ) = n y d o (0) = - . En este contexto, se
remplaza la condicin 0 r < b que a priori no tiene sen-
tido porque el anillo ya no es totalmente ordenado, por
d o (R) < d o (B), y claro, se mantiene A = BQ + R (para
los polinomios, la costumbre es utilizar las maysculas).
Si los polinomios tienen por coecientes elementos de un
cuerpo K, es posible denir una divisin eucldea sobre los
polinomios (llamada divisin) segn el orden decreciente
de las potencias.
A dos polinomios A y B, la divisin eucldea asocia un
nico cociente Q y un nico resto R, ambos polinomios,
tales que:

A=BQ+R
grad(R) < grad(B)

Formalmente:

(A, B) K[X]K[X] , !Q, R K[X], A = BQ+R con grad(R) < grad(B)

La unicidad est garantizada, pero es necesario que K sea

un cuerpo para que la existencia lo sea tambin.

5 Vase tambin
Divisin
Divisibilidad
Divisin larga
Divisin por galera
Teora de nmeros
Dominio eucldeo

6 Referencias
[1] A. Adrin Albert. lgebra superior, pg. 45, ISBN 968-
18-4041-0

[2] Hefez: Curso de lgebra vol. 1 ISBN 9972-9394-1-3

pp57, 58, 59

[3] Ayres Jr.: Teora y problemas de lgebra moderna, Li-

bros Mc Graw Hill, pg. 50
 3

8 Origen del texto y las imgenes, colaboradores y licencias

8.1 Texto
Divisin eucldea Fuente: https://es.wikipedia.org/wiki/Divisi%C3%B3n_eucl%C3%ADdea?oldid=96533819 Colaboradores: Romero
Schmidtke, Sabbut, Dodo, GTubio~eswiki, Taichi, Emijrp, Rembiapo pohyiete (bot), Superzerocool, Chobot, Caiserbot, Yrbot, Vitamine,
Gtz, Juan Marquez, Kn, CEM-bot, Laura Fiorucci, Antur, Ingenioso Hidalgo, Alvaro qc, LMLM, Egaida, Alephcero~eswiki, MONI-
MINO, Brobdingnag, Matdrodes, Muro Bot, Carmin, Jarisleif, Dnu72, Botito777, Raulshc, Osado, AVBOT, Diegusjaimes, Jose eduardo
narvay, Andreasmperu, CayoMarcio, Nixn, Jkbw, Rubinbot, Botarel, Zulucho, Jerowiki, Mister Roboto, Corrector1, Gauri, Grillitus, Julio
grillo, INIROBO, Invadibot, Sittsam, Acratta, Justincheng12345-bot, Addbot, JacobRodrigues, X2y3, CanaryBot y Annimos: 42

8.2 Imgenes
Archivo:Spanish_Language_Wiki.svg Fuente: https://upload.wikimedia.org/wikipedia/commons/2/2a/Spanish_Language_Wiki.svg
Licencia: CC BY-SA 3.0 Colaboradores: Derived from Wiki puzzle.svg by user:Kimbar Artista original: James.mcd.nz

8.3 Licencia del contenido

Creative Commons Attribution-Share Alike 3.0