Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
代数的整数論で、局所体や大域体の有限次アーベル拡大の導手(conductor)は、拡大の分岐を定量的に測るものである。導手の定義はアルティン写像に関連がある。 L/K を非アルキメデス的局所体の有限アーベル拡大とすると、L/K の導手 f ( L / K ) {\displaystyle {\mathfrak
上に定義された導来函手の理論を精密化するとともに、ある意味で単純化するべく導入された。その構成は基本的には次の様に進む:まず圏 D ( A ) {\displaystyle D({\mathcal {A}})} の対象は A {\displaystyle {\mathcal {A}}} の双対鎖
来る人。 来てくれる人。
〔数〕 関数 y=f(x)で, x の各値に対してそこでの微分係数 f′(x)を対応させることによってえられる関数を f(x)の導関数といい, f′(x), y′, dy/dx などで表す。
HomC(X, GY) を満たすならば F は G の左随伴であると言い、 G は F の右随伴であると言う。 加法的関手 射の集合がアーベル群となっている圏(Ab-豊饒圏)の間の函手が、射の集合の間の群準同型を与えるならば加法的であると言う。 完全関手 短完全列 を短完全列に写すような
花山院長親(耕雲):けにそうき せめてなこその せきなくは ひなのなかちと おもひたえめや(雲窓賸語) 後宇多院:しのひつつ ゆるさぬなかの へたてにて ひとをなこその せきもりそうき(亀山殿七百首) 典侍二位(嘉楽門院):あつまちの なこそのせきや うきひとの こころつからの なにはあふらむ(正平廿年三百六十首)
上の図式の可換性は、Hom(_, _) が C × C から Set への、第1変数について反変で第2変数について共変である双関手(英語版)であることを示している。すなわち、Hom(_, _) は双関手 H o m ( _ , _ ) : C o p × C → S e t {\displaystyle \mathop
Ext関手(Ext functors)は、Hom関手の導来関手であり、Tor関手と同様、ホモロジー代数学の中心概念である。ホモロジー代数学では、代数的トポロジーのアイデアが代数的構造の不変量を定義するのに使われている。群のコホモロジーやリー環、結合多元環はすべてExtの言葉で定義できる。Ext