部分代数系とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 部分代数系の意味・解説 

部分代数系

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2014/06/02 12:58 UTC 版)

普遍代数学における代数英語版 A部分代数(ぶぶんだいすう、: subalgebra)とは、A部分集合 S で、A の代数演算を S に制限するとき、S 自身が A と同じ型の代数の構造を持つものを言う。代数的構造が(普遍代数学で扱う場合がふつうそうであるように)等式律英語版として記述された公理で与えられるとき、S が部分代数であることを確認するには、その各演算の全てについて閉じているかを見ればよいということになる。

文献によっては各演算が部分写像で与えられる代数を考えることもあるが、この場合の部分代数の定義については幾つか流儀がある。また別な方向で、型に(演算だけでなく)関係を含むことを許すような代数の一般化もあるが、モデル理論計算機科学で扱われるこの概念は構造英語版と呼ばれるのがふつうであり、この関係を含む構造に関して部分代数より弱く部分構造英語版の概念を考えることができる。

例えば、普遍代数学におけるに対する標準的な演算の型(算号系、算法族)は (×, −1,1) である(逆転写像および単位元は準同型の概念を正しく得るために必要である。またこれらを用いると、群の公理を等式によって表すことができるようになる)。したがってある群 G部分群は、G の部分集合 S で次を満たすものである。

  • G の単位元 eS にも属する(すなわち S は単位元を洗わず零項演算の下で閉じている);
  • xS に属するなら、x−1 も属する(すなわち S は逆元を取る単項演算の下で閉じている);
  • xyS に属するなら、x * y も属する(すなわち S は群の乗算演算の下で閉じている)。

参考文献




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「部分代数系」の関連用語

部分代数系のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



部分代数系のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの部分代数系 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS