7 関係: 可換図式、完全系列、三目並べ、アーベル圏、群 (数学)、蛇の補題、数学。
可換図式
5項補題の証明で使われる可換図式 数学、特に圏論において、可換図式 (commutative diagram) は、対象(あるいは頂点)と射(あるいは矢、辺)の図式であって、始点と終点が同じである図式のすべての向き付きの道が合成によって同じ結果になるようなものである。可換図式は代数学において方程式が果たすような役割を圏論において果たす(Barr-Wells, Section 1.7 を参照)。 図式は可換でないかもしれない、すなわち図式の異なる道の合成は同じ結果にならないかもしれないことに注意する。明確化のために、「この可換図式」(this commutative diagram) あるいは「図式は交換する」(the diagram commutes) といったフレーズが使われる。.
完全系列
ホモロジー代数における完全系列(かんぜんけいれつ、exact sequence)あるいは完全列(かんぜんれつ)とは、環上の加群や群などの系列で各射の像空間が次の射の核空間と正確に合致するという意味で完全であるものをいう。.
三目並べ
三目並べ 三目並べ(さんもくならべ)、まるばつとは、3×3 の格子を用意し、二人が交互に「○」と「×」を書き込んでいき3つ並べるゲームである。まるかけ、まるぺけ、○×ゲームとも呼ばれる。.
アーベル圏
アーベル圏(アーベルけん、Abelian category)とはアレクサンドル・グロタンディークによって考案された、ホモロジー代数が展開できるよういくつかの公理を満たす圏である。元来、層係数のコホモロジー理論(層コホモロジー)と定数係数のコホモロジー理論は、定義および構成方法がまったくといっていいほど異なるにもかかわらず、理論の構造は酷似していた。そのため両者を統一的な観点から記述するために考案された。しかしながら知られているすべてのコホモロジー理論がアーベル圏上で展開できるわけではない。.
新しい!!: 9項補題とアーベル圏 · 続きを見る »
群 (数学)
数学における群(ぐん、group)とは最も基本的と見なされる代数的構造の一つである。群はそれ自体興味深い考察対象であり、群論における主要な研究対象となっているが、数学や物理学全般にわたってさまざまな構成に対する基礎的な枠組みを与えている。.
新しい!!: 9項補題と群 (数学) · 続きを見る »
蛇の補題
蛇の補題(snake lemma)、スネーク・レンマは数学、特にホモロジー代数において、長完全列を構成するために使われる道具である。蛇の補題はすべてのアーベル圏で有効であり、ホモロジー代数やその応用、例えば代数トポロジーにおいて、きわめて重要な道具である。補題の助けによって構成された準同型は一般に連結準同型 (connecting homomorphism) と呼ばれる。.
数学
数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.