유니모듈러 격자

유니모듈러 격자()는 행렬식이 ±1인 격자이다.

정의 
격자() 는 다음과 같은 데이터로 주어진다.
 은 자유 유한 생성 아벨 군이다.
 는 정수 값을 갖는 대칭 쌍선형 형식이다.
유니모듈러 격자는 다음 조건을 만족시키는 격자 이다.
 이 차원이라고 하자. 의 기저 을 잡았을 때,  대칭 정수행렬 을 로 정의하자. 그렇다면 이다. (행렬 은 기저의 선택에 따라 달라지지만, 그 행렬식은 바뀌지 않는다.)
짝 유니모듈러 격자()는 모든 에 대하여 이 짝수인 격자다. 짝 유니모듈러 격자가 아닌 유니모듈러 격자를 홀 유니모듈러 격자()라고 한다.

분류 
유니모듈러 격자는 정부호(definite)와 부정부호(indefinite) 두 종류가 있다. 부호수가 인 부정부호 격자 의 경우, (동형을 무시하면) 오직 하나의 홀 유니모듈러 격자

가 존재한다. 구체적으로 이는 에 의해 주어진다. 부정부호수에서 짝 유니모듈러 격자가 존재할 필요충분조건은

이며, 이 경우 (동형을 무시하면) 오직 하나의 짝 유니모듈러 격자

가 존재한다. 이는 구체적으로

이다. 또한, 은 E₈ 격자와 동형이다.

정부호 유니모듈러 격자는 분류하기가 더 어렵다.
 7차원 이하의 경우 유일한 홀 정부호 유니모듈러 격자 가 존재한다. 짝 유니모듈러 격자는 존재하지 않는다.
 짝 유니모듈러 격자가 존재하는 최소 차원은 8차원이다. 이 차원에서는 E₈ 격자가 존재하며, 이는 E8 리 군의 근계로 생성된다.
 8차원 다음으로 짝 유니모듈러 격자가 존재하는 차원은 16차원이며, 이 차원에서는 두 개의 짝 유니모듈러 격자가 존재한다. 이는 과
 24차원에서는 총 24개의 짝 유니모듈러 격자가 존재하며, 이들을 니마이어 격자()라고 한다. 이 가운데 근이 없는 격자는 리치 격자() 하나밖에 없다.

차원이 26 미만인 정부호 유니모듈러 격자는 모두 분류되었고, 다음과 같다. 홀 유니모듈러 격자의 수는 , 짝 유니모듈러 격자의 수는 이다.

참고 문헌 
 
 
 

이차 형식
격자점