En mathématiques, la notion de nombre formel est une extension de la notion de nombre (réel).
Origine Les mathématiciens ont introduit plusieurs extensions de la notion de nombre dont est la notion de nombre formel. Un nombre formel est l'analogue de différentes façons d'un nombre réel. Les nombres réels sont apparus naturellement, après les entiers naturels et les nombres rationnels, pour mesurer des quantités physiques. Les nombres formels n'ont pas cette application concrète, mais ils forment aussi un corps commutatif. Les entiers formels qui sont des polynômes sur un corps fini ont été considérés dans la première moitié du par le mathématicien américain Carlitz. Les modules de Carlitz ont été par la suite généralisés par la notion de . Le prolongement aux séries de puissances est dû à différents mathématiciens dans la deuxième moitié du . Ces corps de nombres formels ne doivent pas être confondus avec les corps de fonctions.
Définition Un corps de nombres formels est un corps de séries formelles de Laurent en une indéterminée à coefficients dans un corps fini.
Lien externe
Catégorie:Théorie des nombres