S-object
では代数的トポロジー、AN { mathbb {S}}-オブジェクト(対称シーケンスとも呼ばれます)はシーケンスです
{{ (( )。 } { {X(n)}}
それぞれのようなオブジェクトの (( )。
{X(n)}
対称群のアクションが付属しています { mathbb {S} _ {n}} カテゴリ組合せ種は、有限のカテゴリに相当します { mathbb {S}}-集合(順列カテゴリが有限集合と全単射のカテゴリと同等であるためです。)
コンテンツ
1 { mathbb {S}}-モジュール
2 も参照してください
3 ノート
4 参考文献 { mathbb {S}}
-モジュール
に { mathbb {S}}
-モジュール、私たちは意味します { mathbb {S}}
-カテゴリ内のオブジェクト V e {{ mathsf {Vect}}}
標数ゼロの体k上の有限次元ベクトル空間の分布(対称群は慣例により右から作用する)。その後、それぞれ { mathbb {S}}
-モジュールは、上のシューア関数を決定します V e {{ mathsf {Vect}}}
。
も参照してください
高度に構造化された環スペクトル
ノート
^ カテゴリCのオブジェクトXに対するグループGのアクションは、単一のオブジェクトをXにマップするCへの単一のオブジェクトを持つカテゴリとして表示されるGからのファンクターです。この関手が群準同型を誘発することに注意してください Aut (( )。
{G to operatorname {Aut}(X)}
; cf. 自己同形群#圏論。
参考文献
^ Getzler&Jones 1994、§1
ゲッツラー、エズラ; ジョーンズ、JDS(1994-03-08)。「オペラド、ホモトピー代数、および二重ループ空間の反復積分」。arXiv:hep-th / 9403055。
Loday、Jean-Louis(1996)。「Larenaissancedesopérades」。www.numdam.org。セミネール・ニコラ・ブルバキ。MR 1423619。ZBL 0866.18007 。
このトポロジ関連
“