Anneau de Séries Formelles de Puissances
Définition
L'anneau formé des sommes formelles ∑_{α} c_{α} x^{α} en une ou plusieurs indéterminées x avec des coefficients c_{α} dans un anneau ou un corps de coefficients donné, où des sommes infinies sont autorisées mais où aucune convergence analytique n'est requise ; l'addition est terme à terme et la multiplication est définie par le produit de Cauchy des coefficients.