Vous êtes sur la page 1sur 3

Convolution arithmtique

On note F lensemble des fonctions de vers . On munit F dune loi additive dfinie par :

u , v F , n ,(u + v )(n ) = u (n ) + v (n ) .
Pour tout n , on note :
Dn lensemble des d tels que d | n .
C n lensemble des (d1 ,d 2 ) ( )2 tels que d1d2 = n .
On dfinit une seconde loi sur F par :

u , v F , n ,(u v )(n ) = u (d )v (n d ) .
d Dn

Par abus, on pourra aussi noter :

(u v )(n ) = u (d )v (n d ) .
d |n

Partie I : Etude de structure


1.

Justifier que pour tout u , v F on a :

n ,(u v )(n ) =

u (d1 )v (d 2 ) .

(d1 ,d 2 )C n

2.
3.

Quelle proprit de la loi dcoule de manire immdiate de cette relation.


Montrer que la loi est associative.
Montrer que la loi admet un lment neutre que lon prcisera.

4.

La structure (F , +, ) est-elle un anneau ?


Partie II : Fonctions multiplicatives

Une fonction u de F est dite multiplicative si et seulement si :

m , n , m n = 1 u (mn ) = u (m )u (n ) .
Par exemple les fonctions et de vers dfinies par : (n ) = 1 et (n ) = n sont clairement
multiplicatives.
1.

Pour tout n , on note (n ) le nombre de nombres premiers distincts intervenant dans la


dcomposition primaire de n . Montrer que lapplication n (1) (n ) est multiplicative.
N

2.

Soit u F une fonction multiplicative et n connu par sa dcomposition primaire n = pii (avec
i =1

p1 ,, pN nombres premiers deux deux distincts).


Exprimer u (n ) en fonction des u (pii ) .
3.

Soit m , n tels que m n = 1 et : Dm Dn Dmn lapplication dfinie par (d1 ,d 2 ) = d1d 2 .

3.a
3.b

Montrer que lapplication est bijective.


En dduire que si u , v F sont multiplicatives alors u v lest aussi.

4.

On pose = et = .

4.a

Que reprsentent les quantits (n ) et (n ) ?

4.b

Soit n connu par sa dcomposition primaire n = pii (avec p1 ,, pN nombres premiers deux

N
i =1

deux distincts). Exprimer (n ) et (n )

Partie III : Formule dinversion de Mbius


On dfinit une fonction de F en posant pour tout n :

(n ) = 0

si n est divisible par le carr dun nombre premier et

(n ) = (1)k

si n scrit comme le produit de k nombres premiers deux deux distincts.

1.

Montrer que cette fonction est multiplicative.

2.

Soit p un nombre premier.


Calculer ( )(p ) et ( )(p ) pour .
En dduire que est linverse de pour la loi .

3.

Soit u , v F . Etablir lquivalence :

n , v (n ) = u (d ) n , u (n ) = (n d )v (d ) .
d |n

4.

d |n

En dduire que pour tout u F et tout n la relation :

u (n ) = (d c )u (c )
d |n

c |d

Partie IV : Fonction indicatrice dEuler


Pour tout x et n , on note (x )n la classe de x dans n .
1.

Dans toute la suite du problme, on pose pour tout n ,

(n ) = Card {k 1, n  / k n = 1} .
1.a

Rappeler quels sont les lments inversibles de lanneau n .


Combien y en a-t-il ?

1.b

Soit p un nombre premier. Calculer (p ) et (p ) pour .

2.

Soit m , n tels que m n = 1 .

2.a

Quels sont les lments inversibles de lanneau ( m )( n ) .


Combien y en a-t-il ?

2.b

Etablir que lapplication f : mn ( m )( n ) dfinie par f ((x )mn ) = ((x )m ,(x )n ) est un
isomorphisme danneaux.

2.c

En dduire que (mn ) = (m ) (n ) .

3.

Soit n et d diviseurs positifs de n .

3.a

Calculer le cardinal de lensemble {k 1, n  / pgcd(k , n ) = d } .

3.b

En dduire la relation

(d ) = n .
d |n

Partie V : Calcul de quelques dterminants non triviaux


Soit n * . On souhaite calculer le dterminant de la matrice A = (ai , j ) M n ( ) dfinie par ai , j = pgcd(i , j ) .
1.

On pose L = ( i ,d ) M n ( ) la matrice dfinie par i ,d = 1 si d | i


0 sinon

et U = (ud , j ) M n ( ) celle dfinie par ud , j = (d ) si d | j


0
sinon
1.a

Calculer det L et detU .

1.b

Etablir que A = LU et donner une expression de det A .

On souhaite maintenant calculer le dterminant de la matrice B = (u (ai , j )) M n ( ) o u dsigne un lment


de F et ai , j le pgcd de i et j comme ci-dessus.

2.a

(d c )u (c ) si d | j
On pose V = (vd , j ) M n ( ) la matrice dfinie par vd , j =
c|d
0
sinon

Calculer LV .

2.b

En dduire une expression de det B .

3.

On note C = (ci , j ) M n ( ) la matrice dfinie par ci , j = ppcm(i , j )

2.

Donner une expression de detC .