制御回路板ハネウェル社新しく、元のCC-GDIL21デジタル入力IOTA 51306319-175

S代数 R の上の (左) モジュール M を,標準図が通勤するように動作する R S M − → M を持つ S モジュール M と定義します.Rモジュールの MR カテゴリと DR 派生カテゴリが得られます右のRモジュールMと左のRモジュールNのスマスプロダクトM ̇R Nがあり,それはスモジュールである.左のRモジュールMとNには,関数SモジュールFR(Mがある.N) は代数における同型式のモジュールと同じ性質を持っています. FR (M, M) は S代数である. R が換算である場合,M (R) N と FR (M, N) は R モジュールであり,この場合 MR と DR は MS と DS のすべての性質を有する.このように,各交代式S代数Rは,安定型同位形カテゴリが持つ構造をすべて持つRモジュールの一派を決定する.これらの新しいカテゴリーは本質的に大きな関心があり,古典的な安定ホモトピーカテゴリーの調査のための強力な新しいツールを提供します.

Eilenberg-Mac Laneスペクトルに制限された場合,我々のトポロジカル理論は古典代数の多くを組み込む.N) ∼= πn (HM HR HN) と Extn R (M), N) ∼= π−nFHR(HM, HN).ここで,RとFRは派生カテゴリで解釈されなければならない.すなわち,HMはCWHRモジュールである必要がある.さらに,代数派生式カテゴリ DR は,位相派生式カテゴリ DHR に等しい.一般的に,S代数Rについて,弱等価なセルRモジュールによってRモジュールMの近似は,代数の投影解像度形成にほぼ類似する.リングやモジュールの3つのカテゴリを開発するより正確な類似性があります.,より一般的に,細胞モジュールの観点からDGA がある.これは [34] で提示され,現在の拓理理論と密接に並行する A∞ と E∞ k-代数の代数理論を提供します.球体スペクトルSに制限された場合, 派生したスマスプロダクト M ̇S N と関数スペクトル FS ((M, N) は,同型グループとして同型および同型グループ N ̇ (M) と N ̇ (M) を有する.これは代替記号を示唆する.