语言
没有数据
通知
无通知
多項式に関する剰余の定理(じょうよのていり、英: polynomial remainder theorem)は、多項式 f (x) をモニックな(つまり最高次の係数が1である)二項一次多項式 x − a で割ったときの剰余は f (a) であるという定理。とくに、f (a) = 0 ならば f (x)
数学、特に抽象代数学において、同型定理 (どうけいていり、英: isomorphism theorems) は商、準同型、部分対象の間の関係を描く3つの定理である。定理のバージョンは群、環、ベクトル空間、加群、リー環、そして様々な他の代数的構造に対して存在する。普遍代数学において、同型定理は代数と合同の文脈に一般化することができる。
あまり。 のこり。 残余。
(1)余り。 余分。 残り。 余剰。
fundamental homomorphism theorem)は、与えられた構造をもつ二つの対象の間の準同型が与えられたとき、その準同型の核と像とを関係づける。 準同型定理は同型定理の証明に利用できる。 以下、群の場合に定理の主張を述べるが、同様の主張はモノイド、ベクトル空間、加群、環などについても成立する。
中国の剰余定理(ちゅうごくのじょうよていり、英: Chinese remainder theorem)は、中国の算術書『孫子算経』に由来する整数の剰余に関する定理である。あるいは、それを一般化した可換環論における定理でもある。中国人の剰余定理(ちゅうごくじんのじょうよていり)、孫子の定理(そんしのていり、英:
次に、(12 × 5) mod 13 = 60 mod 13 = 8 として、結果が得られる。 これによって、剰余算の回数が1回から O(log(e)) 回に増えるが、乗算および剰余算の計算コストは被演算数の桁数によるので、結果としてはこのアルゴリズムのほうが能率が良い。また一般に、m
に自然同型である。特に剰余類 [X] が虚数単位 i の役割を果たす。直観的には、I で割ることは「強制的に」X2 + 1 = 0 とすることに相当するから、つまり X2 = −1 という i を定義する性質を X(の剰余類)が持つことになる。 すぐ上の例と同様、一般に剰余環は体の拡大を構成することにもよく用いられる。K