Définition
Le processus qui consiste à exprimer un élément algébrique (entier, polynôme ou élément d’un anneau) comme produit de facteurs irréductibles ou de nombres premiers dans un domaine qui admet de telles décompositions ; met l’accent sur l’existence d’une factorisation et sur le rôle des unités et des associés.
Principe
Principe
Les éléments sont réduits à des constituants irréductibles au sein de la structure multiplicative ; dans les anneaux à factorisation unique ces constituants sont uniques à l’ordre et à la multiplication par des unités près, et la factorisation ramène les questions multiplicatives à la combinatoire des premiers ou irréductibles.
Démonstration
Démonstration
Exemple entier : 60 = 2^2 · 3 · 5 exprime 60 comme produit de facteurs premiers. Exemple polynomial sur un corps : x^2 - 1 = (x - 1)(x + 1), exprimant le polynôme comme produit d’irréductibles de moindre degré.
Mauvaise application
Mauvaise application
Prétendre que tout anneau commutatif admet une factorisation en irréductibles ou que la factorisation est unique dans des anneaux non factoriels ; par exemple, traiter des anneaux non atomiques comme si des premiers existaient et étaient uniques conduit à des erreurs sur la divisibilité.
Conséquence
Conséquence
Une factorisation correcte permet de calculer des pgcd, tester l’irréductibilité, classer des idéaux dans des contextes principaux ou factoriels et de réduire de nombreux problèmes structurels à des énoncés combinatoires sur les irréductibles.
Inversion
Inversion
Assembler des éléments à partir d’irréductibles plutôt que de les décomposer : donnée une multiensembles de facteurs premiers ou irréductibles, former l’élément (produit) et étudier comment les propriétés globales naissent des choix locaux de facteurs.
Limite
Limite
S’applique aux anneaux et domaines où les notions d’irréductible et de premier sont définies et où les conditions d’existence (atomicité) ou d’unicité (anneau factoriel/PID) sont satisfaites ; exclut les anneaux non commutatifs sans théorie admise d’irréductibles et les décompositions multiplicatives infinies.
Tension sémantique
Tension sémantique
Souvent confondu avec d’autres décompositions (décomposition primaire, factorisation d’idéal ou diagonalisation de matrices) ; la tension vient de l’opposition entre « factorisation » comme fractionnement multiplicatif et « décomposition » comme fractionnement additif/idéalthéorique.
Synthèse
Synthèse
La factorisation est le procédé multiplicatif qui représente un élément comme produit de briques irréductibles dans un domaine qui accepte cette décomposition ; sa puissance structurelle vient de l’existence et, lorsque présente, de l’unicité à des unités et associés près.