Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
ホモロジー代数・圏論 > アーベル圏 アーベル圏(アーベルけん、英: abelian category)とは(コ)チェイン複体のホモロジー/コホモロジーと層のコホモロジーの双方を展開するのに十分な構造を備えた圏である。 アーベル圏となる圏の具体例としてはアーベル群の圏や環上の加群の圏、アーベル圏
群の場合、この定理によりそのような任意のアーベル群がねじれ群と自由アーベル群の直和に分解できることが保証される。そのときのねじれ群は、適当な素数 p に対する素冪位数巡回群 Z/pkZ の形の群の有限個の直和であり、自由アーベル群は無限巡回群 Z の有限個のコピーの直和になっている。 アーベル群の間の二つの群準同型
(Prüfer rank)、あるいは捩れなしランク (torsion-free rank) は極大線型独立部分集合の濃度である。A のランクは A に含まれる最大の自由アーベル群のサイズを決定する。A が捩れなしであれば次元がランク A の有理数体上のベクトル空間に埋め込まれる
とすれば、U の左随伴は合成函手 KF: Set → Mon → Grp に等しい。 群の圏 Grp における単型射(圏論的単射)はまさに単準同型であり、全型射(圏論的全射)は全準同型、同型射は双射準同型が与える。 群の圏 Grp は完備かつ余完備である。Grp における圏論的直積はちょうど群の直積で与え
線型代数学は K-ベクトル空間の圏 K-Vect の研究としてとらえることができる。例えば、ベクトル空間の次元定理(英語版)(基底数一定定理)は K-Vect の同型類の全体が濃度(基数)とちょうど対応することを述べるものであり、かつ K-Vect が任意の基数 n に対する自由ベクトル空間
抽象代数学において、自由アーベル群 (free abelian group) あるいは自由 Z-加群 (free Z-module) とは基底をもったアーベル群のことを言う。 アーベル群であるという条件は、結合的、可換、可逆な二項演算をもった集合であることを意味し、慣習的に演算は「加法」として、逆元
群論における基本アーベル群(きほんアーベルぐん、英: elementary abelian group; 初等アーベル群)または基本アーベル p-群 (elementary abelian p-group) は任意の非自明な元が位数 p であるような群(とくに有限群)を言う。この p
〖Abel〗