语言
没有数据
通知
无通知
構造により、等長・等距、同相や射型などといった特定の術語が用いられることがある。 準同型写像とは、同類の二つの代数系（二つのベクトル空間や、二つの群など）の間の写像で、演算の構造を保つものを言う。 すなわち、同類の二つ代数系の集合 A {\displaystyle A} , B {\displaystyle
同じかたち。
置換が全く考慮されていない。このため、同形形質により誤った類縁関係が推定されてしまうことも多い。 クラディスティックな解釈によれば、ある形質の分布が、好ましい系統仮説に基づいて共通祖先の形質で説明できない場合、すなわち問題となっている形質
数学、特に群論における群の準同型写像（じゅんどうけいしゃぞう、英: group homomorphism）は群の構造を保つ写像である。準同型写像を単に準同型とも呼ぶ。 ふたつの群 (G, ∗) と (H, ⋅) が与えられたとする。(G, ∗) から (H, ⋅) への群準同型とは、写像 h: G →
環論や抽象代数学において、環準同型（英: ring homomorphism）は2つの環の間の構造を保つ関数である。 きちんと書くと、R と S が環であれば、環準同型は以下を満たす関数 f : R → S である。 R のすべての元 a と b に対して、f(a + b) = f(a) + f(b)
ジョルダン標準形（ジョルダンひょうじゅんけい、英: Jordan normal form）とは、代数的閉体（例えば複素数体）上の正方行列に対する標準形のことである。任意の正方行列は本質的にただ一つのジョルダン標準形と相似である。名前はカミーユ・ジョルダンに因む。 次の形の n次正方行列をジョルダン細胞という。
equivalence）なスコーレム標準形の論理式が存在する。 第一階述語論理における任意の論理式は、論理式の一番前にすべて否定形でない前置記号を持ち、その作用域がどれも論理式の終わりまで及ぶような標準形に直すことができる。 このような標準形を冠頭標準形（prenex normal form）と呼ぶ。なお、冠頭標準形の一番前
} は終端記号であり、 S {\displaystyle S} は開始記号を表し、 ε {\displaystyle \varepsilon } は空列を表すものとする。 また、チョムスキー標準形には次のような性質が挙げられる。 チョムスキー標準形で表すことのできる文法は全て文脈自由であり、また全て
搜索 
