Sous-algèbre

Sous-algèbre: Algèbre sur un corps

En mathématiques, une algèbre sur un corps commutatif est une structure algébrique qui se définit comme suit:

$(A, +,\cdot, \times)$ est une algèbre sur le corps $\mathbb K$ , ou simplement une $\mathbb K$ - algèbre si :

$\mathbb K$ est un corps commutatif,

(A, +, ·) est un espace vectoriel sur $\mathbb K$ ,

la loi × est définie de A x A dans A (loi de composition interne)

la loi × est distributive, à gauche et à droite, par rapport à la loi + .

pour tout (a, b) dans $\mathbb K^2$ et pour tout (x, y) dans $A 2$ , (a·x)×(b·y) = (ab)·(x×y)

Sommaire

1 Définitions

2 Propriétés

3 Exemples

4 Voir aussi

Définitions

Soient $\mathbb K$ un corps commutatif et A un espace vectoriel sur $\mathbb K$ contenant l'opération binaire (c'est-à-dire $\forall x, y \in A, xy\,$ , est le « produit » de x et y). Si l'opération binaire est bilinéaire, ce qui signifie que $\forall x, y, z \in A\,$ (vecteurs) et $\forall a, b \in \mathbb K\,$ (scalaires), ces identités sont vraies :

$(x + y) z = x z + y z\,$ ;

$x ( y + z) = x y + x z\,$ ;

$(a x) (b y) = (a b) (x y)\,$ ,

alors A est une algèbre sur $\mathbb K$ . On dit que A est une $\mathbb K$ -algèbre où $\mathbb K$ est la base de A. L'opérateur binaire est souvent désigné comme la multiplication dans A.

$\mathbb K$ peut être un anneau commutatif, dans ce cas, A et $\mathbb K$ forment un module. Dans ce cas, A est une $\mathbb K$ -algèbre et $\mathbb K$ est l'anneau de base de A.

Deux algèbres A et B sur $\mathbb K$ sont isomorphes s'il existe une bijection $f : A \rightarrow B$ telle que $f (x y) = f (x) f (y)$ $\forall x,y \in A$ .

Propriétés

Cette section est vide, pas assez détaillée ou incomplète. Votre aide est la bienvenue !

Exemples

L'ensemble des nombres complexes $(\mathbb C, +,\cdot, \times)$ est une $\mathbb R$ - algèbre associative et commutative.

L'ensemble des matrices carrées d'ordre n à valeur dans $\mathbb R$ $\left(\mathcal M_n(\mathbb R), +,\cdot, \times \right)$ est une $\mathbb R$ - algèbre associative et non commutative.

L'espace euclidien $\mathbb R^3$ muni du produit vectoriel $(\mathbb R^3, +,\cdot, \wedge)$ est une $\mathbb R$ - algèbre non associative et non commutative.

L'ensemble des quaternions $(\mathbb H, +,\cdot, \times)$ est une $\mathbb R$ - algèbre associative et non commutative.

L'ensemble des octonions $(\mathbb O, +,\cdot, \times)$ est une $\mathbb R$ - algèbre non associative et non commutative.

L'ensemble des biquaternions $(\mathbb B, +,\cdot, \times)$ est une $\mathbb R$ - algèbre associative et non commutative.

Voir aussi

Algèbre associative sur un anneau

Algèbre sur un anneau

Algèbre de Clifford

Algèbre géométrique

Algèbre de Lie

Algèbre linéaire générale

Vecteur • Scalaire • Combinaison linéaire • Espace vectoriel • Matrice

Famille de vecteurs Colinéarité • Indépendance linéaire • Famille libre • Rang • Famille génératrice • Base • Théorème de la base incomplète

Sous-espace Somme d'ensembles • Somme directe • Sous-espace supplémentaire • Dimension d'un espace vectoriel • Codimension • Droite • Plan • Hyperplan

Morphisme et notions relatives Application linéaire • Noyau • Conoyau • Lemme des noyaux • Pseudo-inverse • Théorème de factorisation • Théorème du rang • Équation linéaire • Système d'équations linéaires • Élimination de Gauss-Jordan • Forme linéaire • Espace dual • Orthogonalité • Base duale • Endomorphisme linéaire • Valeur propre, vecteur propre et espace propre • Spectre • Projecteur • Symétrie • Matrice diagonalisable • Endomorphisme nilpotent

En dimension finie Trace • Déterminant • Polynôme caractéristique • Polynôme d'endomorphisme • Théorème de Cayley-Hamilton • Polynôme minimal d'un endomorphisme • Invariants de similitude • Réduction d'endomorphisme • Réduction de Jordan • Décomposition de Dunford

Enrichissements de structure Norme • Produit scalaire • Forme quadratique • Espace vectoriel topologique • Orientation • Algèbre sur un corps • Algèbre de Lie • Complexe différentiel

Développements Théorie des matrices • Représentation de groupe • Analyse fonctionnelle • Algèbre multilinéaire • Module sur un anneau

Portail des mathématiques

Ce document provient de « Alg%C3%A8bre sur un corps ».

Catégorie : Structure externe

Contenu soumis à la licence CC-BY-SA. Source : Article Sous-algèbre de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

Algebre universelle — Algèbre universelle L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de… … Wikipédia en Français
Algèbre Universelle — L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de définir de manière… … Wikipédia en Français
Algebre semi-simple — Algèbre semi simple En mathématiques et plus particulièrement en algèbre, une A algèbre L, où A désigne un anneau, est qualifiée de semi simple ou de complètement réductible si et seulement si la structure d anneau associé à L l est Elle est… … Wikipédia en Français
Algèbre Semi-simple — En mathématiques et plus particulièrement en algèbre, une A algèbre L, où A désigne un anneau, est qualifiée de semi simple ou de complètement réductible si et seulement si la structure d anneau associé à L l est Elle est présente dans de… … Wikipédia en Français
Algèbre semi-simple — En mathématiques et plus particulièrement en algèbre, une A algèbre L, où A désigne un anneau, est qualifiée de semi simple ou de complètement réductible si et seulement si la structure d anneau associé à L l est Elle est présente dans de… … Wikipédia en Français
Algebre de Clifford — Algèbre de Clifford En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des… … Wikipédia en Français
Algebre de Lie — Algèbre de Lie En mathématiques, une algèbre de Lie, nommée en l honneur du mathématicien Sophus Lie, est un espace vectoriel (parfois même une algèbre) qui est munie d un crochet de Lie. Sommaire 1 Définitions, exemples et premières propriétés 1 … Wikipédia en Français
Algèbre De Clifford — En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des généralisations possibles des… … Wikipédia en Français
Algèbre De Lie — En mathématiques, une algèbre de Lie, nommée en l honneur du mathématicien Sophus Lie, est un espace vectoriel (parfois même une algèbre) qui est munie d un crochet de Lie. Sommaire 1 Définitions, exemples et premières propriétés 1.1 Définition … Wikipédia en Français
Algèbre de Clifford du plan euclidien) — Algèbre de Clifford En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des… … Wikipédia en Français

Mark and share
Search through all dictionaries
Translate…
Search Internet

Share the article and excerpts