Polynôme d'endomorphisme

Polynôme d'endomorphisme: En algèbre linéaire, on utilise fréquemment la notion de polynôme d'endomorphisme (ou de matrice), qui est une combinaison linéaire de puissances (au sens de la composition de fonctions) de l'endomorphisme.

Pour un endomorphisme $u$ d'un espace vectoriel $E$ sur $\scriptstyle\mathbb K$ elle donne à $E$ une structure de $\scriptstyle\mathbb K[X]$ -module.

L'application la plus intéressante réside dans la recherche des polynômes annulateurs de l'endomorphisme : les relations caractéristiques des projecteurs ( $p 2 = p$ ), des symétries ( $s 2 = Id$ ) constituent les exemples les plus simples de polynômes annulateurs.

De plus la recherche de polynômes annulateurs permet de déterminer les valeurs propres d'une matrice sans en calculer le polynôme caractéristique, voire de prouver très simplement la diagonalisation.

Sommaire

1 Intérêt du concept

2 Définition et premières propriétés

3 Idéaux annulateurs

4 Polynôme minimal

4.1 Décomposition en somme directe de sous-espaces stables

4.2 Cas où le polynôme minimal est scindé

4.3 Diagonalisabilité

4.4 Théorème de Cayley-Hamilton

5 Voir aussi

Intérêt du concept

Si $u$ est l'endomorphisme que nous étudions, on peut l'appliquer deux fois à un vecteur, on note alors $u 2$ l'application associée. En fait, on peut l'appliquer autant de fois qu'on le souhaite. Ceci nous permet d'élever un endomorphisme à une puissance entière. On peut aussi additionner plusieurs endomorphismes et les multiplier par un nombre. En conséquence il est possible d'appliquer un polynôme à un endomorphisme.

Ce concept est archétypal d'une démarche souvent féconde en mathématiques. Elle consiste à établir un pont entre deux théories. Dans cet article le pont est établi entre les polynômes et les applications linéaires. Il est bâti sous la forme d'un morphisme d'algèbre entre les polynômes et les endomorphismes. Il permet alors d'exporter les propriétés de commutativité, des idéaux principaux, d'appliquer l'identité de Bézout ou une interpolation lagrangienne. Par delà l'aspect élégant d'une telle démarche, l'essentiel des théorèmes strictement associés aux applications linéaires se démontre sans trop de dédales calculatoires.

Dans la pratique, cette démarche permet de démontrer l'existence du polynôme minimal et de déterminer la structure des polynômes annulateurs. Elle propose une approche permettant de comprendre l'origine de la notion de vecteur propre généralisé ainsi que de sous-espace caractéristique. Dans le cas où le corps est algébriquement clos, elle permet même de fournir une réduction simple de l'endomorphisme, dite réduction de Jordan. Elle permet alors de comprendre pourquoi le polynôme caractéristique est un multiple du polynôme minimal, et fournit donc une démonstration du théorème de Cayley-Hamilton. Elle est enfin la base d'une famille d'algorithmes souvent largement plus rapides qu'une approche par les déterminants.

Définition et premières propriétés

Soit $E$ un $\scriptstyle\mathbb K$ -espace vectoriel. Nous utilisons la notation usuelle $L (E)$ pour désigner l'ensemble des endomorphismes et $\mathbb{K}[X]$ désigne ici l'anneau des polynômes formels. Soit $u \in {L}(E)$ un endomorphisme et $P=a_0+a_1X+...+a_pX^p \in \mathbb{K}[X]$ un polynôme.

On définit $P[u]\in L(E)$ par $P [u] = a 0 Id E + a 1 u + a 2 u 2 + ... + a p u p$ . C'est la définition naturelle d'un polynôme d'endomorphisme.

Si on note $u 0 = Id$ on peut écrire, pour $\textstyle P=\displaystyle\sum_{k=0}^p a_k X^k$ , $\textstyle P[u]=\displaystyle\sum_{k=0}^p a_k u^k$ .

L'anneau des polynômes peut être considéré comme un espace vectoriel sur $\scriptstyle\mathbb K$ . Avec ses trois opérations : addition, produit scalaire et multiplication, il forme une structure que l'on appelle une algèbre. Il en est de même pour les endomorphismes munis de la composition comme multiplication. À la différence des endomorphismes, les polynômes forment une algèbre commutative. Il n'est pas surprenant que l'application naturelle de l'espace des polynômes dans l'ensemble des endomorphismes soit un morphisme d'algèbre. Un morphisme d'algèbre est une application respectant les trois opérations de l'algèbre, l'addition, le produit scalaire et la multiplication.

L'application $ψ u$ , qui à $P$ associe $P [u]$ est un morphisme de $\scriptstyle\mathbb K$ -algèbres de $\scriptstyle\mathbb K[X]$ dans $L (E)$ .

L'image de $ψ u$ est une sous-algèbre abélienne de $L (E)$ .

Cela signifie que deux polynômes du même endomorphisme commutent entre eux. Cette propriété provient du fait que la commutativité est toujours transportée par un morphisme.

Si $x$ est un vecteur propre de valeur propre $λ$ , alors il est aussi vecteur propre de l'endomorphisme $P [u]$ avec la valeur propre $P (λ)$ . En particulier si $P [u] = 0$ alors les valeurs propres sont parmi les racines de $P$ . Cependant la réciproque n'est pas vraie, toutes les racines de $P$ ne sont pas forcément valeurs propres de $u$ .

Démonstration

L'application $P\mapsto P[u]$ est un morphisme de $\scriptstyle\mathbb K$ -algèbres de $\scriptstyle\mathbb K[X]$ dans $L (E)$ .

Ce qui signifie ici que : $(λ P + μ Q)[u] = λ P [u] + μ Q [u]$ et $(P\cdot Q)[u]=P[u]\circ Q[u]$ .

Pour prouver la propriété pour le produit on commence par prouver que $(X^kQ)[u]=u^k\circ Q[u]$ puis on utilise la linéarité.

Si $x$ est un vecteur propre de valeur propre $λ$ , alors il est aussi vecteur propre de l'endomorphisme $P [u]$ avec la valeur propre $P (λ)$ .
Si $x$ est un vecteur propre de $u$ pour la valeur propre $λ$ alors $u k (x) = λ k . x$ donc $P[u](x)=\sum_{k=0}^p a_k\cdot u^k(x)=\sum_{k=0}^p a_k \lambda^k\cdot x=P(\lambda)\cdot x$ .

Idéaux annulateurs

Le reste de l'article ne considère que le cas où l'espace vectoriel est de dimension finie $n$ .

Un morphisme entre deux structures est un outil puissant. Les propriétés de l'une des structures se trouvent transportées par le morphisme dans son image. Le paragraphe précédent utilise cette propriété pour démontrer le caractère commutatif de l'espace des polynômes d'un endomorphisme particulier. Le noyau d'un morphisme d'algèbre est une sous-algèbre. Cette propriété est un des éléments permettant d'établir la définition et les propositions suivantes :

L'ensemble des polynômes qui annulent un endomorphisme est un idéal principal non réduit à 0; on l'appelle Idéal annulateur. On appelle polynôme annulateur un élément de l'idéal annulateur. Il existe un unique polynôme unitaire qui l'engendre; il est appelé polynôme minimal.

Un idéal est un sous-groupe additif stable par multiplication par tout élément de l'anneau.

Soit $x$ un vecteur de $E$ et $u$ un endomorphisme, alors l'ensemble des polynômes de $u$ qui annulent $x$ est un idéal principal contenant l'idéal annulateur. On l'appelle idéal annulateur de $x$ . Il existe un unique polynôme unitaire qui l'engendre; il est appelé polynôme minimal de $x$ .

Il est possible de remarquer que l'idéal annulateur, qui annule tout vecteur, annule aussi $x$ . L'idéal annulateur de $x$ contient donc l'idéal annulateur de $u$ . L'intérêt du concept d'idéal annulateur réside dans le fait qu'il permet de trouver des sous-espaces stables de $u$ . Sur ces sous-espaces stables, l'endomorphisme peut s'exprimer plus simplement. Cette démarche consistant à décomposer l'espace $E$ en sous-espaces stables et en somme directe procède de la démarche dit de réduction d'endomorphisme.

Le noyau d'un polynôme d'endomorphisme de $u$ est un sous-espace vectoriel stable par $u$ .

Soit $(P i [X])$ une famille finie de polynômes premiers entre eux deux à deux. Alors la famille des $(ker P i [u])$ est une somme directe de sous-espaces stables par $u$ qui engendre l'espace $\textstyle\ker\prod_i P_i[u]$ . De plus, les projecteurs associés s'expriment comme des polynômes en $u$ .

La dernière propriété est essentielle pour la réduction d'endomorphisme. Elle intervient dans la suite de l'article, pour l'analyse du polynôme minimal et pour l'analyse du cas où il est scindé. Elle intervient enfin dans la décomposition de Dunford.

Démonstration

L'ensemble des polynômes qui annulent un endomorphisme est un idéal principal non réduit à 0. Il existe un unique polynôme unitaire qui l'engendre.

Le fait que l'idéal annulateur soit un idéal provient du fait que le noyau de tout morphisme d'anneau est un idéal. Il est principal car l'anneau des polynômes est un anneau principal. Enfin la famille $(\mathrm{Id}_E,u,u^2,\ldots,u^{n^2})$ est une famille linéairement liée car de cardinal supérieur à la dimension de l'espace, ici l'espace des endomorphismes. Il existe donc une combinaison linéaire non nulle, cette combinaison linéaire est un polynôme annulateur par construction. Si cette démonstration laisse supposer que le degré d'un polynôme minimal peut être égal à $n 2$ , en fait, il n'en est rien. Le polynôme est au plus de degré $n$ .

Soit $x$ un vecteur de $E$ et $u$ un endomorphisme, alors l'ensemble des polynômes de $u$ qui annulent $x$ est un idéal principal contenant l'idéal annulateur. Il existe un unique polynôme unitaire qui l'engendre.

Cet ensemble est manifestement stable par multiplication par n'importe quel polynôme, c'est donc un idéal. Il est principal pour la même raison que la démonstration précédente et il contient manifestement l'idéal annulateur.

Le noyau $F$ d'un polynôme $P$ d'endomorphisme de $u$ est un sous-espace vectoriel stable par $u$ .

Le noyau d'un endomorphisme est un sous-espace vectoriel, c'est donc le cas de $F$ . Soit $x$ un élément de $F$ . Le polynôme $P [X]. X$ est un multiple d'un polynôme annulateur de la restriction de $u$ à $F$ , ce polynôme est donc annulateur de $u$ sur $F$ . Ce résultat nous montre que $u (x)$ est bien un élément de $F$ .

Soit $(P i [X])$ une famille finie de polynômes premiers entre deux deux à deux. Alors la famille des $(ker P i [u])$ est une somme directe de sous-espaces stables par $u$ qui engendre l'espace $\textstyle\ker\prod_i P_i[u]$ . De plus, les projecteurs associés à cette somme directe s'expriment comme des polynômes en $u$ .

La proposition précédente montre que tous les ensembles dont il est question dans la proposition sont des sous-espaces vectoriels stables par $u$ .

Soit $\textstyle N_i(X)=\prod_{j\ne i} P_j[X]$ ; les polynômes $N i$ sont premiers dans leur ensemble donc, d'après l'identité de Bézout, il existe des polynômes $Q i$ tels que $\textstyle\sum_i Q_i(X)N_i(X)=1$ .

Soit $π i$ l'endomorphisme défini par $π i = (Q i . N i)[u]$ .

La somme des $π i$ est égale à l'identité.

$\sum_i \pi_i = \sum_i (Q_i\cdot N_i)[u]=1[u]=\mathrm{Id}_E$

Si $i$ est différent de $j$ alors la restriction de $\pi_i \circ \pi_j$ à l'espace $\textstyle\ker\prod_i P_i[u]$ est nulle.

$\forall x \in \ker\prod_i P_i[u]\quad (\pi_i \circ \pi_j)(x) = (Q_i\cdot N_i\cdot Q_j\cdot N_j)[u](x) = (Q_i\cdot Q_j\cdot N_i\cdot N_j)[u](x)=0$
car $N i . N j$ est un multiple de $\textstyle\prod_i P_i$ .

Le carré de $π i$ est égal à lui-même sur l'espace $\textstyle\ker\prod_i P_i[u]$ .

$\pi_i=\pi_i\circ\mathrm{Id}_E=\pi_i\circ\left(\sum_{j=1}^p\pi_j\right) =\sum_{j=1}^p\pi_i\circ \pi_j=\pi_i\circ \pi_i$
La famille $(π i)$ est donc bien une famille de projecteurs.

L'image de $π i$ est égale à $ker P i (u)$

Soit $x$ un élément de $\textstyle\ker\prod_i P_i(u)$ :
$P_i[u]\circ\pi_i(x)=(P_i\cdot Q_i\cdot N_i)[u](x)=(Q_i\cdot P_i\cdot N_i)(u)(x)=\left(Q_i\cdot\prod_j P_j\right)(u)(x)=0$
Ce qui montre l'inclusion de l'image de $π i$ dans $ker P i (u)$ .

Réciproquement soit $x i$ un élément de $ker P i (u)$ . Il est élément de $\textstyle\ker\prod_i P_i[u]$ donc :
$\displaystyle x_i=\sum_j \pi_j (x_i)=\pi_i(x_i)$
Ce qui démontre que $ker P i (u)$ est inclus dans l'image de $π i$ .

En conclusion la famille $(π i)$ est une famille de polynômes d'endomorphismes de $u$ . C'est aussi une famille de projecteurs sur la famille de sous-espaces $ker P i [u]$ dont la somme est directe et égale à $ker P i (u)$ .

Polynôme minimal

Article détaillé : Polynôme minimal d'un endomorphisme.

Le polynôme minimal cache une décomposition en somme directe de sous-espaces stables. Cette décomposition est au cœur de la compréhension de la structure d'un endomorphisme. Elle correspond à la décomposition du polynôme en facteurs premiers entre eux. Elle permet d'établir des théorèmes parmi les plus importants de l'algèbre linéaire pure. Elle nous renseigne sur l'existence d'un vecteur dont le polynôme minimal est le polynôme minimal de l'endomorphisme, elle donne un majorant du degré de ce polynôme, elle permet de trouver des réductions puissantes dans le cas ou le polynôme est scindé, elle donne une condition nécessaire et suffisante de diagonalisation. Enfin elle permet de démontrer le théorème de Cayley-Hamilton.

Décomposition en somme directe de sous-espaces stables

Soit $(χ i)$ une décomposition en facteurs tous de degré supérieur à 1 et premiers deux à deux du polynôme minimal $χ$ d'un endomorphisme $u$ . Alors la suite des noyaux $(ker χ i [u])$ est une décomposition en somme directe de l'espace $E$ de sous-espaces stables par l'endomorphisme.

Il existe un vecteur $x$ de $E$ dont le polynôme annulateur est égal au polynôme annulateur de l'endomorphisme.

Le polynôme minimal est de degré inférieur ou égal à $n$ .

Démonstration

Soit $(\chi_i)_{i\in [1,n]}$ une décomposition en facteurs tous de degré supérieur à 1 et premier deux à deux du polynôme minimal d'un endomorphisme $u$ . Alors la suite des noyaux $(ker χ i [u])$ est une décomposition en somme directe de l'espace $E$ de sous-espaces stables par l'endomorphisme.

C'est une application de la dernière proposition du paragraphe précédent.

Il existe un vecteur $x$ de $E$ dont le polynôme annulateur est égal au polynôme annulateur de l'endomorphisme.

Quand $x$ varie alors $χ x$ est un diviseur du polynôme minimal $χ$ ; comme $χ$ admet un nombre fini de diviseurs normalisés, les polynômes $χ x$ décrivent un ensemble fini : $(Q 1, Q 2,..., Q r)$ .

Si on note $F i = ker(Q i [u])$ on a alors $E=F_1\cup F_2\cup \cdots \cup F_r$ car pour tout élément $x$ non nul de E on a $x \in \ker(\chi_x)$ .

On sait qu'une réunion finie de sous-espaces stricts de $E$ ne peut être égale à $E$ . Donc il existe $i$ tel que $E = F i$ : on a alors $ker(Q i [u]) = E$ donc $Q_i=\chi_{x_0}$ est un multiple de $χ$ donc $\chi=\chi_{x_0}$ .

Le polynôme minimal est de degré inférieur ou égal à la dimension de l'espace $E$ .

La proposition précédente montre qu'il existe un vecteur $x 0$ dont le polynôme minimal est égal au polynôme minimal de l'endomorphisme. La famille $(u^i(x_0))_{i \in [0,n]}$ est toujours lié car elle contient plus de vecteurs que la dimension de l'espace. Cela démontre l'existence d'un polynôme annulateur de degré $n$ .

Cas où le polynôme minimal est scindé

Article détaillé : Réduction d'endomorphisme.

Dire que le polynôme minimal est scindé signifie qu'il s'exprime comme produit de puissances de polynômes du premier degré. Si l'on note $χ$ le polynôme minimal, cela signifie que:
$\chi [X]=\prod_i (X-\lambda_i)^{n_i}$
Si l'on note $E i$ le noyau de l'endomophisme $(u-\lambda_i )^{n_i}$ , alors le paragraphe précédent nous indique que la suite $(E i)$ forme une somme directe de l'espace $E$ de sous-espaces non réduits à 0 et stables par l'endomorphisme. On appelle ces sous-espaces les sous-espaces caractéristiques. Cette approche permet d'effectuer la première étape dans la réduction des endomorphismes en dimension finie et si le polynôme minimal est scindé. Les deux principales propriétés de cette approche sont les suivantes:

L'espace $E$ est somme directe de ses sous-espaces caractéristiques.

L'endomorphisme $u$ est la somme d'un endomorphisme diagonalisable et d'un endomorphisme nilpotent. Les deux endomorphismes commutent entre eux.

Les démonstrations et l'analyse complète se trouvent dans l'article Réduction d'endomorphisme au paragraphe sur la décomposition de Dunford.

Diagonalisabilité

Article détaillé : Diagonalisation.

L'utilisation des polynômes fournit un critère spectaculaire de diagonalisabilité. Ce critère est un cas particulier du paragraphe précédent.

Un endomorphisme $u$ est diagonalisable si et seulement son polynôme minimal est scindé sur $K$ et à racines simples.

C'est en effet un cas particulier du cas précédent. Si les racines sont simples alors la composante nilpotente est nulle et le résultat est démontré. Si l'endomorphisme est diagonalisable alors les espaces propres se confondent avec les espaces caractéristiques et toute valeur propre est racine simple du polynôme minimal.

Théorème de Cayley-Hamilton

Article détaillé : Théorème de Cayley-Hamilton.

Il existe un polynôme important associé à un endomorphisme. C'est celui défini par le déterminant de l'application $u - λId$ . On l'appelle polynôme caractéristique. Il est important car ses racines sont les valeurs propres de l'endomorphisme associé. Cette propriété est partagée par le polynôme minimal. Elle amène donc la question : quel est le rapport entre polynôme caractéristique et polynôme minimal ? La réponse est le théorème de Cayley-Hamilton :

Théorème de Cayley-Hamilton — Le polynôme minimal divise le polynôme caractéristique. De plus le polynôme minimal et le polynôme caractéristique ont les mêmes facteurs irréductibles.

Pour s'en rendre compte, il est plus simple de plonger le corps dans sa clôture algébrique. Dans ce contexte, il est possible d'appliquer une Réduction de Jordan à l'endomorphisme. Sa représentation matricielle est alors triangulaire avec comme valeurs diagonales les valeurs propres. Leurs ordre de multiplicité dans le polynôme caractéristique est la dimension de l'espace caractéristique de valeur propre associée. Cette multiplicité est toujours supérieure à celle du polynôme minimal qui a pour multiplicité l'ordre de l'application nilpotente associée.

Il existe une démonstration qui ne fait pas appel à la construction des polynômes d'endomorphismes, elle est donnée dans l'article Théorème de Cayley-Hamilton.

Voir aussi

Polynôme minimal d'un endomorphisme

Sous-espace stable

Décomposition de Dunford

Lemme des noyaux

v · d · m

Algèbre linéaire générale

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

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

Sous-espace Sous-espace vectoriel • Somme d'ensembles • Somme directe • Sous-espace supplémentaire • Dimension • 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 • Diagonalisation • Endomorphisme nilpotent

En dimension finie Espace vectoriel de 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 • Décomposition de Frobenius

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

Catégories :
Application linéaire
Polynôme

Contenu soumis à la licence CC-BY-SA. Source : Article Polynôme d'endomorphisme de Wikipédia en français (auteurs)

Игры ⚽ Нужен реферат?

Regardez d'autres dictionnaires:

Polynome d'endomorphisme — Polynôme d endomorphisme En algèbre linéaire, on utilise fréquemment la notion de polynôme d endomorphisme (ou de matrice), qui est une combinaison linéaire de puissances (au sens de la composition de fonctions) de l endomorphisme. Pour un… … Wikipédia en Français
Polynôme annulateur — Polynôme d endomorphisme En algèbre linéaire, on utilise fréquemment la notion de polynôme d endomorphisme (ou de matrice), qui est une combinaison linéaire de puissances (au sens de la composition de fonctions) de l endomorphisme. Pour un… … Wikipédia en Français
Polynome minimal d'un endomorphisme — Polynôme minimal d un endomorphisme Le polynôme minimal est un outil qui permet d utiliser des résultats de la théorie des polynômes à l algèbre linéaire. Il est en effet possible d appliquer un polynôme à un endomorphisme, comme expliqué dans l… … Wikipédia en Français
Endomorphisme Nilpotent — Exemple d image d une base par un endomorphisme nilpotent en dimension 3. Un endomorphisme nilpotent est un morphisme d un objet mathématique sur lui même, qui, composé par lui même un nombre suffisant de fois, donne l application nulle. Un… … Wikipédia en Français
Polynome caracteristique — Polynôme caractéristique En algèbre linéaire, à toute matrice carrée ou à tout endomorphisme d un espace vectoriel de dimension finie est associé un polynôme appelé polynôme caractéristique. Il renferme d importantes informations sur la matrice… … Wikipédia en Français
Endomorphisme Linéaire — En mathématiques, un endomorphisme linéaire ou endomorphisme d espace vectoriel ou endomorphisme est une application linéaire d un espace vectoriel E dans lui même. L ensemble des endomorphismes d un espace vectoriel E est habituellement noté… … Wikipédia en Français
Endomorphisme lineaire — Endomorphisme linéaire En mathématiques, un endomorphisme linéaire ou endomorphisme d espace vectoriel ou endomorphisme est une application linéaire d un espace vectoriel E dans lui même. L ensemble des endomorphismes d un espace vectoriel E est… … Wikipédia en Français
Polynôme minimal d'un endomorphisme — Le polynôme minimal est un outil qui permet d utiliser des résultats de la théorie des polynômes à l algèbre linéaire. Il est en effet possible d appliquer un polynôme à un endomorphisme, comme expliqué dans l article intérêt du concept de… … Wikipédia en Français
Endomorphisme nilpotent — Exemple d image d une base par un endomorphisme nilpotent en dimension 3. Un endomorphisme nilpotent est un morphisme d un objet mathématique sur lui même, qui, composé par lui même un nombre suffisant de fois, donne le morphisme nul. C’est donc… … Wikipédia en Français
Polynôme caractéristique — En algèbre linéaire, à toute matrice carrée à coefficients dans un anneau commutatif ou à tout endomorphisme d un espace vectoriel de dimension finie est associé un polynôme appelé polynôme caractéristique. Il renferme d importantes informations… … Wikipédia en Français

Mark and share
Search through all dictionaries
Translate…
Search Internet

Share the article and excerpts