On a

Bonjour,

Ç'est a₀ 0
La propriété sous sa forme la générale est qu'une série formelle dans K[X] est inversible ssi a₀ est inversible dans K.
Si K est un corps, ça se réduit à a₀ 0

Oui elle est inversible SSI .
Le premier coefficient de S est quand même nul ici.

Non, par convention S⁰ = 1
A rapprocher de a⁰ = 1 pour tout a réel, que tu connais déjà.

Si, le premier coefficient de S est nul, simplement parce que je le suppose nul.
Je ne parle pas de la série des puissance de S.
Dans tous les cas ma question ne porte pas sur ça, mais sur pourquoi la série des puissance de S est bien définie.

Bonjour,

Remettons les choses d'aplomb.

Soit une série d'ordre , c.-à-d. dont le coefficient constant est nul. Alors la série est inversible d'inverse . La famille est bien sommable car l'ordre de est supérieur ou égal à .
Soit maintenant une série formelle de coefficient constant inversible. Alors    où est d'ordre . Donc est inversible d'inverse .

Bonjour

Ce n'est pas clair ce que tu veux faire.
Mais, si tu as une série S, dont le premier coefficient non nul est le premier coefficient non nul de est . Dans la somme à chaque rang il y a un nombre fini de termes, donc la série somme est bien définie.

LeHibou (que je salue), a bien sûr raison, une série est inversible si et seulement si

Je n'avais pas vu le post de GBZM, alors je le salue aussi!

Salut GBZM et Camélia.

Exact GBZM c'est ce qui est écrit dans le polycopié, et je suis d'accord avec ça, si tant est que la série soit définie. D'accord l'ordre de est supérieur ou égal à , donc au fur et a mesure qu'on somme on a de moins en moins de termes, mais il y en a quand même une infinité non ? Je vois pas en quoi ça implique que ce soit bien défini. Je vois ça comme une limite de sommes finies dans un anneau, mais on veut sommer un nombre fini d'éléments.

Camélia je ne veux rien faire, je veux juste savoir pourquoi la série est bien définie, comme écrit dans mon premier message. Tu dis sensiblement la même chose que GBZM mais encore une fois j'ai du mal. Tu dis que à chaque rang (donc pour chaque si je comprends bien) il y a un nombre fini de termes, mais on a une somme infinie d'un nombre fini de termes, donc c'est infini non ?
Oui LeHibou a raison, ce que je dis dans mon deuxième message.

Salut à vous, Camélia et GBZM !

N'as-tu pas vu la notion de famille sommable de séries formelles ?
Si ça ne figure pas dans ton polycopié, c'est qu'il est mal fait. Si je pouvais attacher facilement un fichier pdf, je mettrais un bout d'un polycopié que j'avais écrit il y a de nombreuses années.

Non, mon cours traite principalement des anneaux  et des corps et ne considère les séries formelles que comme exemple ou pour des exercices (en tous cas pour l'instant).

Mais en réalité ce que vous dites fait sens, comme l'ordre de S^n augmente, pour chaque degrés inférieur à n on a un coefficient qui est égal à une somme finie. Donc on se retrouve bien avec une série formelle.

Normalement, tu dois pouvoir le télécharger ici :

_{malou edit > (pdf mis à disposition par GBZM rapatrié sur le site )}

D'accord, merci beaucoup tout le monde

Bonjour à tous,
GBZM, puis-je mettre ce fichier en lien durable ici, plutôt que ce lien qui va un jour s'éteindre de lui-même ?

Oui  bien sûr. Merci Malou !

Merci.
Voilà qui est fait
Ne pas hésiter dans un cas similaire à faire un signalement pour qu'on rapatrie sur notre site.
Bonne soirée

-> GZBM
"Normalement, tu dois pouvoir le télécharger ici : "
Il est drôlement bien fait, ce cours, est-ce que les autres chapitres sont accessibles ?
Si le reste est aussi bien écrit, j'aimerais bien récupérer "la totale", à titre personnel bien sûr, je m'engage à ne pas diffuser !