$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Série formelle

Une série formelle à une indéterminée (notée $X$) et à coefficients dans un anneau commutatif $A$ est une suite $(a_n)$ d'éléments de $A$. On la note $$\sum_{n=0}^{+\infty}a_n X^n.$$

On définit la somme et le produit de deux séries formelles respectivement par $$\left(\sum_{n=0}^{+\infty}a_n X^n\right)+\left(\sum_{n=0}^{+\infty}b_n X^n\right)=\left(\sum_{n=0}^{+\infty}(a_n+b_n) X^n\right)$$ $$\left(\sum_{n=0}^{+\infty}a_n X^n\right)\times \left(\sum_{n=0}^{+\infty}b_n X^n\right)=\left(\sum_{n=0}^{+\infty}\sum_{k=0}^n a_kb_{n-k} X^n\right).$$ Ces produits imitent bien sûr le résultat obtenu en effectuant le produit de deux polynômes ou de deux séries entières. Muni de ces deux lois, l'ensemble des séries formelles est un anneau commutatif noté $A[[X]]$. Pour ce produit, une série formelle $\sum_{n=0}^{+\infty} a_n X^n$ est inversible si et seulement si $a_0$ est un élément inversible de l'anneau $A$.

Plusieurs propriétés algébriques de $A$ sont transmises à $A[[X]]$ comme le fait d'être intègre, noethérien ou local. Si $A$ est principal, alors $A[[X]]$ est factoriel.

On appelle ordre de la série formelle $\sum_{n=0}^{+\infty}a_n X^n$ le plus petit entier $n$ pour lequel $a_n$ est non nul. On convient que l'ordre de la série entière nulle est $+\infty$.

Notons $o(S)$ l'ordre de la série formelle $S$. On définit alors une distance sur $A[[X]]$ par la formule $$d(S,T)=2^{-o(S-T)}.$$ Si $A$ est intègre, la distance précédente fait de $A[[X]]$ un anneau topologique complet.

Les séries formelles sont souvent utilisées dans des problèmes de combinatoire, où elles remplacent avantageusement les séries entières puisqu'on n'a pas à se préoccuper de leur convergence.

Consulter aussi
Recherche alphabétique
Recherche thématique