FUNCIONES D-ARITMETICAS

Una funcin se llama funcin aritmtica o una funcin de teora de nmeros, si el dominio es el
conjunto de los nmeros naturales y el codominio es el conjunto de los nmeros reales o el de los
complejos, es decir
y estas expresan alguna propiedad de ,
anlogamente para los enteros gaussianos duales definimos una funcin D-aritmtica como sigue:
Una funcin
se llama funcin D-aritmtica y es el punto de partida para la
construccin de la nueva teora de nmeros.

LA FUNCIN DE MBIUS

Definicin
La funcin de Mbius

para los enteros gaussianos duales se define como:

(

Si

, con

) , escribimos

en . Entonces
( )

)
( )

en otro caso

A continuacin presentamos una breve tabla de valores de ( ):

( )

LA FUNCIN INDICATRIZ DE EULER PARA LOS ENTEROS GAUSSIANOS DUALES

Definicin 2
Si
, se define la funcin
como la cantidad de enteros gaussianos duales que son
primos relativos con , en otros trminos
( )
Obsrvese que
nilpotentes.

|{

)}|

debe ser comparable con y dichos enteros gaussianos duales no deben ser

Aqu se presenta una tabla con algunos valores de la funcin indicatriz evaluada en los enteros
gaussianos duales:
( )

11

116

Para calcular ( ), se necesita el algoritmo de Euclides de los nmeros gaussianos duales y analizar
el nfimo de todos los nmeros que sean menores que , y contar cuntos de ellos son primos
relativos con , adems se debe analizar nicamente un representante de las clases de equivalencia
que se generan a partir de , sin embargo este proceso es bastante tedioso para nmeros gaussianos
con parte real muy grande. Por consiguiente se muestran a continuacin algunos teoremas que
facilitaran el clculo de la funcin indicatriz para cualquier nmero gaussiano dual positivo.
Teorema 1
Si

) es nmero primo en

, entonces

( )

Prueba
(
Primero se demuestra que para cualquier
*(
)(
el
)+ es una (1,0) o un asociado de este.

) con

(
) es nmero primo en
, entonces sus nicos divisores son (
) y ( ) donde
(
)
(
), por lo tanto si
con
y
, aplicando el algoritmo de
) (
Euclides existen (
) tal que
Si

)(

Aplicando varias veces el algoritmo, con el fin de obtener el

*(

)(
)(

(
)

)(

)+ se tiene

)
(

)(

*(
)(
Por tanto
)+ (
) donde (
) es un nmero gaussiano dual asociado con
(
) . Ahora por definicin de nfimo (
)(
) y como (
)es un nmero gaussiano dual

) o es un asociado o es una unidad, sin embargo (

primo, entonces (
) ( ) es decir que
(
)ya que si lo fuera
y (
(

)(

Pero
lo cual contradice que
decir el nfimo es una unidad.

) no es un asociado a

)
, en consecuencia (

ya que

) es

) que cumplen la condicin de ser primos relativos

Ahora falta contar la cantidad de nmeros (
con (
)como vimos cualquier (
) es primo relativo con (
)si
, entonces contaremos
) menores que (
los (
)tal que
y
, esto con el fin de tomar un
representante de cada clase de equivalencia que genera
, como
, hacemos las posibles
(
)
(
)
(
)(
) es decir
combinaciones de cuando
:
hay
combinaciones para este caso, para el caso
hay
combinaciones, y en
general hay combinaciones para cada valor de entonces la cantidad de nmeros gaussianos
duales menores que (
), contando la unidad es
(

1+
(

Esto si

) es un nmero primo en

Teorema 2
(
) un nmero gaussiano dual positivo con
para algn
, si
es un nmero compuesto en
entonces
Sea

( )

en
y

con
,

En el caso en que sea un nmero primo, la ecuacin anterior se reduce a

Donde

recorre todos los divisores de

( )

en

Teorema 3
Sea

(
) un nmero gaussiano dual positivo con
para todo
, si es un nmero compuesto en

( )
)

y
)

en
con
, entonces

Teorema 4
(
) un nmero gaussiano dual positivo con
Sea
en . Si es un nmero compuesto en
y
(

( )

con un nmero primo no par

) en , entonces
)

Teorema 5
(
) un nmero gaussiano dual positivo con
Sea
un nmero compuesto en
y
( ) , entonces

con

un nmero par en . Si

es

( )
)

Teorema 6
(
) un nmero gaussiano dual positivo con
Sea
un nmero compuesto en
y
, entonces
(
Donde

( )

en

, si es

( ) es la funcin suma de divisores definida para los nmeros naturales..

LA FUNCIN NUMERO DE DIVISORES Y SUMA DE DIVISORES PARA LOS

ENTEROS GAUSSIANOS DUALES
Definicin 3
Si
, se define la funcin
trminos

el nmero de divisores gaussianos duales de , en otros

( )

|{

}|

A continuacin se presentan algunos valores de ( )

( )

Teorema 7

10

(
) un nmero gaussiano dual positivo con
Sea
un nmero compuesto en
y
, entonces
( )

en , si es