语言
没有数据
通知
无通知
数学において、自明群、自明な群 (trivial group)、単位群 はただ1つの元からなる群である。すべてのそのような群は同型であるので、英語などではしばしば定冠詞をつけて the trivial group などと呼ばれる。自明群のただ1つの元は単位元であるので普通 0, 1, e のように文脈に応じて表記される。群の演算が
数学において、形容詞自明な (trivial) は対象（例えば群や位相空間）であって非常に単純な構造を持つものに対して頻繁に使われる。名詞自明性 (triviality) は通常証明や定義の単純な技術的面を言う。数学の言葉の用語の起源は中世の trivium curriculum から来ている。対義語非自明な (nontrivial)
ともしびなどが明るく輝くさま。 きわめて明るいさま。
※一※ (ト|タル)
SPASSは等号を含む一階述語論理の定理証明機である。マックス・プランク研究所が開発した。 導出とユニフィケーション 項書き換え モデル検査 数学的帰納法 二分決定図 DPLLアルゴリズム 分析的タブロー法 Automath CVC IsaPlanner LCF LoTREC MetaPRL
1成分の自明な絡み目は、自明な結び目である。 n 成分の自明な絡み目は交点数が0であるような唯一の n 成分の絡み目である。 交代絡み目であり、両手型絡み目であり、可逆である。 (p , 0)型トーラス絡み目は p 成分の自明な絡み目、(0 , q)型トーラス絡み目は q 成分の自明な絡み目である。 n
いくつかの自明な結び目を絡み合わないように並べたものは自明な絡み目という。 結び目の合成においては単位元の役割を果たす。また、素な結び目でも合成結び目でもないような唯一の結び目である。 最小交点数・結び目解消数・種数が0であるような唯一の結び目である。また、橋指数・組み紐指数が1であるような唯一の結び目である。
「それ自身」の意。 みずから。 他の語に付いて「ころだつ」「ころふす」などの形で用いられた。
搜索 
搜索 搜索 
