• Aucun résultat trouvé

1. Montrer que tout sous groupe de ( Z n , +) est isomorphe ` a ( Z r , +) avec r 6 n.

N/A
N/A
Protected

Academic year: 2022

Partager "1. Montrer que tout sous groupe de ( Z n , +) est isomorphe ` a ( Z r , +) avec r 6 n."

Copied!
2
0
0

Texte intégral

(1)

TD DU 22/11/2010 ET DU 29/11/2010

1. Montrer que tout sous groupe de ( Z n , +) est isomorphe ` a ( Z r , +) avec r 6 n.

2. Soit I 1 ,...,I n n segments disjoints non vides.

(1) Soit P ∈ R n−1 [X]. Montrer que si ∀i ∈ 1, ..., n R

I

i

P (x) dx = 0 alors P = 0.

(2) Montrer qu’il existe P de degr´ e n tel que P 6= 0 et ∀i ∈ 1, ..., n R

I

i

P (x) dx = 0.

1

(2)

TD DU 22/11/2010 ET DU 29/11/2010 1

Solution 1 On va raisonner par r´ ecurrence forte sur n.

• n = 1, G sous-groupe de Z alors G = p Z (p 6= 0 si on suppose G non trivial).

ϕ : x ∈ G 7→ x/p ∈ Z est l’isomorphisme recherch´ e.

• n = 2 : soit p(G) la projection de G sur Z qui ` a tout ´ el´ ement (x, y) de G fait correspondre x. p(G) est un sous-groupe de Z de la forme a Z .

– Si a = 0 alors en raisonnant sur la deuxi` eme coordonn´ ee, il existe b ∈ Z tel que G = (0, b) Z .

– Si a 6= 0 alors tout ´ el´ ement de G s’´ ecrit (ka, y). On pose Q 0 = {y ∈ Z | (0, y) ∈ G}.

∗ Si Card Q 0 = 1 alors n´ ecessairement Q 0 = {0}, si (x, y) et (x, y 0 ) sont deux

´ el´ ements de G alors (x, y) − (x, y 0 ) = (0, y − y 0 ) ∈ G donc y − y 0 ∈ Q 0 i.e.

y = y 0 donc G ⊂ (a, b) Z o` u b est l’unique ´ el´ ement de Z tel que (a, b) ∈ G.

L’inclusion inverse ´ etant ´ evidente, on en d´ eduit que G = (a, b) Z .

∗ Si Card Q 0 > 2 alors Q 0 est un sous-groupe non trivial de Z de la forme c Z . Si (a, b 0 ) est un ´ el´ ement de G alors tout ´ el´ ement de G s’´ ecrit

(x, y) = k(a, b 0 ) + (0, y − kb) = k(a, b 0 ) + h(0, c)

i.e. G ⊂ (a, b 0 ) Z + (0, c) Z , l` a aussi l’inclusion inverse est imm´ ediate d’o` u G = (a, b 0 ) Z + (0, c) Z , G est isomorphe ` a Z 2 .

• n > 3, on suppose la propri´ et´ e vraie pour tout q 6 n − 1. Soit donc G un sous-groupe de Z n , on note p la projection sur Z n−1 qui ` a un ´ el´ ement de Z n fait correspondre l’´ el´ ement de Z n−1 obtenu en supprimant la derni` ere coordonn´ ee et p 0 de Z n dans Z celle qui fait correspondre cette derni` ere coordonn´ ee.

Soit G 0 = p(G), G 0 est un sous-groupe de Z n−1 donc il existe r 6 n − 1 tel que G 0 ' Z r , on note ϕ 0 un isomorphisme de G 0 dans Z r .

On note Q 0 = {x n ∈ Z | (0, . . . , 0, x n ) ∈ G}.

– Si Card Q 0 = 1 alors Q 0 = {0}, si (x 1 , . . . , x n−1 , x n ) et (x 1 , . . . , x n−1 , x 0 n ) sont deux

´ el´ ements de G alors (x 1 , . . . , x n−1 , x n ) − (x 1 , . . . , x n−1 , x 0 n ) = (0, . . . , 0, x n − x 0 n ) ∈ G donc x n − x 0 n ∈ Q 0 i.e. x n = x 0 n donc l’application ϕ : G 7→ Z r d´ efinie par ϕ(x 1 , . . . , x n−1 , x n ) = ϕ 0 (x 1 , . . . , x n−1 ) est bien d´ efinie est c’est un isomorphisme de groupes.

– Si Card Q 0 > 2 alors Q 0 est un sous-groupe non trivial de Z de la forme c Z . On d´ efinit alors ϕ : G → Z r+1 par ϕ(x 1 , . . . , x n ) = (ϕ 0 (x 1 , . . . , x n−1 ), x n /c).

Solution 2

(1) On pose Q(x) = Z x

0

P (t) dt, I k = [a k , b k ], k ∈ [[1, n]]. Les hypoth` eses se traduisent par Q(a 1 ) = Q(b 1 ),...,Q(a n ) = Q(b n ). On range les a k dans l’ordre croissant. On a ainsi a 1 < b 1 < a 2 < . . . < a n < b n et, grˆ ace au th´ eor` eme de Rolle, il existe des c k ∈]a k , b k [ tels que Q 0 (c k ) = P (c k ) = 0. P est donc un polynˆ ome de degr´ e n − 1 qui s’annule en n valeurs, c’est donc le polynˆ ome nul.

(2) Reprenons les notations ci-dessus. Soit H k = {Q ∈ R n+1 [X] | Q(a k ) = Q(b k )}. H k est un hyperplan de R n+1 [X] et

n

\

k=1

H k = F est un sous-espace vectoriel de R n+1 [X] de

dimension > 2, il contient donc un polynˆ ome Q non constant. Il suffit alors de prendre

P = Q 0 .

Références

Documents relatifs

Ainsi, l’un des trois est nécessairement le demi-tour et les deux autres des rotations dont l’angle entre les axes doit être de π/2, car l’angle de la rotation qui est leur

Donner une nouvelle d´emonstration du principe du maximum utilisant le fait qu’une fonction holomorphe non constante

D´evelopper les fonctions suivantes en s´eries de Laurent en 0 dans chacun des ouverts

L’id´ eal engendr´ e par 2 et X est de type fini, sans torsion (puisque Z[X ] est int` egre et donc sans torsion) et n’est pas libre (sinon ce serait un id´ eal principal).. Il

Par exemple il est inexploitable pour calculer le champ au centre d’une spire car on ne peut pas trouver de contour fermé passant par le centre de la spire qui vérifie les conditions

[r]

In particular, the asymptotic property (11) characterizes the Koenigs iterates uniquely.. Clearly it then also satisfies the relation for negative values of a. F

Ainsi, l'idde fondamentale dont je pars dans mon mdmoire appartient g