语言
没有数据
通知
无通知
とすれば、U の左随伴は合成函手 KF: Set → Mon → Grp に等しい。 群の圏 Grp における単型射（圏論的単射）はまさに単準同型であり、全型射（圏論的全射）は全準同型、同型射は双射準同型が与える。 群の圏 Grp は完備かつ余完備である。Grp における圏論的直積はちょうど群の直積で与え
数学の一分野である圏論におけるアーベル群の圏（あーべるぐんのけん、英: category of abelian groups）Ab は、アーベル群を対象とし群準同型を射とする圏である。アーベル群の圏はアーベル圏の原型であり、実際に任意の小さいアーベル圏は Ab に埋め込める。 アーベル群の圏 Ab の零対象は、単位元のみからなる自明群
(\forall a\in A)} となるものをいう。M とその部分加群 A が与えられたとき、商 G-加群あるいは G-商加群または剰余 G-加群あるいは G-剰余加群 (G-quotient module) M/A が、作用を考えない抽象群としての剰余群 M/A に G の作用を g ⋅ ( m + A )
加群（かぐん） 環上の加群 (R-module) その特別な場合であるアーベル群 (abelian group) も単に加群と呼ぶ場合がある。 リー環上の加群 (g-module) 群上の加群 (G-module) D加群 微分加群 このページは数学の曖昧さ回避のためのページです。一つの語句が複数の
{\displaystyle \operatorname {H} ^{i}(X,-)} を大域切断関手（英語版） Γ ( X , − ) {\displaystyle \Gamma (X,-)} の i 次右導来関手として定義でき，実際そう定義する． 環付き空間 (X, O) が与えられ，F が O の O
加法群 (additive group) は群演算をある意味で加法と考えることのできる群である。加法群は通常アーベル群であり、その二項演算を記号 + を使って書くのが一般的である。 この用語は複数の演算をもった構造で他の演算を忘れることによって得られる構造を明示するために広く使われる。例えば、整数
数幾何学のアレクサンドル・グロタンディークの仕事から動機を得たテクニックが使われている。D-加群のアプローチは、微分作用素を研究する伝統的な函数解析のテクニックとは異なっている。最も強い結果は、極大過剰決定系（英語版）（ホロノミック系（英語版））に対して得られ、表象により特性多様体（英語版）が定義さ
アーベル表現 (abelian representation)。これは表現のガロワ群の像が可換であることを意味する。 絶対既約表現 (absolutely irreducible representation)。これは体の代数的閉包上既約のままである。 バルソッティ・テイト表現 (Barsotti–Tate
搜索 
搜索 搜索 
