진비엘 대수
1. 개요
진비엘 대수는 가환환 K 위의 가군 A와 쌍선형 연산 ★: A⊗K A → A로 정의되며, (a ★ b) ★ c = a ★ (b ★ c) + a ★ (c ★ b)의 진비엘 항등식을 만족해야 한다. 진비엘 대수에 곱셈 ab = a★b + b★a를 부여하면 가환 결합 대수가 되며, 이는 리 대수가 라이프니츠 대수의 특수한 경우라는 사실의 코쥘 쌍대이다. 체 위의 벡터 공간 V로 생성되는 자유 진비엘 대수는 셔플 대수의 구조를 갖는다. 진비엘 대수는 1995년 장루이 로데에 의해 고안되었으며, "진비엘 대수"라는 이름은 장미셸 르메트르가 처음 사용하였다.
-
대수 구조 -
환 (수학)
환은 덧셈에 대해 아벨 군, 곱셈에 대해 모노이드를 이루며 분배 법칙이 성립하는 대수 구조로, 가환환과 비가환환으로 나뉘고 모든 비영 원소가 곱셈 역원을 갖는 비영 가환환을 체라고 한다. -
대수 구조 -
계수
계수는 수학에서 다항식, 급수, 또는 식의 항에 곱해지는 곱셈 인자를 의미하며, 다항식에서는 숫자, 매개변수 등으로 나타낼 수 있고, 선형대수학, 푸리에 급수, 이항정리 등 다양한 분야에서 활용된다. -
리 대수 -
베유 대수
베유 대수는 체 K 위의 리 대수 g에 대하여 정의되는 미분 등급 대수이며, g의 쌍대 공간과 그 등급 이동으로 생성되는 외대수와 대칭 대수의 텐서곱으로 표현되고, 리 군의 분류 공간의 주다발의 무한소 형태를 나타내는 완전열과 관련이 있다. -
리 대수 -
아핀 리 대수
아핀 리 대수는 카츠-무디 대수의 특수한 경우로, 유한 차원 단순 리 대수에 대응하는 루프 대수의 중심 확장으로 구성되며, 딘킨 도표를 통해 분류되고, 끈 이론과 2차원 등각장론 등 다양한 분야에 응용된다.
2. 정의
가환환 K 위의 진비엘 대수는 다음과 같은 데이터로 정의된다.
* K-가군 A
* K-쌍선형 이항 연산 (★): A⊗KA → A
이 데이터는 다음과 같은 진비엘 항등식을 만족시켜야 한다.
(a ★ b) ★ c = a ★ (b ★ c) + a ★ (c ★ b)
3. 성질
진비엘 대수 에 다음과 같은 곱셈을 부여하면, 이는 가환 결합 대수를 이룬다.
:
즉, 진비엘 대수는 추가 구조를 갖춘 가환 결합 대수로 여길 수 있다. (이는 리 대수가 라이프니츠 대수의 특수한 경우라는 사실의 코쥘 쌍대이다.) 특히, 만약 라면, 반대칭 괄호
:
를 정의하여
:
를 정의하여, 진비엘 대수를 위와 같은 반대칭 괄호를 갖춘 가환 결합 대수로 생각할 수 있다. 이 경우, 반대칭 괄호는
:
를 따른다. (특히, 괄호를 모두 0으로 놓을 수 없다.)
4. 예
체 위에서, 벡터 공간 로 생성되는 자유 진비엘 대수는 등급 벡터 공간으로서 상수항을 생략한 축소 텐서 대수 이다. 이에 대응되는 가환 결합 대수 구조는 셔플 대수의 것이다.