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 xL, x0Kx1L

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,yA, (λx)y=λ(xy)=x(λy)

Remarque : (A,+,) est un K-espace vectoriel si :

    • (A,+) est un groupe abélien
    • Pour tous x,yA, pour tous λ,μK, λ(x+y)=λx+λy,
      (λ+μ)x=λx+μx,
      λ(μx)=(λμ)x et 1x=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 :

    • 1AB
    • Pour tous λ,μK, pour tous x,yB, λx+μyB
    • Pour tous x,yB, xyB.