次数付き環




数学、特に抽象代数学において、次数付き環（じすうつきかん、英: graded ring; 次数付けられた環）あるいは次数環とは RiRj⊂Ri+j{displaystyle R_{i}R_{j}subset R_{i+j}}R_{i}R_{j}subset R_{{i+j}} を満たすアーベル群 Ri{displaystyle R_{i}}R_i の直和として表すことのできる環のことである[1]。多項式環の斉次多項式への分解を一般化した概念である。添え字集合は通常非負の整数の集合か整数の集合であるが、任意のモノイドあるいは群でもよい。直和分解は通常次数化（gradation）あるいは次数付け（grading）と呼ばれる。


次数（付き）加群（graded module）は同様に定義される（正確な定義は下を見よ）。これは次数付きベクトル空間の一般化である。次数付き環でもあるような次数付き加群は次数付き代数（graded algebra）と呼ばれる。次数付き環は次数付き Z-代数と見なすこともできる。


結合性は次数付き環の定義において重要でない（実は全く使われない）。したがってこの概念は非結合的多元環に対しても適用できる。例えば、次数付きリー環（英語版）を考えることができる。




目次






  • 1 基本的な性質


  • 2 次数付き加群


  • 3 次数付き加群の不変量


  • 4 次数付き多元環


  • 5 G-次数環と多元環


  • 6 反可換性


    • 6.1 例




  • 7 例


  • 8 脚注


  • 9 参考文献


  • 10 関連項目





基本的な性質


A=⨁i∈N0Ai=A0⊕A1⊕A2⊕⋯{displaystyle A=bigoplus _{iin mathbb {N} _{0}}A_{i}=A_{0}oplus A_{1}oplus A_{2}oplus cdots }A = bigoplus_{iin mathbb N_0}A_i = A_0 oplus A_1 oplus A_2 oplus cdots を次数付き環とする。




  • A0{displaystyle A_{0}}A_0 は A の部分環である[1]（とくに、加法の単位元 0 と乗法の単位元 1 は次数 0 の斉次元である）。


  • A+=⨁i∈N+Ai=A1⊕A2⊕⋯{displaystyle A_{+}=bigoplus _{iin mathbb {N} _{+}}A_{i}=A_{1}oplus A_{2}oplus cdots }{displaystyle A_{+}=bigoplus _{iin mathbb {N} _{+}}A_{i}=A_{1}oplus A_{2}oplus cdots } はA{displaystyle A}Aのイデアルとなる（これは自然な全準同型 f:A→A0{displaystyle f:Arightarrow A_{0}}{displaystyle f:Arightarrow A_{0}}の核であるため、 A0≅A/A+{displaystyle A_{0}cong A/A_{+}}{displaystyle A_{0}cong A/A_{+}} となる）。

  • 各 Ai{displaystyle A_{i}}A_{i} は A0{displaystyle A_{0}}A_0-加群である[1]。

  • 可換 N0{displaystyle mathbb {N} _{0}}{mathbb {N}}_{0}-次数付き環 A=⨁i∈N0Ai{displaystyle A=bigoplus _{iin mathbb {N} _{0}}A_{i}}A=bigoplus_{i in mathbb{N}_0} A_i がネーター環であるのは、A0{displaystyle A_{0}}A_0 がネーター的かつ A が A0{displaystyle A_{0}}A_0 上の多元環として有限生成であるとき、かつそのときに限る[2]。そのような環に対して、生成元を斉次にとることができる。


分解の任意の因子 Ai{displaystyle A_{i}}A_{i} の元は次数 i の斉次元（homogeneous elements）と呼ばれる。 イデアルや他の部分集合 a{displaystyle {mathfrak {a}}}mathfrak{a} ⊂ A が斉次（せいじ、homogeneous）であるとは次を満たすことである。任意の元 a ∈ a{displaystyle {mathfrak {a}}}mathfrak{a} に対して、すべての ai を斉次元として a=a1+a2+...+an であるときに、すべての ai が a{displaystyle {mathfrak {a}}}mathfrak{a} の元である。与えられた a に対し、これらの斉次元は一意的に定義され、a の斉次部分（homogeneous parts）と呼ばれる。
I が A の斉次イデアルであれば、A/I{displaystyle A/I}A/I も次数付き環であり、次の分解をもつ。


A/I=⨁i∈N0(Ai+I)/I{displaystyle A/I=bigoplus _{iin mathbb {N} _{0}}(A_{i}+I)/I}A/I = bigoplus_{i in mathbb{N}_0}(A_i + I)/I

任意の（次数付きでない）環 A は A0 = A および i > 0 に対して Ai = 0 とすることによって次数付きにできる。これは A の自明な次数化（trivial gradation）と呼ばれる。



次数付き加群


加群論において対応する概念は次数付き加群 (graded module) である。すなわち次数付き環 A 上の左加群 M であって


M=⨁i∈N0Mi,{displaystyle M=bigoplus _{iin mathbb {N} _{0}}M_{i},}M=bigoplus _{{iin {mathbb {N}}_{0}}}M_{i},

であり


AiMj⊆Mi+j{displaystyle A_{i}M_{j}subseteq M_{i+j}}A_{i}M_{j}subseteq M_{{i+j}}

でもあるようなものである。


次数付き加群の間の準同型 f:N→M{displaystyle f:Nto M}f:Nto M は、次数付き準同型（graded morphism）と呼ばれるが、加群の準同型であって、次数付けを反映したもの、すなわち、f(Ni)⊆Mi{displaystyle f(N_{i})subseteq M_{i}}f(N_{i})subseteq M_{i} が成り立つようなものである。次数付き部分加群（graded submodule）は、それ自身次数付き加群であって集合論的包含が次数付き加群の射であるような部分加群である。明示的に書くと、次数付き加群 N が M の次数付き部分加群であることと、M の部分加群で Ni=N∩Mi{displaystyle N_{i}=Ncap M_{i}}N_{i}=Ncap M_{i} を満たすことは同値である。次数付き加群の射の核と像は次数付き部分加群である。


例：次数付き環はそれ自身の上の次数付き加群である。次数付き環のイデアルが斉次であることと次数付き部分加群であることは同値である。定義によって部分環が次数付き部分環であることと次数付き部分加群であることは同値である。次数付き加群の零化イデアルは斉次イデアルである。


例：次数付き環から次数付き環への像が中心に含まれるような次数付き射を与えることは、後者の環に次数付き代数の構造を与えることと同じである。


次数付き加群 M が与えられたとき、the l-twist of M(l){displaystyle M(l)}M(l) は M(l)n=Mn+l{displaystyle M(l)_{n}=M_{n+l}}M(l)_{n}=M_{{n+l}} によって定義される次数付き加群である。（cf. 代数幾何のセールのねじり層（英語版））


M と N を次数付き加群とする。f:M→N{displaystyle f:Mto N}f:Mto N が加群の射であれば、f(Mn)⊂Nn+d{displaystyle f(M_{n})subset N_{n+d}}f(M_{n})subset N_{{n+d}} のときに f の次数は d であるという。微分幾何学における微分形式の外微分は負の次数をもつそのような射の例である。



次数付き加群の不変量


次数付き可換環 A 上の次数付き加群 M が与えられたとき、形式的ベキ級数 P(M,t)∈Z[[t]]{displaystyle P(M,t)in mathbb {Z} [![t]!]}P(M,t)in {mathbb {Z}}[![t]!] を関連付けることができる：


P(M,t)=∑ℓ(Mn)tn{displaystyle P(M,t)=sum ell (M_{n})t^{n}}P(M,t)=sum ell (M_{n})t^{n}

（ℓ(Mn){displaystyle ell (M_{n})}ell (M_{n}) は有限であると仮定している。）これは M のヒルベルト–ポアンカレ級数と呼ばれる。


次数付き加群は加群として有限生成なときに有限生成という。生成元は（斉次部分におきかえることで）斉次にとることができる。


k を体、A を多項式環 k[x0,…,xn]{displaystyle k[x_{0},dots ,x_{n}]}k[x_{0},dots ,x_{n}]、M を A 上有限生成な次数付き加群とする。このとき関数 n↦dimk⁡Mn{displaystyle nmapsto dim _{k}M_{n}}nmapsto dim _{k}M_{n} は M のヒルベルト関数と呼ばれる。この関数は十分大きい n に対して M のヒルベルト多項式と呼ばれる整数値多項式（英語版）と一致する。



次数付き多元環


環 R 上の代数 A は環として次数付きのときに次数付き多元環（次数付き代数、graded algebra）である。


R が次数付きでないような一般の場合には（特に R が体であるとき）、自明な次数付けが与えられている（R のすべての元は次数 0 である）と考える。したがって R ⊆ A0 であり各 Ai は R 加群である。


環 R が次数付き環でもあるような場合には、次のことを要求する。


AiRj⊆Ai+j{displaystyle A_{i}R_{j}subseteq A_{i+j}}A_{i}R_{j}subseteq A_{{i+j}}

および



RiAj⊆Ai+j{displaystyle R_{i}A_{j}subseteq A_{i+j}}R_{i}A_{j}subseteq A_{{i+j}}.

言い換えると、A が R 上左かつ右次数付き加群であることを要求する。


次数付き多元環の例は数学においてよく現れる。




  • 多項式環。次数 n の斉次元はちょうど次数 n の斉次多項式である。


  • ベクトル空間 V のテンソル代数 T•V。次数 n の斉次元はランク n のテンソル TnV である。


  • 外積代数 Λ•V および対称代数 S•V もまた次数付き代数である。

  • 任意のコホモロジー論におけるコホモロジー環 H • もまた次数付きであり、Hn たちの直和である。


次数付き代数は可換環論と代数幾何学、ホモロジー代数、そして代数トポロジーにおいてしばしば使われる。1つの例は斉次多項式と射影多様体の緊密な関係である。（cf. 斉次座標環。）



G-次数環と多元環


上記の定義は添え字集合として任意のモノイド G を使った次数付き環に一般化できる。G-次数環（G-graded ring）A は直和分解


A=⨁i∈GAi{displaystyle A=bigoplus _{iin G}A_{i}}A=bigoplus _{{iin G}}A_{i}

をもった環であって


AiAj⊆Ai⋅j{displaystyle A_{i}A_{j}subseteq A_{icdot j}}A_{i}A_{j}subseteq A_{{icdot j}}

が成り立つようなものである。


今や"次数環"の概念は N-次数環と同じものである。ただし N は非負整数が加法についてなすモノイドである。次数加群や代数についての定義もまた添え字集合 N を任意のモノイド G にとりかえることによって拡張できる。


注意：


  • 環が単位元をもつことを要求しない場合、モノイドのかわりに半群でもよい。

例：



  • 群は自然に対応する群環を次数付ける。同様に、モノイド環は対応するモノイドによって次数付けされる。


  • 超代数（英語版） は Z2-次数代数の別名である。クリフォード代数はその例である。ここで斉次元は次数 0（偶数）かまたは 1（奇数）である。



反可換性


いくつかの次数付き環（または多元環）は反交換（英語版）構造をもつ。この概念は、次数化のモノイドの、2元からなる体 Z/2Z の加法的モノイドへの準同型を要求する。具体的には、signed monoid は対 (Γ, ε) からなる。ただし Γ はモノイドであり ε : Γ → Z/2Z は加法的モノイドの準同型である。反交換 Γ-次数環（anticommutative Γ-graded ring）は Γ によって次数付けされた環 A であって次を満たす。


すべての斉次元 x と y に対して、xy=(−1)ε(deg⁡x)ε(deg⁡y)yx{displaystyle xy=(-1)^{varepsilon (deg x),varepsilon (deg y)}yx}xy=(-1)^{{varepsilon (deg x),varepsilon (deg y)}}yx


例



  • 外積代数は反可換代数の例である。構造 (Z≥ 0, ε)、ただし ε: Z → Z/2Z は商写像、によって次数付けされている。


  • 超可換代数（英語版）（歪可換結合環（skew-commutative associative ring）と呼ばれることもある）は、反可換 (Z/2Z, ε) -次数代数と同じものである。ただし ε は Z/2Z の加法的構造の恒等自己準同型である。


例


  • 多項式環 A=k[t1,…,tn]{displaystyle A=k[t_{1},ldots ,t_{n}]}A=k[t_{1},ldots ,t_{n}] は（多項式の）次数によって次数付きである。これは次数 i の斉次多項式からなる Ai{displaystyle A_{i}}A_{i} の直和である。


  • S を次数付き整域 R のすべての0でない斉次元からなる集合とする。このとき R の S による局所化は Z-次数付けられた環である。


脚注




  1. ^ abcLang 2002, p. 427


  2. ^ Matsumura 1986, Theorem 13.1




参考文献



  • Bourbaki, N. (1974). Algebra I (Chapters 1-3), ISBN 978-3-540-64243-5, Chapter 3, Section 3.


  • Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR.mw-parser-output cite.citation{font-style:inherit}.mw-parser-output .citation q{quotes:"""""""'""'"}.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration{color:#555}.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration span{border-bottom:1px dotted;cursor:help}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center}.mw-parser-output code.cs1-code{color:inherit;background:inherit;border:inherit;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;font-size:100%}.mw-parser-output .cs1-visible-error{font-size:100%}.mw-parser-output .cs1-maint{display:none;color:#33aa33;margin-left:0.3em}.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-right{padding-right:0.2em}
    1878556, https://books.google.com/books?id=Fge-BwqhqIYC     

  • Matsumura, H. (1986), Commutative ring theory. Translated from the Japanese by M. Reid. Second edition. Cambridge Studies in Advanced Mathematics, 8.


  • Năstăsescu, C.; van Oystaeyen, F. (2004). Methods of graded rings. Lecture Notes in Mathematics. 1836. Springer-Verlag. ISBN 3-540-20746-5. MR 2046303. https://books.google.com/books?id=ydtyCw1QJyMC. 



関連項目




  • 付随する次数環（英語版）: 必ずしも次数付けられていない環とその真のイデアル（の冪からなるフィルター）から得られる次数環

  • 次数付き微分環


  • フィルター付き代数（英語版）、一般化したもの

  • 次数付き（英語版）

  • 次数付き圏（英語版）

  • 次数付きリー環（英語版）

  • 次数付きベクトル空間




Popular posts from this blog

'app-layout' is not a known element: how to share Component with different Modules

Image
0 My application was working fine until I decided to go with lazy loading: So, my shared component looks like this: import { Component, Renderer2 } from '@angular/core'; export interface FormModel { captcha?: string; } @Component({ selector: 'app-layout', templateUrl: './app-layout.component.html', styleUrls: ['./app-layout.css'] }) export class FullLayoutComponent { } app-layout.component.ts I am using this component in my Another component say school-home.component.html like this: <app-layout> </app-layout> and it was working fine until I created a Module school-home.module.ts like this: import { NgModule } from '@angular/core'; import { CommonModule } from '@angular/common'; import { SchoolhomeRoutingModule ...
Read more

android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

Image
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty{ height:90px;width:728px;box-sizing:border-box; } 0 This is a simple project showing cubes on Unity, exported to android project and imported on Android studio. On maifest file it showed following warning: Expecting <uses-feature android:name="android.software.leanback" android:required="false" /> tag I have no information about it. And also on default emptyview android project does not use/mention this feature. I know it is required by TV's and such but why its not added by default? Why is this? And Should I concern about it? android unity3d ...
Read more

WPF add header to Image with URL pettitions [duplicate]

Image
up vote 0 down vote favorite This question already has an answer here: Image source URI requiring authorization 3 answers Add header to all* HTTP requests on a machine 1 answer first of all sorry for my english. Recently I added some security in the backend of my project, and now I need to send a validation code(apiKey) inside the headers to retrieve the images. I have a problem with ALL images in my project that I had attached in my UI. For example, before I had: <Image Height="90" Source="{Binding Video.Thumbnail}"/> Now I need to change my code to create a CUSTOM petition add the apiKey in the header:...
Read more