「素因数分解」とは異なります。
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfbfb;box-sizing:border-box}.mw-parser-output .ambox+link+.ambox,.mw-parser-output .ambox+link+style+.ambox,.mw-parser-output .ambox+link+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+style+.ambox,.mw-parser-output .ambox+.mw-empty-elt+link+link+.ambox{margin-top:-1px}html body.mediawiki .mw-parser-output .ambox.mbox-small-left{margin:4px 1em 4px 0;overflow:hidden;width:238px;border-collapse:collapse;font-size:88%;line-height:1.25em}.mw-parser-output .ambox-speedy{border-left:10px solid #b32424;background-color:#fee7e6}.mw-parser-output .ambox-delete{border-left:10px solid #b32424}.mw-parser-output .ambox-content{border-left:10px solid #f28500}.mw-parser-output .ambox-style{border-left:10px solid #fc3}.mw-parser-output .ambox-move{border-left:10px solid #9932cc}.mw-parser-output .ambox-protection{border-left:10px solid #a2a9b1}.mw-parser-output .ambox .mbox-text{border:none;padding:0.25em 0.5em;width:100%;font-size:90%}.mw-parser-output .ambox .mbox-image{border:none;padding:2px 0 2px 0.5em;text-align:center}.mw-parser-output .ambox .mbox-imageright{border:none;padding:2px 0.5em 2px 0;text-align:center}.mw-parser-output .ambox .mbox-empty-cell{border:none;padding:0;width:1px}.mw-parser-output .ambox .mbox-image-div{width:52px}html.client-js body.skin-minerva .mw-parser-output .mbox-text-span{margin-left:23px!important}@media(min-width:720px){.mw-parser-output .ambox{margin:0 10%}}
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "因数分解"
数学における因数分解（いんすうぶんかい、英: factorization, factoring, decomposition[注釈 1]; 分解、因子分解）は、与えられた数学的対象を同種の（しかし普通はより小さいあるいはより平易な）別の対象—それは因数（factor; 因子、乗法因子、乗因子）と呼ばれる—の積として書き表すことを言う[注釈 2]。たとえば、15 という数は 3 × 5 という因数の積に分解され、多項式 x2 − 4 は (x − 2)(x + 2) という因数の積に分解される。
因子への分解は、除法が自由にできる体系（可除環など）ではほとんどの場合に意味を為さない。例えば実数や複素数の体系において任意の x は y が零でない限り何であっても xy × (.mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}1/y) のように分解できることは明らかである（つまり、どの元もいくらでも分解できて、積としての表示を無数に持つ）。しかし例えば、有理数や有理関数の成す体系ならば、分子と分母を別々に考えることによって意味のある因数分解を定めることができる。
自然数および整数に関する因数分解は古代ギリシアの数学（英語版）においてすでに考察されている。その中には、１を除く任意の自然数が素数の積に因数分解できる（さらに、自然数のそのような分解（素因数分解）は因数の順番を変える違いを除いて一通りである）ことを述べた算術の基本定理の証明も含まれる。整数の素因数分解は、整数の乗法のある種の逆演算ではあるけれども、しかしアルゴリズム的な意味（計算量）において乗法とは比べ物にならないほど複雑であり、特に巨大整数の素因数分解は困難な問題で、これを一般に短時間に行う方法は知られていない。この複雑性はRSA暗号のような公開鍵暗号によるセキュリティの信頼性の基礎になっている。
多項式の因数分解もまた何世紀にもわたって研究がおこなわれてきている。初等代数学においては、多項式を因数分解することで多項式の根を求める求根問題を各因子の根を求める問題に帰着させることができる。整数係数の多項式あるいは体に係数をとる多項式の体系は一意分解性質を備えている—それはつまり、（素数を既約多項式に取り換えた）算術の基本定理の多項式版が成り立つということである—。特に、複素数係数の一変数多項式は、必ず一次式の積に（掛ける順番を除いて）一意に表すことができる—これは代数学の基本定理の一つの述べ方である—。この場合、因数分解は求根アルゴリズムが与えられていれば自由にできる。整数係数の場合の多項式の因数分解問題は計算機代数においてひとつの基礎を成す技術的課題である。有理数係数の多項式環における既約因子分解には、効果的な計算機アルゴリズムが存在している。
一般の抽象代数学において、一意分解性質を持つ可換環は一意分解環 (UFD) と呼ばれる。ある種の数体系、例えば代数体の整数環（代数的整数環）の中には一意分解性質を持たないものが存在するが、これら代数的整数環の場合には幸いなことに、より弱い形での一意分解性質（任意のイデアルが素イデアルの積に一意的に分解される）を満足するデデキント環となる。一般に、既約元分解を持つ（が、一意分解とは限らない）整域を原子整域（英語版）または分解整域と呼ぶ。
より一般の数学的対象の中にも（より単純な対象からなる）積の形に書き表すことを一般に因子分解あるいは分解と言い表すものがある。たとえば、写像の分解とは特定の性質を持つ写像の合成の形に書き表すことである。任意の写像は全射と単射の合成として標準的な分解を持つ（これは圏論において、射の分解系・弱分解系（英語版）として一般化される）。また例えば、行列の分解とは、与えられた行列を特定の性質を持つ行列を用いて行列の積として書き表すことである。任意の行列は対角成分がすべて 1 の下三角行列 L と上三角行列 U および 置換行列 P の積に分解される（LUP分解: 実はこれはガウスの消去法を行列の形にまとめたものである）。
整数の因数分解詳細は「素因数分解」を参照
算術の基本定理により、任意の正の整数は一意的な素因数分解を持つ。整数の因数分解アルゴリズムが与えられたとき、そのアルゴリズムを繰り返し適用して、任意の整数をその構成要素である素数にまで分解しきることができる。しかし、非常に巨大な整数に対して効率のよいアルゴリズムは知られていない。
多項式の因数分解詳細は「多項式の因数分解」を参照
因数分解は、方程式や関数について考える上で重要な概念の一つである。たとえば次のように左辺を右辺へ変形することをさす。対して、右辺を左辺へ変形することは展開という。
x 2 − 3 x + 2 = ( x − 1 ) ( x − 2 ) {\displaystyle x^{2}-3x+2=(x-1)(x-2)}
t 3 − t 2 − 3 t + 3 = ( t − 1 ) ( t 2 − 3 ) {\displaystyle t^{3}-t^{2}-3t+3=(t-1)(t^{2}-3)}
α 3 − 1 = ( α − 1 ) ( α 2 + α + 1 ) {\displaystyle \alpha ^{3}-1=(\alpha -1)(\alpha ^{2}+\alpha +1)}
これらの場合、1. では x − 1 と x − 2 を、2. では t − 1 と t2 − 3 を、3. では α − 1 と α2 + α + 1 をそれぞれ因数と呼ぶ。
係数として用いてよい数の範囲が異なると、因数分解の結果が変わってくる。上の3例はすべて有理数（もしくは整数）の範囲で因数分解を行なったものである。数の範囲を実数まで広げると、2. は更に因数分解が行える。 t 3 − t 2 − 3 t + 3 = ( t − 1 ) ( t 2 − 3 ) = ( t − 1 ) ( t − 3 ) ( t + 3 ) {\displaystyle t^{3}-t^{2}-3t+3=(t-1)(t^{2}-3)=(t-1){\boldsymbol {(t-{\sqrt {3}})(t+{\sqrt {3}})}}}
さらに数の範囲を複素数まで広げると、3. は更に因数分解が行える。 α 3 − 1 = ( α − 1 ) ( α 2 + α + 1 ) = ( α − 1 ) ( α − − 1 + 3 i 2 ) ( α − − 1 − 3 i 2 ) {\displaystyle \alpha ^{3}-1=(\alpha -1)(\alpha ^{2}+\alpha +1)=(\alpha -1)\left(\alpha -{\frac {-1+{\sqrt {3}}i}{2}}\right)\left(\alpha -{\frac {-1-{\sqrt {3}}i}{2}}\right)}
