• Aucun résultat trouvé

Chapitre 9 Structures algébriques (I)

N/A
N/A
Protected

Academic year: 2022

Partager "Chapitre 9 Structures algébriques (I)"

Copied!
2
0
0

Texte intégral

(1)

Mathématiques – cours : Chap 9 : Structures algébriques (I)

1

Chap 9 : Structures algébriques (I)

I. Groupes

2 1 2 1

( ,*) :*

( ,*)

( , ) , * , ( , ) , *

Groupe associative, élément neutre , tout élément de admet un inverse Sous groupe

G eg G

H H

H x y H x y H x H x y H x y H

≠ ∅ ≠ ∅

 

⇔ ⇔

∀ ∈ ∈ ∈ ∀ ∈ ∈

 

Preuves : Composition par eG, x-1… dans H et dans G

( ) { } ( ( ), )

ensemble quelconque, bijections de dans est un groupe

E S E = E E S E

: ( , ) ( , ) ( , ) 2 ( ) ( ) ( )

Morphisme de groupe ϕ G ∗ → H  (groupes) ∀ x yG , ϕ x y∗ =ϕ x ϕ y

1 1

1

0 0

( ) ( ) ( ( ))

( ) sous groupe de ( ) sous groupe de

Si et morphismes de groupes (de dans et de dans ), morph. gpe de dans

G H

e e x x

G H H G

G H H K G K

ϕ ϕ ϕ

ϕ ϕ

ϕ ψ ψ ϕ

= =

1

1

: ker ({ })

ker { }

e

Noyau d'un morphisme de groupes : C'est un sous-groupe de

injective

Isomorphisme : morph. gpe bijectif, morph. de gpe (en réalité, la 1 condition implique l

H G

G H e G

ssi e

ϕ ϕ ϕ

ϕ ϕ

ϕ ϕ

→ =

=

a 2 )e

( ,*) ( ) { } ( ( ), )

Automorphisme = isomorphisme de G dans G

automorphismes de groupe de G est un groupe

Aut G = Aut G = Aut G

(G H× , ),⋅ ( , ) ( ', ')x yx y =( * ',x x y y ') : groupe

1 2 1 2 2 1

( ) sous-groupes de ( ,*) sous groupe de G sous-groupe de G ou

i i I i

i I

H G H

H H ssi H H H H

∪ ⊂ ⊂

Preuves : composer

II. Anneaux

( , , ) : ( , ) 0

1

( , ) ( , )

1

Anneau groupe commutatif, élément neutre ,

associative, distributive / , admet un élément neutre sous groupe de

sous anneau stable par

A

A

A

A A

B A

B ssi B

B

+ × +

× + ×

+ +

 ×

 ∈

1

( , , ) ( , , ) :

( ) ( ) ( )

( ) ( ) ( )

(1 ) 1

ker ({0 })

morphisme d'anneau de dans

A B

A

A B

x y x y

x y x y

ϕ

ϕ ϕ ϕ

ϕ ϕ ϕ

ϕ ϕ ϕ

+ × ⊕ ⊗

+ = ⊕

× = ⊗

=

=

(2)

Mathématiques – cours : Chap 9 : Structures algébriques (I)

2

( , ) ( , )

, ,

idéal (bilatère) de A si : - sous groupe de -

I A I A

x I yA x y I y x I

⊂ + +

∀ ∈ ∀ × ∈ × ∈

1 2 1 2

ker 1

{ , , }

morphisme d'anneaux est un idéal de Si ou contient un élément inversible par ,

idéal de A idéal de A

A j j J

A

I I I A

I I I x y x I y I

ϕ ϕ

∈ × =

+ = + ∈ ∈

sous-groupe de ( ) idéal de est un anneau principal

H ⇔H =aa∈ ⇔H  ⇒

Preuve : comme H groupe, H admet une partie dans *, on prend a=min(H∩*). Double inclusion : récurrence (a contenu dans H), division euclidienne  r<a (minimum)  a=H

0 ( 0 0 )

* { , } ( *, ) { 1; 1}

est intègre si : ou

inversible par est un groupe *

A A

A xy A x y

A x A x A

= ⇒ = =

= ∈ × ×  = − +

III. Corps

( , , ) : ( , , ) \ {0 } *

( , ) ( , ),

( \ {0 }, ) ( *, )

Corps anneau, tout élément de est inversible par sous-groupe de

Sous corps :

sous-groupe de morphisme de corps : idem morphisme d'anneau

K

K K K ϕ

+ × + × = ×

+ +

 × ×

   

{0 },

Un corps est toujours intègre. Un idéal d'un corps est soit soit 

IV. Quelques résultats

1

2

1 0 0 0

, 1 ( 1) 1

( , ) , ,

si si

anneau. on note et

si si Si alors pour tout

n

n

k k

n n

a A n a na

a n a n

a a n

x y A xy yx k x y yx

= =

 

∈ ∀ ∈ = × ≥ = + − ≥

∈ = ∈ =

2

0

( , , ) ( , ) ( )

Binôme de Newton : anneau, tels que , n n k n k

k

A x y A xy yx x y n x y

k

=

+ × ∈ = + =   

  Preuve : récurrence et triangle de Pascal

1

2 1

0

( , , ) ( , ) ( )

Formule de Bernouilli : anneau, tels que , n n n k n k

k

A x y A xy yx x y x y x y

− −

=

+ × ∈ = − = −

Preuve : somme télescopique

( , ) ( , )

1 ker ker {0 },

ker

Caractéristique d'un corps : morphisme de groupe ss-gpe de Si injectif, on dit que est de caractéristique nulle

Sinon, , et a pour caractéristique

n n

θ θ

θ θ

θ α

+ → +

 ⇒

 ⋅

=

=

 

 α

On n'écrit que pour un corps commutatif1 x

Références

Documents relatifs

ne peut être formé d’éléments deux à deux distincts car E est un

les produits finis. Ils sont établis dans un « paragraphe formel» où l’on introduit en outre la notion de catégorie à limites virtuelles, et surtout de foncteur

tés par des méthodes algébriques et notre premier article étudiera les structures algébriques utiles en de tels domaines.. Il est bien connu que plusieurs

Cette situation est à comparer aux roues de tailles différentes d’un tracteur ou d’une locomotive à vapeur : une permutation est un ensemble de roues de tailles différentes,

(-) Dans tout cet exercice, n et p désignent des entiers naturels non nul et a, b, c, θ des réels. Déterminer l'inverse (s'il existe) des

e inωπ , n ∈ Z est périodique si ω est rationnel puis qu'elle est dense dans le cercle unité si ω est irrationnel. On pourra utiliser la caractérisation séquentielle de

Deux groupes sont dits isomorphes s'il existe un isomorphisme de l'un

On admet également que si et sont indépendantes alors leur covariance est nulle. On considère deux variables aléatoires réelles et définies sur le même espace probabilisé