Académique Documents
Professionnel Documents
Culture Documents
AGRADECIMIENTO
INDICE GENERAL
Pgina
Aplicaciones del teorema Chino de los restos.
Introduccin ...
CAPTULO I
1. ASPECTOS GENERALES DEL TEOREMA CHINO DE LOS RESTOS Y
CONGRUENCIAS.
1.1 Contenido .
15
17
CAPTULO II
2. APLICACIONES DEL TEOREMA CHINO DE LOS RESTOS
2.1 Teorema Chino de los Restos 23
2.2 Ejemplos de aplicaciones del Teorema Chino de los Restos
25
31
37
Conclusin 41
Referencias Bibliogrficas.... 42
INDICE TABLAS
Pgina
1. Tabla N1
45
2. Tabla N2
45
3. Tabla.3
4. Tabla 4.
48
INDICE ILUSTRACIONES
Pgina
10
3.
INTRODUCCIN
La presente monografa que presentamos a consideracin del lector es un resultando
importante de la teora de nmeros, el Teorema chino de los restos.
Nuestro propsito es dar a conocer, que a travs de las propiedades de congruencias y
linealidad, resolveremos sistemas de congruencias lineales mediante el Teorema Chino de
los restos con diversas aplicaciones.
Se inicia con el origen histrico, contribuciones relevantes de Sun Tzu , Qin Jiushao,
nociones bsicas de la teora de congruencias, definiciones, proposiciones, ejemplos,
congruencias lineales, cuadrticas y finaliza con aplicaciones a la criptografa de Cifrados
monogrficos.
En el primer captulo desarrollaremos las principales propiedades de congruencias con
ejemplos, que nos ayudar a simplificar, determinar si una congruencia posee o no solucin
y calcular problemas referentes a la teora de nmeros.
Veremos, como resolver congruencias lineales mediante propiedades de congruencias y
aplicando el algoritmo extendido de Euclides.
En el segundo captulo utilizaremos el mtodo del teorema chino de los restos para resolver
sistemas de congruencias lineales, algunas aplicaciones a la solucin de ecuaciones
cuadrticas y aplicacin a la criptografa en el cifrado monogrfico.
Esta monografa brinda la oportunidad de ampliar los conocimientos referentes al Teorema
Chino de los restos. Esperamos que este trabajo sea de ayuda y motivacin para aquellas
personas que desean conocer ms de la matemtica, especialmente del teorema Chino de
los restos para ampliar nuestro conocimiento y adems llenar el propsito con que se ha
escrito.
CAPTULO I
ASPECTOS GENERALES DEL TEOREMA CHINO DE
LOS RESTOS
1.1
Contenido
idntica a la del
1.2 Antecedentes
Histricos
Sun Tzu, Nacimiento: 544 a.C Defuncin: 496 a.C. Fue Escritor,
pensador, poltico y militar chino, autor del ms antiguo y
brillante tratado militar. Sun Tzu, proceda del estado de Chi
y gracias a su libro "el arte de la guerra" adquiri fama entre
los seores feudales, en especial para el rey de Wu. Sun Tzu
pudo ser un general chino del siglo V a.C., la poca de los
Reinos Combatientes, que escribi El arte de la guerra, uno
de los libros ms antiguos que se conocen y un clsico de la
literatura china. El arte de la guerra es un compendio de
doctrinas bsicas sobre tctica y estrategia militar, basndose en dos principios
fundamentales: el engao y el sometimiento del enemigo sin recurrir a la lucha. El libro ha
sido de gran influencia en estadistas posteriores como Maquiavelo, Napolen o Mao
Zedong, y en los ltimos aos ha tenido gran influencia en la formacin de directivos para
numerosas multinacionales al transpolar sus enseanzas al terreno de los negocios.
La obra de Sun Tzu lleg por primera vez a Europa en el periodo anterior a la Revolucin
Francesa, en forma de una breve traduccin realizada por el sacerdote jesuita J. J. M.
Amiot. En las diversas traducciones que se han hecho desde entonces, se nombra
ocasionalmente
al
autor
para
1.3 Nociones
1.1 Definicin:
Sea m un entero positivo a, b dos nmeros enteros. Diremos que a y b son congruentes
mdulo m si m divide a a-b. Utilizaremos la notacin a
a
b(md m)
m|ab
Ejemplo 1.1
Ejemplo 1.2
Encontrar tres nmeros enteros distintos, cada uno de los cuales sea congruente con
11(md12).
a 11 (md 12) a =11+12q, con q
Si ahora tomamos, por ejemplo, q = -1, 0, 1 tendremos los tres nmeros buscados:
a=11+12(-1)=-1
a=11+12(0)=11
a=11+12(1)=23
Proposicin. 1. 1
La congruencia mdulo m es una relacin de equivalencia sobre .
Sean a, b, c y m son tres enteros con m>0. Se verifica:
a. Reflexiva. a
a(md m)
b. Simtrica. Si a
c. Transitiva, Si a
b(md m) y b
a(md m)
c(md m)
Demostracin
Utilizaremos las propiedades de divisibilidad.
a) a
a(md m)
b) Si a
a
c) Si a
a (md m)
m|a-b
b(md m) y b
b md m)
m|a
c md m)
m|b
a(md m)
c md m)
calcular (-1)2 = 1.
2- Podemos sumar o restar el mismo entero a ambos miembros de una congruencia.
3- Podemos multiplicar ambos miembros de una congruencia por el mismo entero.
4- Podemos simplificar o dividir ambos miembros de la congruencia por el mismo entero
cuando (a, m) = 1.
Por ejemplo, 30
2 md 8) es correcto
ii)
a + b c +d (md m)
iii)
ac bd (md m)
iv)
v)
Demostracin:
a b(md m) m | a b
i)
(a-b)
a b
es decir, a b (md m)
y
(*)
x y (md m) m | x y
m | x - y
x y(md m) (**)
b md m)
m|a b
m |(a b) + (c - d) m |(a + c) - (b + d)
ii)
c
d md m)
luego,
a
b md m)
m|c d
a + c b +d(md m)
m|a b m|ac bc
m|(acbc)+(bc - bd) m|ac-bd
iii)
c
d md m)
por lo tanto,
iv)
Induccin /n
a b(md m)
a1 b1 (md m)
m|c d m|bc bd
ac bd(mdm).
(Hiptesis de induccin)
por (iii)
an bn (md m)
v)
luego,
ca
c0 +
Ejemplo.1.3
Demostrar que el cuadrado de cualquier nmero entero es divisible por 3 o es congruente
con 1 mdulo 3.
a 0(md 3) a2 0(md 3)
(i)
3|a2
a2 es divisible por 3
a 1(md 3) a2 1(md 3)
(i)
a 2(md 3) a2 4(md 3)
(i)
3|a2-4
a2 4 = 3q
a2 = 3q+4
a2 = 3(q+1) + 1
3|a2 1
a2 1(md 3)
Luego a2 es divisible por 3 o es congruente con 1 mdulo 3.
Ejemplo.1.4
Ejemplo.1.5
9 5(md 4)
9 5(md 2) 95 55(md 2)
6 2(md 4)
54 10(md 4)
La recproca no es verdadera
72 52(md 4) pero 7 5(md 4) es falso ya
que 2 no es divisible entre 4.
Proposicin 1. 3
Sean a, b, c, d, p y m, enteros con p0 y m>0. Se verifica:
i)
ii)
iii)
iv)
).
Demostracin:
i)
ii)
Ley de la simplificacin
Si ac bc(md m) y d(m,c) entonces a b
. Pero ( , c(d)) =1
iii)
iv)
) |
). En
|
|
|
a
b md m)
m|a
mq
p|mq1
Pues bien, si p|mq1, como m.c.d.(p,m) = 1, tendremos que p|q1, es decir, q1 = pq
con q entero, Entonces
En consecuencia,
Ejemplo.1.6
Ejemplo.1.7
segn ( ii)
Ejemplo.1.8
Demostrar que para cualquier entero positivo n, el nmero 10n (9n-1) + 1 es divisible por 9.
En efecto,
y
9n 0(md 9) 9n 1 1(md 9) 9n 1 -1(md 9)
luego,
10n(9n-1) -1(md 9)
Por lo tanto,
10n(9n-1) + 1 0(md 9)
Y, consecuentemente, el resto de dividir el nmero dado entre 9 es cero.
Proposicin 1.4
Si a b(md m) entonces (a, m) = (b, m) es decir los nmeros que son congruentes mdulo
m tienen igual m.c.d con m.
Demostracin
Se tiene que b a = mc para algn entero c; puesto que (a, m) | a y (b, m) | b se tiene
(a,m)|b y de aqu que (a, m) | (b, m).
De la misma forma se demuestra que (b,m) | (a,m)
En consecuencia (a, m) = (b, m). Esto es verdadero ya que solamente estamos considerando
mximo comn divisor positivo.
Proposicin 1.5
Si a b(md m) y, 0 a b< m entonces , a = b
Demostracin:
Como a b(md m) entonces, m| a b luego, m|a b y m > a b, con lo que,
a b=0, as a = b.
Proposicin 1.6
a b(md m) sii, a y b al dividirlo por m dan el mismo resto.
Demostracin
Sean a = mq1 + r1 y, b = mq2 + r2 donde, 0 r1 < m y 0 r2 < m. entonces,
a b r1 r2 (md m) con 0 r1 r2< m. Luego, por la Proposicin 1.5, se tiene que
r1= r2.
Por otro lado, si a = mq1 + r y, b = mq2 + r
entonces, a b = m(q1 q2 ) por lo que, a b(md m) .
Cada clase residual mdulo m puede ser representada por uno cualquiera de sus miembros;
por lo general se representa cada clase por el menor entero no negativo que pertenezca a esa
clase.
Definicin
Para m > 0, todo conjunto de m, donde cada elemento pertenece a una slo una de las
clases residuales 0 1
Existe un nmero infinito de sistemas completos de restos mdulo m, siendo otro ejemplo
el conjunto 1,2,,m.
Proposicin 1.7
Si { a1, a2, , am } es un conjunto completo de restos m y, (k,m) = 1, el sistema
{ ka1,, kam } es tambin un sistema completo de restos mdulo m.
Demostracin
Si suponemos que kai = kaj (md m) como, (k,m) = 1 entonces, por el teorema (1.3 ii),
ai aj (md m). Luego, dado dos elementos del conjunto { ka1,, kam } estos son
incongruentes mdulo m y dado que hay m elementos en este conjunto, este forma un
sistema completo de restos.
1.5 Congruencia
Lineal
Conceptos fundamentales
Nuestro prximo objetivo es el estudio de las congruencias de la forma general:
f(x) 0(md m).
(1)
Definicin 1.2
Un entero x que satisfaga la congruencia polinomial (1) es la solucin de la congruencia.
Si f(x) = ax + c, la congruencia f(x) 0(md m) toma la forma ax b(md m); donde b= -c
se llama congruencia lineal.
La ecuacin ax b(md m), tambin se puede escribir
a x - my = b
Las siguientes proposiciones describen una completa teora de las congruencias lineales.
Proposicin 1.8
Si (a,m) = 1 entonces, la congruencia lineal
ax b(md m)
(2)
Proposicin 1.9
La congruencia ax b(md m)
(3)
(4)
d | ax + by , y luego d | c.
(4.1)
es fcil verificar que x0 = cx0 e y0 = cy0 son soluciones de 4.1 y por ende soluciones de
(4)
Proposicin 1.11
Supongamos que d = (a,m). Si d b la congruencia
ax b (md m)
no tiene soluciones, mientras que si d | b la congruencia tiene exactamente d soluciones
mdulo m que vienen dadas por
x1, x1+m1,,x1 + (d 1) m1,
donde x1 es la solucin de la congruencia a1x b1 (md m1) y a1 = , b1 =
Demostracin:
Si la congruencia tiene alguna solucin entonces, como d | a y d | b, necesariamente
tendra que dividir a b.
Cualquier solucin x de ax b (md m) debe serlo tambin de a1x b1(md m1). Pero
como (a1, m1) = 1 la solucin x1 es nica mdulo m1. Sin embargo la clase residual
mdulo m1 a la que pertenece x1 consta de d clases residuales distintas mdulo m, es decir
las clases que pertenecen los nmeros x1, x1 + m1,.x1 + (d 1)m1. Por lo tanto la
congruencia ax b (md m) tiene exactamente d soluciones distintas.
Ejemplo.1.10
Dada la congruencia
10x 3 (md12)
a = 10, b = 3 y n = 12, por lo que d = (10,12) = 2; como no divide a 3, no existen
soluciones.
Ejemplo 1.11
Dada la congruencia
10x 6 (md12)
a = 10, b = 6 y n = 12, por lo que d = (10,12) = 2; como divide a 6 si existen dos soluciones.
Podemos tomar x0 = 3 como solucin particular para expresar la solucin general de la
forma x = x0 +
=3+
= 3 + 6t con t
Podemos decir que las congruencias lineales ax b (md m), se reducen a resolver
congruencias donde el mdulo y el coeficiente de la x son primos entre s.
Una manera de resolver esta ecuacin consiste en resolver primero la ecuacin
ax 1 (md m) utilizando el algoritmo de Euclides y multiplicar dicha solucin por b.
Veamos un ejemplo que nos ilustre, esta forma de dar solucin a ax b (md m).
Ejemplo. 1.12
Resolver la ecuacin 51x 27 (md 123)
El mximo comn divisor de (51,123) = 3 y 3 divide a 27.
Dividiendo por 3 toda la congruencia nos resulta
17x 9 (md 41)
(1)
Debido a que el mximo comn divisor es tres entonces tendr 3 soluciones que sern
x1, x1+41, x1+82 donde x1 es la solucin de la congruencia:
Para resolver esta congruencia (1) resolvemos primeros la congruencia
17x 1 (md 41)
Multiplicando por 9
Remplazando x = -12 en
se observa x = -12
a x - my = b, entonces b = 15
Luego x1 = -108 15 (md 41), y las tres soluciones de la congruencia original son
15, 15 + 41, 15 + 82 = 15, 56 y 97.
Ejemplo 1.13
Resolver
Solucin:
Obsrvese que (30,21) = 3, y 3 divide a 15. Luego la ecuacin tiene solucin. El nmero de
soluciones mdulo 21 ser igual a (21, 30) = 3.
Con el objetivo de encontrar una solucin particular, procederemos a dividir entre 3 la
ecuacin. Luego
10x 5 (md 21)
esto es
3x 5 (md 7)
Por simple inspeccin, calculamos una solucin x 4 (md 7). Luego las tres soluciones
distintas son mdulo 21 son: 4, 11 y 18.
Ejemplo. 1.14
Daremos ahora el problema de resolver una ecuacin de congruencia con ms de una
variable.
3x + 4y 11 md 14
Resolver
(1)
3x 1 md 2
De esta ecuacin provienen 7 soluciones distintas mdulo 14 para x, las cules son:
1, 3, 5, 7, 9, 11 y 13. Al sustituir cada una de stas en la ecuacin original, se obtendrn
las correspondientes soluciones para y.
Por ejemplo, si se considera x 1 md 14, se tendr
3x + 4y 11 md 14
o bien
4y 8 md 14
Notemos que (14, 2) = 2, luego podemos simplificar:
2y 4 md 7
Luego las soluciones de y mdulo 14 son 2 y 9.
Usando pares ordenados para indicar las soluciones de la ecuacin (2, 7), donde la primera
y segunda componente respectivamente es el valor de x e y. De esta forma se obtienen las
soluciones (1,2) y (1,9). Las restantes soluciones son:
(3,4), (3, 11), (5, 6), (5, 13), (7, 1), (7, 8), (9, 3), (9, 10), (11, 5), (11, 12), (13, 7), (13, 14).
CAPTULO II
APLICACIONES DEL TEOREMA CHINO DE LOS
RESTOS
(1)
a md n )
Tiene una solucin nica mdulo n= n1 n2 nm
x = a1N1y1 + a2N2y2 + +anNnyn
donde Nk =
Adems, si y es otro entero que satisface todas las congruencias en (1), entonces
y x( md n1 n2 n3).
Demostracin
En efecto, hagamos, para k = 1,,r,
Ak = n1 n2
nr
de los Restos.
Ejemplo 2.1
Ahora planteamos un problema de la antigua china, que data del ao 1275 d.c.
Hallar el nmero que al ser dividido por siete da uno como residuo, al ser dividido por
ocho da dos como residuo y al ser dividido por nueve da tres como residuo.
Solucin:
Podemos plantear el problema en trminos de congruencia de la siguiente manera; sea x el
nmero buscado, entonces
(1)
1 md 7)
2 md 8)
3 md 9)
Ejemplo 2.2
El teorema Chino de los restos puede ser utilizado para resolver una congruencia particular.
2x 4(md 23) ;
(2, 3) = 1
(1)
y
2x2 4(md 3)
(2)
(3)
x2 2(md 3)
(4)
Ejemplo 2.3
Determinar las soluciones del sistema
x 2 (mod 3)
x 3 (mod 5)
x 2 (mod 7)
Solucin:
m=3 * 5 * 7 = 105
M1 =
= 35,
M2 =
=21,
M3 =
=15
2 es inverso de M1 (md 3)
1 es inverso de M2 (md 5)
1 es inverso de M3 (md 7)
Ejemplo 2.4
(1)
3 md 17)
4 md 11)
5 md 6)
De (1) obtenemos
x = 17t + 3
17t + 3 4(md 11)
17t 4 3(md 11)
17t 1(md 11)
t = 17-1 (md 11)
(*)
(**)
Ejemplo 2.5
Resolvamos las siguientes congruencias lineales.
2 md 3)
6 md 5)
7 md 7)
10 md 8)
(1)
. Primero, probaremos el
1 )
1, p divide a m, as que p no
)=1
son primos y de
son positivos.
enteros si
simultneas.
i = 1, 2 s
Donde
y tambin pi
. ero esto no es posible porque
ni
Entonces
Primo.
x2 + 1 0(md 2)
x2 + x 0(md 2),
x2 + x + 1 0(md 2)
cuya solucin es fcil, ya que el anillo cociente Z/2Z={0,1} tiene slo dos elementos.
Sea p un entero impar donde mcd(a,p) = 1. Entonces, mcd(4a2, p) = 1 y la congruencia
cuadrtica, con mdulo impar resulta:
ax2 + bx + c 0(md.p)
(1)
que es equivalente a 4a2x2 + 4abx + 4ac 0(md p) y que podemos escribir como
(2ax + b)2 b2 4ac(md.p)
Si tenemos en cuenta que b2 4ac = d es el discriminante de la cuadrtica y (2ax + b) = z
podemos escribir la ecuacin en la forma:
z2 d(md p)
(2)
(3)
y como mcd(2a ,p) = 1, esta ecuacin tiene solucin. Luego, (1) tambin tiene solucin por
tanto, (1) tendr solucin si, y slo si (2 ) tambin la tiene.
Si la ecuacin (2) tiene una solucin z1 entonces una segunda solucin z1 ser p z1 , ya
que
(p z1 )2 z2 (md.p)
Residuos cuadrticos
Definicin:
Si la congruencia
x2 a(md m)
Siendo m primo impar y (a,m) = 1, posee solucin diremos que a un es residuo cuadrtico.
Si no admite solucin a no un es residuo cuadrtico.
Ejemplo 2.8
La congruencia x2 53 (md 7) tiene solucin.
x2 53 (md 7) x2 4 (md 7), que tiene una solucin evidente: x = 2
Ejemplo 2.9
Resolver la ecuacin x2 7x + 12 0(md 13).
La ecuacin propuesta tiene solucin como:
=
3
4
(3,4 )
Z2 1 (md.13)
Si tenemos en cuenta que en la ecuacin x2 a(md p), cuando a = 1 a= a2, genera
soluciones en la forma
(p a)2 a(mod.p)
entonces
(13 1)2 1(mod.13)
donde
z2= 12 + 13t y z1 z2(md .13) 1(md.13)
donde
z1 = 1 + 13t.
Conocidos los valores de z, las races primitivas de x vendrn determinadas por:
2x + 6 1(md.13), equivalente a 2x 8(md.13), o sea, x 4(md. 13).
2x + 6 12(md.13), equivalente a 2x 6(md.13), o sea, x 3(md.13).
La solucin a la ecuacin planteada es:
X1= 3 + 13t
X2 = 4 + 13
Esta ecuacin tendr tantas soluciones como valores se le asignen a t, siendo t un entero
arbitrario.
Ecuacin de la forma: ax bx c 0(md.m), con m compuesto.
2
Ejemplo 2.10
Resolver la ecuacin 4x2 + 3x 10 0(md.35).
La ecuacin 4x2 +3x100(md.35) que es equivalente a
x2 +27x+15 0(md.35)
x2 +27x+15 0(md.7)
x=0+5(1+7t)=5+35t
x=3+5(0+7t)=3+35t,
x=3+5(6+7t)=33+35t
2.4 Criptografa
Es la parte de la criptologa, que trata del diseo e implementacin de los sistemas secretos.
La otra parte de la criptografa es el criptoanlisis que trata del estudio de descifrar estos
sistemas.
Texto plano se define como el mensaje que el emisor enva a un receptor, y los mensajes
secretos que son enviados se denomina texto cifrado. Ambos se escriben con letras, signos
de puntuacin, nmeros o cualquier otro smbolo.
Los textos planos y cifrados se dividen en unidades de mensajes por un elemento del
alfabeto o por bloques de dos o ms smbolos.
A la informacin que permite determinar las funciones de cifrado y descifrado se denomina
clave.
Un sistema criptogrfico est compuesto por un alfabeto, conjunto claves, conjunto de
transformaciones de cifrados y desciframientos. Si los algoritmos de cifrados y descifrados
son sencillos de aplicar conocida la clave, pero difcil de descriptar es un buen sistema
criptogrfico.
A B C D E F G H I J K L M N O P Q R S
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
T U V W X Y Z
20 21 22 23 24 25 26
Tabla N1 Equivalente numrico
A B C D E F G H I
0
3
1
4
2
5
3
6
4
7
5
8
6
9
Texto
cifrado
K L
M N O P Q
10
13
11
14
12
15
K L M N
O P
7 8 9
10 11 12
D E F G H I J
Texto
plano
W X
13 14 15 16 17
16 17 18 19 20
Q R
18 19 20 21 22 23 24 25 26
21 22 23 24 25 26 0 1 2
U
W X
Tabla N2.
Para cifrar un mensaje usando esta transformacin, cambiamos la letra por su equivalente
numrico, seguido cambiamos cada uno de estos nmeros sumndole 3 y con mdulo 27, y
transformamos nuevamente los nmeros obtenidos a las letras para obtener un mensaje que
ser enviado.
Ejemplo 2.11
Cifrando la palabra YACIMIENTO usando la transformacin de cesar.
Primero su equivalente numrico.
25 0 2 8 12 8 4 13 20 15
Sumando tres a cada nmero y tomando el resultado mdulo 27. Buscando en la tabla (2)
resulta:
1 3 5 11 15 11 7 16 23 18
El texto cifrado ser.
BDFLOLHPWR
Ejemplo 2.12
Descifrar un mensaje recibido si sabemos que el cifrado utilizado es el de Julio Cesar.
El mensaje recibido es:
KRBH
VHG
LDHV
FRJL
GRAA
10 18 1 7
22 7 14 6
11 3 7 22
5 18 9 11
6 18 0 0
7 15 25 4
19 4 11 3
2 15 6 8
3 15 24 24
8 0 4 19
HOYE
SELD
IAES
COGI
A
a-1
1
1
2
14
4
7
5
11
7
4
8
17
10
19
11
5
13
25
a 20
a-1 23
22
16
23
20
25
13
26
26
14
2
16
22
17
8
19
10
Ejemplo 2.13
Se quiere descifrar el siguiente texto, usando una transformacin a fin.
RPGNR
HPGTG
NHZGH
EJHOD
XQRHT
IHPJG PDE
16,78 11,96 8,69 8,37 7,88 7,01 6,87 4,94 4,80 4,15 3,31 2,92
Las letras de mayor frecuencia son la H que aparece 6 veces y la G que aparece 5 veces.
Por lo tanto pensar en la E se transforma en H y la A se transforma en G. Cmo el
equivalente numrico es 7, tenemos la relacin.
7 4a +b(md 27)
(1)
(2)
(3)
4a 1(md 27)
(4)
b 6(md 27)
Conclusiones
Luego de realizada la investigacin sobre el teorema chino de los restos y algunas
aplicaciones, podemos concluir:
El teorema chino de los restos, es conocido y utilizado por los chinos desde la
antigedad.
Referencias Bibliogrficas
Las siguientes fuentes originales son dignas de un estudio ms minucioso del Teorema
Chino de los Restos de parte de los lectores interesados.
1. Libros
Burton W. Jones
T.M.Apostol
2. Consultas de Internet
Htpp:www.enwipedia.org/Niki/linear_congruencia_theorem