Sujet : Algèbre linéaire, Convolution arithmétique

David Delaunay Http://Mpsiddl.Free.Fr

Description

Arithmétique. Déterminants (dernière partie).

Sujets

• Classe préparatoire aux grandes écoles
• Mathématiques, physique et sciences de l'ingénieur
• Public Readiness and Emergency Preparedness Act
• exercices

Informations

• Publié par: algebre-mpsi
• Nombre de lectures: 52
• Licence : En savoir +
  Paternité, pas d'utilisation commerciale, partage des conditions initiales à l'identique
• Langue: Français

Extrait

Convolution arithmétique

On noteFl’ensemble des fonctions deℕ∗versℝ. On munitFd’une loi additive définie par :
∀,∈F,∀∈ℕ∗, (+)()=()+() .

Pour tout∈ℕ∗, on note :
· l’ensemble des∈ℕ∗tels que|.
· l’ensemble des (1,2)∈(ℕ∗)2tels que12=.
On définit une seconde loi⊻surFpar :
∀,∈F,∀∈ℕ∗, (⊻)()=∑()( ) .
∈
Par abus, on pourra aussi noter :
(⊻)()=∑()( ) .
|

Partie I : Etude de structure

1. Justifier que pour tout,∈Fon a :
∀∈ℕ∗, (⊻)()=∑(1)(2) .
(1,2)∈
Quelle propriété de la loi⊻découle de manière immédiate de cette relation.
2. Montrer que la loi⊻est associative.
3. Montrer que la loi⊻admet un élément neutreεque l’on précisera.
4. La structure (F,+,⊻) est-elle un anneau ?
Partie II : Fonctions multiplicatives
Une fonctiondeFest dite multiplicative si et seulement si :
∀,∈ℕ∗,∧ =1⇒( )=( ) ( )
      .
Par exemple les fonctionsθetψdeℕ∗versℝdéfinies par :θ()=1 etψ()=sont clairement
multiplicatives.
1. Pour tout∈ℕ∗, on noteω() le nombre de nombres premiers distincts intervenant dans la
décomposition primaire de. Montrer que l’application֏(−1)ω()est multiplicative.

2.

3.
3.a
3.b
4.
4.a

4.b


Soit∈Fune fonction multiplicative et∈ℕ∗connu par sa décomposition primaire=∏α(avec
=1
1,…,nombres premiers deux à deux distincts).
.
Exprimer( fonction des) en(α)
Soit,∈ℕ∗tels que∧=1 etπ:×→l’application définie parπ(1,2)=12.
Montrer que l’applicationπest bijective.
En déduire que si,∈Fsont multiplicatives alors⊻l’est aussi.
On poseδ=θ⊻θetσ=ψ⊻θ.
Que représentent les quantitésδ() etσ() ?


Soit∈ℕ∗connu par sa décomposition primaire=∏α(avec1,…,nombres premiers deux à
=1
deux distincts). Exprimerδ() etσ()

Partie III : Formule d’inversion de Möbius

On définit une fonctiondeFen posant pour tout∈ℕ∗:
()=0 siest divisible par le carré d’un nombre premier et
()=(−1) sis’écrit comme le produit denombres premiers deux à deux distincts.
1. Montrer que cette fonctionest multiplicative.
2. Soitun nombre premier.
Calculer (⊻θ)() et (⊻θ)(α) pourα∈ℕ∗.
En déduire queest l’inverse deθpour la loi⊻.
3. Soit,∈F. Etablir l’équivalence :
∀∈ℕ∗,()=∑()⇔ ∀∈ℕ∗,()=∑( )() .
| |
4. En déduire que pour tout∈Fet tout∈ℕ∗la relation :
()=∑ ∑( )()
| |

Partie IV : Fonction indicatrice d’Euler

Pour tout∈ℤet∈ℕ∗ (, on note)la classe dedansℤℤ.
1. Dans toute la suite du problème, on pose pour tout∈ℕ∗,

1.a

1.b
2.
2.a

2.b

2.c
3.
3.a

3.b

ϕ()=Card{∈1,/∧=1}.
Rappeler quels sont les éléments inversibles de l’anneauℤℤ.
Combien y en a-t-il ?
Soitun nombre premier. Calculerϕ() etϕ(α) pourα∈ℕ∗.
Soit∈ℕ∗tels que∧=1 .
,
Quels sont les éléments inversibles de l’anneau(ℤℤ×(ℤℤ.
Combien y en a-t-il ?
Etablir que l’application:ℤℤ→ (ℤℤ×(ℤℤdéfinie par(()
isomorphisme d’anneaux.
En déduire queϕ()=ϕ()ϕ() .
Soit∈ℕ∗etdiviseurs positifs de.
Calculer le cardinal de l’ensemble{∈1,/ pgcd(,)=}.

En déduire la relation

∑ϕ()=.
|

Partie V : Calcul de quelques déterminants non triviaux

= ((), ()est un

Soit∈ℕOn souhaite calculer le déterminant de la matrice* .
=(,)∈(ℝ) définie par,=
1. On pose=(ℓ,)∈(ℝ matrice définie par) laℓ,=0 nis1 si|on

=(,)∈(ℝ) celle ( définie si ) |
par,=0ϕ  sinon
et

1.a
1.b

Calculer detet det.
Etablir que= detet donner une expression de.

gcd(,) .

On souhaite maintenant calculer le déterminant de la matrice=((,))∈(ℝ) oùdésigne un élément
deFet,le pgcd de ci-dessus.et comme

2.

2.a
2.b
3.

On pose=(,)∈(ℝ) la matrice définie par,=0| ∑ ( )(s i nis ) |no

Calculer.
En déduire u e expression de det.
n
On note=( )∈(ℝ matrice définie par) la,=
,
Donner une expression de det.

pcm(,)