余イデアル
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2018/03/24 02:14 UTC 版)
I {\displaystyle I} を余代数 ( C , Δ , ε ) {\displaystyle (C,\Delta ,\varepsilon )} の部分ベクトル空間とする。 I {\displaystyle I} が余イデアル（coideal）であるとは Δ ( I ) ⊆ I ⊗ C + C ⊗ I , {\displaystyle \Delta (I)\subseteq I\otimes C+C\otimes I,} ε ( I ) = 0 {\displaystyle \varepsilon (I)=0} を満たすことをいう。このとき商 C / I {\displaystyle C/I} は余代数の構造を持つ。
※この「余イデアル」の解説は、「余代数」の解説の一部です。
「余イデアル」を含む「余代数」の記事については、「余代数」の概要を参照ください。
ウィキペディア小見出し辞書の「余イデアル」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
お問い合わせ。
- 余イデアルのページへのリンク
