Méthode 1 : Montrer que (K,+,×) est un corps
- Utiliser la définition d’un corps :
- (K,+,×) est un anneau commutatif
- K est non réduit à {0K}
- Tous les éléments de K, non nuls, sont inversibles.
- Utiliser la notion d’idéal :
Propriété : K, anneau, est un corps si et seulement si il a exactement deux idéaux : {0K} et K.
- Identifier (K,+,×) comme un corps connu :
(C,+,×), (R,+,×) sont des corps usuels.
Théorème : Cas particulier de Z/mZ :
Les propriétés suivantes sont équivalentes :
-
- m est un nombre premier.
- L’anneau Z/mZ est intègre.
- L’anneau Z/mZ est un corps
- Identifier un sous-corps :
Soit (K,+,×).
Si (L,+,×) est un sous-corps de (K,+,×) alors (L,+,×) est un corps.
Remarque : L partie de K est un sous-corps de (K,+,×) si :
-
- L est un sous-anneau de (K,+,×)
- Pour tout x∈L, x≠0K⇒x−1∈L
Méthode 2 : Identifier une K-algèbre
- Utiliser la définition d’une algèbre :
Soit (A,+,×,∙) un quadruplet avec A ensemble, +,× lois de composition interne sur A et ∙ produit extérieur opérant de K sur A.
(A,+,×,∙) est une K-algèbre si :
-
- (A,+,∙) est un K-espace vectoriel
- (A,+,×) est un anneau
- Pour tout λ∈K, pour tous x,y∈A, (λ∙x)y=λ∙(xy)=x(λ∙y)
Remarque : (A,+,∙) est un K-espace vectoriel si :
-
- (A,+) est un groupe abélien
- Pour tous x,y∈A, pour tous λ,μ∈K, λ∙(x+y)=λ∙x+λ∙y,
(λ+μ)∙x=λ∙x+μ∙x,
λ∙(μx)=(λμ)∙x et 1∙x=x.
Les éléments de K sont les scalaires et ceux de A les vecteurs.
- Identifier des algèbres connues :
K, K[X], sont des K- algèbres commutatives.
- Identifier une sous-algèbre d’une algèbre connue :
Une sous-algèbre est une K-algèbre pour les lois restreintes avec les mêmes neutres.
Remarque : B, partie de A, K-algèbre est une sous-algèbre si :
-
- 1A∈B
- Pour tous λ,μ∈K, pour tous x,y∈B, λx+μy∈B
- Pour tous x,y∈B, xy∈B.