그라데드 반지
Graded ring대수구조 |
---|
수학에서 특히 추상대수학에서 등급이 매겨진 링은 + j {\displaystyle}\+j과 같은 아벨리아 R i}}}}{i+j의 직접 합인 링이다인덱스 세트는 일반적으로 음이 아닌 정수의 집합 또는 정수 집합이지만, 어떤 단조도 될 수 있다.직접 합 분해를 보통 그라데이션 또는 그레이딩이라고 한다.null
등급이 매겨진 모듈은 유사하게 정의된다(정확한 정의는 아래 참조).등급 벡터 공간을 일반화한다.등급이 매겨진 링이기도 한 등급별 모듈을 등급별 대수라고 한다.등급이 매겨진 링은 등급이 매겨진 -algebra로도 볼 수 있다.null
연관성은 등급이 매겨진 반지의 정의에서 중요하지 않다. 따라서, 그 개념은 등급이 매겨진 리 대수학도 고려할 수 있다.null
첫 번째 속성
일반적으로 등급이 지정된 링의 인덱스 세트는 달리 명시되지 않는 한 음이 아닌 정수의 집합이어야 한다.이 글에는 이런 것이 있다.null
다음과 같은 추가 그룹의
음이 아닌 모든 정수 및 에 대해
A nonzero element of is said to be homogeneous of degree . By definition of a direct sum, every nonzero element of can be uniquely written as a sum 여기서 는 0 또는 동종 i i이다 은(는 {\ a의 동종 성분이다
일부 기본 속성은 다음과 같다.
An ideal is homogeneous, if for every , the homogeneous components of also belong to (Equivalently, if it is a graded submodule of ; see § Graded module.) 과 (와) 이상I {\ R_의 인R 0 {\{n -submodule은 의 동질 인n의 인 합이다동질의 부분null
이(가 의 양면 동종 이상이라면 도 등급이 지정된 링으로, 다음과 같이 분해된다.
서 은(는) 의 도 의 동종 부분이다
기본 예시
- 임의의 (점수가 없는) 링 은 에대해 R 0 = R {\0}= 및 Ri = 을 (를) 놓아 그라데이션이 주어질 수 있다.이것을 R에 대한 사소한 그라데이션이라고 한다.
- 다항 링 = k[ 1,…, 은(는) 등급별로 등급이 매겨진다. 정도 i의 동종 다항식으로 구성된 의 직접 합이다.
- S는 등급이 매겨진 적분 영역 R에 있는 모든 0이 아닌 동질 원소의 집합이 되게 한다.그 다음 S에 대한 R의 에는 Z{\ -graded 링이 있다.
- If I is an ideal in a commutative ring R, then is a graded ring called the associated graded ring of R along I; geometrically, it is the coordinate ring of the normal cone along the subvariety defined by I.
- X를 위상학적 공간, Hi(X; R) 링 R에 계수가 있는 ith cohomology 그룹이라고 합시다.그 다음, R에 계수가 있는 X의 공동호몰로지 링인 H*(X; R)는 이 매겨진 링이며, 기본 그룹은 i= (; R) 이다 .
등급 모듈
모듈 이론에서 상응하는 아이디어는 등급이 매겨진 모듈, 즉 등급이 매겨진 링 R 위에 있는 좌측 모듈 M이다.
그리고
예: 등급화된 벡터 공간은 필드 위에 등급이 매겨진 모듈의 예다(필드가 사소한 등급이 있는 경우).null
예: 등급이 매겨진 링은 그 자체보다 등급이 매겨진 모듈이다.등급이 매겨진 링에서 이상형은 등급이 매겨진 하위 모듈인 경우에만 동질적이다.등급이 매겨진 모듈의 전멸기는 동질적인 이상이다.null
Example: Given an ideal I in a commutative ring R and an R-module M, the direct sum is a graded module over the associated graded ring .
형태론 : → M between graded modules, called a graded morphism, is a morphism of underlying modules that respects grading; i.e., . A graded submodule is a submodule that is a graded module in own right and such that the set-theoretic inclusion is a morphism of graded modules.명시적으로 등급이 매겨진 모듈 N은 M의 하위 모듈로서 Ni = 을 만족하는 경우에만 등급이 매겨진 M의 하위 모듈이다등급이 매겨진 모듈들의 형태론의 이미지와 커널은 등급이 매겨진 하위 모듈이다.null
비고: 이미지가 중앙에 놓여 있는 상태에서 등급이 매겨진 고리로부터 다른 등급의 고리까지 등급이 매겨진 형태론을 주는 것은 등급이 매겨진 대수학의 구조를 후자의 고리에게 부여하는 것과 같다.null
등급이 매겨진 모듈 이() 주어진, -twist of = = M + )ell 세레는 대수 기하학에서 칼집을 비틀고 있다.)null
M과 N을 등급으로 매겨라.: → N N이(가) 모듈의 형태론이라면, f는 + 미분 기하학에서 미분형식의 외부 파생상품은 그러한 형태론이 도 1을 갖는 예다.
등급 모듈의 불변성
정류 등급의 링 R 위에 등급이 매겨진 모듈 M이 주어지면, 공식 파워 P (, )Z[ [ t 을(를) 연결할 수 있다
( ( ) 은(는) 유한함).M의 힐베르트-푸앵카레 시리즈라고 불린다.
기초 모듈이 미세하게 생성되면 등급이 매겨진 모듈이 미세하게 생성된다고 한다.발전기는 균질(균질 부품으로 발전기를 교체함으로써)으로 간주할 수 있다.null
R이 다항식 링 [ 0,…, 필드 및 M 위에 정밀하게 생성된 등급화된 모듈이라고 가정합시다.그 다음 함수 m 을(를) M의 힐버트 함수라고 한다.함수는 M의 Hilbert 다항식이라고 불리는 큰 n에 대한 정수 값 다항식과 일치한다.
등급대수학
링 R에 대한 대수 A는 링으로 등급이 매겨진 경우 등급이 매겨진 대수다.null
링 R의 등급이 매겨지지 않은 일반적인 경우(특히 R이 필드인 경우)에는 사소한 등급이 부여된다(R의 모든 요소는 도 0이다).따라서 와 등급이 매겨진 A 는 R-모듈이다.null
R반지도 등급이 매겨진 반지일 경우, R반지도 등급이 매겨진 반지일 경우, R반지는 다음과 같은 것을 요구한다.
즉, 우리는 A가 R보다 등급이 높은 왼쪽 모듈이어야 한다.
등급이 매겨진 알헤브라의 예는 수학에서 흔히 볼 수 있다.
- 다항식 고리.도 n의 동질 원소는 정확히 도 n의 동질 다항식이다.
- 벡터 공간 V의 텐서 대수 Tn 등급의 동질 는 n 순서의 텐서, T T이다
- 대수 V 과 대칭 대수 S도 알헤브라의 등급이다.
- 어떤 코호몰로지 이론에서든 코호몰로지 H H도 등급이 매겨져 있으며, 코호몰로지 그룹 H의 직접 합이 된다
단계별 알헤브라는 정류 대수학 및 대수 기하학, 동질 대수학, 대수학 위상에 많이 사용된다.한 예로 동종 다항식과 투영품종(cf)의 밀접한 관계를 들 수 있다.균등 좌표 링).null
G-graded 링과 알헤브라스
위의 정의는 색인 집합으로 어떤 모노이드 G를 사용하여 등급이 매겨진 링으로 일반화되었다.G-graded 링 R은 직접 합이 분해된 링이다.
그런
G 에 R 안에 있는 R의 요소는 등급 i와 동질적이라고 한다.null
이전에 정의된 "그라운드드 링" 개념은 이제 -graded 링과 동일한 것이 되며, 여기서 은 더하여 음이 아닌 정수의 단수가 된다.등급이 매겨진 모듈과 알헤브라에 대한 정의도 인덱싱 세트 {를) 모노이드 G로 대체하는 방식으로 확장할 수 있다.
설명:
예:
- 그룹은 자연스럽게 해당 그룹 링의 등급을 매긴다. 마찬가지로, 모노이드 링은 해당 모노이드에 의해 등급이 매겨진다.
- (연관적) 슈퍼걸브라는 -graded 대수학의 다른 용어다.그 예로는 클리포드 알헤브라가 있다.여기서 동질 원소는 도 0(짝수) 또는 1(이상)이다.
반공칭도
일부 등급의 고리(또는 알헤브라스)는 반공성 구조를 가지고 있다.이 개념은 두 개의 원소가 있는 Z/ Z 의 가법 단모형으로 그라데이션의 단모형을 필요로 한다.Specifically, a signed monoid consists of a pair where is a monoid and is a homomorphism of additive monoids.반공성 -graded 링은 다음과 같이 γ과 관련하여 등급이 매겨진 반지 A이다.
모든 동질 원소 x와 y에 대해.null
예
- An exterior algebra is an example of an anticommutative algebra, graded with respect to the structure where is the quotient map.
- A supercommutative algebra (sometimes called a skew-commutative associative ring) is the same thing as an anticommutative -graded algebra, where is the identity endomorphism of the additive structure of
그라데이션 모노이드
직관적으로 그라데이션된 모노이드(graded monoid)는 의 단계별 링 부분집합이다즉, 그라데이션된 모노이드의 요소 집합은 n 이다
등차 기능 ϕ과 형식적으로, 차등 monoid[1]은monoid(M, ⋅){\displaystyle(M,\cdot)},:M→ N0(_{0}}가 ϕ(m⋅ m′))ϕ(m)+ϕ(m′){\displaystyle\phi(m\cdot m')=\phi(m)+\phi(m')}. 1M{의 눈금을 \displaystyle습니다. 1_{은 반드시 0이다.일부 저자는 m이 정체성이 아닌 경우 ( m) 을(를) 더 요청하기도 한다.null
비식별 요소의 눈금이 0이 아니라고 가정하면, 눈금 n의 요소 수는 이며, 여기서 g는 모노이드의 생성 집합 G의 카디널리티다.따라서 그라데이션 n 이하의 요소 수는 최대 + = 의 경우 또는 + 1 - 1 g -{\g^{1}- 다른 .실제로 그러한 각 요소는 G의 최대 n개 요소의 산물이며, 이러한 제품은 + 1- 1 - 만 존재한다.마찬가지로, ID 요소는 두 개의 비 ID 요소의 산물로 쓸 수 없다.즉, 이렇게 등급이 매겨진 단면체에는 단위가 없다.null
그라데이션된 모노이드에 의해 인덱싱된 파워 영상 시리즈
이 개념은 파워 시리즈 링의 개념을 확장시킨다.지수화 패밀리를 로 하는 대신 지수화 패밀리는 각 정수 n에 대해 도 n의 요소 수가 유한하다고 가정할 때 어떤 등급화된 모노이드일 수 있다.
좀 더 공식적으로(,+ , K )은(는) 임의의 반향이고 ⋅,) 은 등급의 단일형이 되도록 한다. {{ {\\langle \}은 R에 의해 지수화된 K의 계수를 갖는 동력계열의 반감을 나타낸다.그것의 요소는 R에서 K까지의 기능이다.The sum of two elements is defined point-wise, it is the function sending to . And the product is the function sending to the infinite sum . This sum is correctly defined (i.e., finite) because, for each m, only a finite number of pairs (p, q) such that pq = m exist.null
예
형식 언어 이론에서 알파벳 A가 주어지는 경우, A보다 더 많은 단어의 자유로운 단형은 단어의 그라데이션이 그 길이인 그라데이션 단어로 간주할 수 있다.null
참고 항목
참조
- ^ Sakarovitch, Jacques (2009). "Part II: The power of algebra". Elements of automata theory. Translated by Thomas, Reuben. Cambridge University Press. p. 384. ISBN 978-0-521-84425-3. Zbl 1188.68177.
- Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556.
- Bourbaki, N. (1974). "Ch. 1–3, 3 §3". Algebra I. ISBN 978-3-540-64243-5.
- Steenbrink, J. (1977). "Intersection form for quasi-homogeneous singularities" (PDF). Compositio Mathematica. 34 (2): 211–223 See p. 211. ISSN 0010-437X.
Matsumura, H. (1989). "5 Dimension theory §S3 Graded rings, the Hilbert function and the Samuel function". Commutative Ring Theory. Cambridge Studies in Advanced Mathematics. Vol. 8. Translated by Reid, M. (2nd ed.). Cambridge University Press. ISBN 978-1-107-71712-1.