합성 대수

추상대수학에서 합성 대수(合成代數, )는 대략 “절댓값의 제곱이 잘 정의되는” 대수 구조이다. 구체적으로, 이는 (결합 법칙이나 교환 법칙을 따르지 않을 수 있는) 쌍선형 이항 연산이 주어져 있으며, 이와 호환되는 (양의 정부호가 아닐 수 있는) 비퇴화 쌍선형 형식 또는 비퇴화 이차 형식이 주어진 벡터 공간으로 구성된다.
정의.
가환환 formula_1 위의 합성 대수는 다음과 같은 데이터로 주어진다.
연산.
합성 대수는 다음과 같은 자연스러운 추가 구조들을 갖는다.
내적.
합성 대수 formula_3 위에 다음과 같은 대칭 쌍선형 형식을 정의할 수 있다.
만약 가환환 formula_1에서 2가 가역원이라면, 비퇴화 이차 형식의 개념은 비퇴화 대칭 쌍선형 형식의 개념과 동치이며, 이 경우 formula_18를 쌍선형 형식으로부터 다음과 같이 재구성할 수 있다.
즉, 대신 비퇴화 대칭 쌍선형 형식을 사용하여 위와 동치인 정의를 적을 수 있다.
대각합과 켤레.
formula_1-합성 대수 formula_3 위에는 다음과 같은 대각합이 존재한다.
이는 formula_1-선형 변환
을 정의하며, 또한 정의에 따라
이다.
대각합으로부터, 다음과 같은 대합을 정의할 수 있다.
이는 물론 formula_1-선형 변환
를 정의한다.
리 대수.
합성 대수 formula_3로부터, 미분 리 대수 formula_30 및 이를 포함하는 삼중성 리 대수 formula_31를 구성할 수 있다. 또한, 합성 대수와 요르단 대수로부터 프로이덴탈 마방진이라는 구성을 통해 예외적 단순 리 대수를 포함한 여러 리 대수들을 구성할 수 있다.
성질.
formula_1-합성 대수 formula_3는 다음과 같은 항등식들을 따른다.
분류.
일반적으로, 표수가 2가 아닌 임의의 체 formula_1 위에서, 합성 대수의 차원은 1, 2, 4, 또는 8 가운데 하나이며, 이들은 모두 formula_1 위에 케일리-딕슨 구성을 가하여 얻어진다.
실수체 위의 합성 대수.
실수체 formula_43 위의 합성 대수는 정확히 7개가 있으며, 이들은 다음과 같다.
이차 폐체 위의 합성 대수.
체 formula_1 위의 케일리-딕슨 구성은 제곱 유군에 의하여 분류된다. 따라서, 만약 formula_1가 이차 폐체일 경우, 각 단계에서 케일리-딕슨 구성은 유일하다.
따라서, 만약 formula_1가 표수가 2가 아닌 이차 폐체일 경우, 그 위의 합성 대수는 정확하게 네 개가 있다.
예.
임의의 체 formula_1에 대하여, formula_66는 스스로 위의 1차원 합성 대수를 이룬다. 이는 교환 법칙과 결합 법칙을 따른다.
2차원 벡터 공간.
임의의 체 formula_1에 대하여, 가환 formula_1-결합 대수 formula_56를 생각하자. 즉, 그 덧셈과 곱셈은 다음과 같이 성분별로 정의된다.
이 위에 비퇴화 이차 형식
을 정의하면, 이는 2차원 formula_1-합성 대수를 이룬다. 이 경우 대각합은
이며, 대칭 쌍선형 형식은
이다. 대합은 다음과 같이 두 성분의 순서를 바꾸는 것이다.
2×2 행렬 대수.
임의의 체 formula_1에 대하여, 2×2 행렬 대수 formula_78를 생각하자. 여기서 formula_79 (행렬식)을 잡으면, formula_80은 결합 법칙을 따르는 4차원 합성 대수를 이룬다. 그러나 이는 교환 법칙을 따르지 않는다.
이 경우 합성 대수 대각합은 2×2 행렬의 대각합과 같다. 쌍선형 형식은 다음과 같다.
대합은 다음과 같다.
formula_78는 formula_1-합성 대수 formula_56를 대각 행렬로서 포함한다.
초른 대수.
임의의 체 formula_1가 주어졌을 때, 8차원 벡터 공간 formula_87의 원소를 다음과 같은 형식적 2×2 행렬로 적자.
이 위에, 다음과 같은 “곱셈”을 정의하자. 이는 행렬의 곱셈과 유사하나, 3차원 벡터의 벡터곱에 해당하는 추가 항들이 등장한다.
그 위의 이차 형식은 다음과 같은 “행렬식”이다.
그렇다면, 이는 formula_1 위의 합성 대수를 이루지만, 일반적으로 결합 법칙이나 교환 법칙을 따르지 않는다. 이를 formula_1의 초른 대수()라고 한다.
합성 대수를 이룸의 증명:
여기서 항등식
을 사용하였다.
그 항등원은 다음과 같은 “단위 행렬”이다.
또한, 그 대각합은 마찬가지로 “2×2 행렬”의 “대각합”이다.
그 위의 대합은 다음과 같다.
formula_62는 formula_1-합성 대수 formula_56를 “대각 행렬”로서 포함하며, 또 3차원 벡터 공간 속의 임의의 방향을 고르면 formula_1-합성 대수 formula_78를 포함한다.
역사.
“합성 대수”라는 이름은 이러한 대수 구조에서 노름이 곱셈과 호환된다는 조건이 제곱들의 합 두 개의 곱을 제곱들의 합으로 나타내는 항등식을 정의하기 때문이다. 예를 들어, 복소수 formula_103의 경우, 노름이 곱셈과 호환된다는 조건은 항등식
을 정의하며, 마찬가지로 분할복소수 formula_105 (formula_106)의 경우는 항등식
을 정의한다. 즉, 이러한 항등식은 제곱들의 합 두 개의의 곱을 또다른 제곱들의 합으로 “합성”한다.
복소수체의 노름에 해당하는 항등식은 이미 기원후 3세기에 디오판토스에게 알려져 있었다.
브라마굽타는 628년에 디오판토스의 항등식을 일반화하였으며, 특히 이 항등식은 분할복소수에 대응하는 항등식을 특별한 경우로 포함한다.
1748년에 레온하르트 오일러는 사원수의 노름에 대응하는 항등식을 발견하였으며, 1818년에 덴마크의 페르디난드 데겐()은 팔원수의 노름에 해당하는 항등식을 발견하였다.
1843년에 윌리엄 로언 해밀턴은 오일러의 항등식을 사용하여 사원수의 대수를 구성하였다. 같은 해에 존 토머스 그레이브스(, 1806~1870)는 팔원수의 대수를 구성하였으며, 이듬해에 아서 케일리는 팔원수의 대수를 독자적으로 재발견하였다. 1848년에는 합성 대수 formula_58에 해당하는 대수를 제임스 코클(, 1819~1895)이 “테사린”()이라는 이름으로 발견하였다.
1919년에 레너드 유진 딕슨이 케일리-딕슨 구성을 도입하였으며, 이를 사용하여 양의 정부호 노름을 갖는, 실수체 위의 합성 대수들을 체계적으로 구성하였다. 1923년에는 아돌프 후르비츠가 양의 정부호 노름을 갖는, 실수체 위의 합성 대수는 총 네 개(formula_43, formula_45, formula_46, formula_47)가 있다는 사실을 증명하였다.
1931년에 막스 초른은 케일리-딕슨 구성을 일반화하여, 분할 팔원수 formula_113의 합성 대수를 구성하였다. 이후 1958년에 네이선 제이컵슨이 합성 대수의 자기 동형군을 묘사하였다.