|
可換環論において可換ネーター局所環 ''A'' 上有限生成な 0 でない加群 ''M'' と ''A'' の準素イデアル ''I'' のヒルベルト・サミュエル関数 (Hilbert–Samuel function) は、David Hilbert と にちなんで名づけられているが〔H. Hironaka, Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: I. Ann. of Math. 2nd Ser., Vol. 79, No. 1. (Jan., 1964), pp. 109-203.〕、写像 であってすべての に対して : であるようなものである、ただし は ''A'' 上の長さを表す。それは のと恒等式 : によって関連付けられる。十分大きい に対して、それは次数が に等しい多項式関数と一致する〔Atiyah, M. F. and MacDonald, I. G. ''Introduction to Commutative Algebra''. Reading, MA: Addison–Wesley, 1969.〕。 ==例== 二変数の形式的冪級数の環 を自身の上の加群と考え順序によって次数付け、イデアルを単項式 ''x''2 と ''y''3 によって生成されたものとすると、 : 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「ヒルベルト・サミュエル関数」の詳細全文を読む スポンサード リンク
|