Algèbre (structure)

Algèbre (structure): Algèbre sur un corps

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

$(E, \mathbb K, +,\cdot, \times)$ est une algèbre sur un corps $\mathbb K$ , ou autrement dit une $\mathbb K$ - algèbre si :

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

la loi × est définie de E x E dans E (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 $E 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 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, \mathbb R, +,\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), \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, \mathbb R, +,\cdot, \wedge)$ est une $\mathbb R$ - algèbre non associative et non commutative.

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

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

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

Voir aussi

Algèbre associative 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 Algèbre (structure) de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

Structure algebrique — Structure algébrique En mathématiques, plus particulièrement en algèbre, une structure algébrique est un type particulier de structure. Sa spécificité par rapport aux autres types de structure est d être formée d’un ensemble combiné à une ou… … Wikipédia en Français
Structure algébrique — En mathématiques, plus particulièrement en algèbre, une structure algébrique est un type particulier de structure. Sa spécificité par rapport aux autres types de structure est d être formée d’un ensemble combiné à une ou plusieurs lois de… … Wikipédia en Français
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
ALGÈBRE — L’algèbre au sens moderne, à savoir l’étude des structures algébriques indépendamment de leurs réalisations concrètes, ne s’est dégagée que très progressivement au cours du XIXe siècle, en liaison avec le mouvement général d’axiomatisation de… … Encyclopédie Universelle
Algebre d'un groupe fini — Algèbre d un groupe fini En mathématiques, l algèbre d un groupe fini s inscrit dans le cadre de la théorie des représentations d un groupe fini. Une algèbre d un groupe fini est la donnée d un groupe fini, d un espace vectoriel de dimension l… … Wikipédia en Français
Algèbre D'un Groupe Fini — En mathématiques, l algèbre d un groupe fini s inscrit dans le cadre de la théorie des représentations d un groupe fini. Une algèbre d un groupe fini est la donnée d un groupe fini, d un espace vectoriel de dimension l ordre du groupe et d une… … Wikipédia en Français

Mark and share
Search through all dictionaries
Translate…
Search Internet

Share the article and excerpts