В математике n -мерная целочисленная решетка (или кубическая решетка ), обозначаемая , представляет собой решетку в евклидовом пространстве , точками решетки которой являются n -кортежи целых чисел . Двумерная целочисленная решетка также называется квадратной решеткой , или решеткой-сеткой. является простейшим примером корневой решетки . Целочисленная решетка является нечетной унимодулярной решеткой .
Группа автоморфизмов (или группа конгруэнций ) целочисленной решетки состоит из всех перестановок и изменений знака координат и имеет порядок 2 n n !. Как матричная группа она задается множеством всех n × n знаковых матриц перестановок . Эта группа изоморфна полупрямому произведению
где симметрическая группа S n действует на ( Z 2 ) n перестановкой (это классический пример сплетения ) .
Для квадратной решетки это группа квадрата , или диэдральная группа , порядка 8; для трехмерной кубической решетки мы получаем группу куба , или октаэдрическую группу , порядка 48.
При изучении диофантовой геометрии квадратная решетка точек с целыми координатами часто называется диофантовой плоскостью . В математических терминах диофантова плоскость — это декартово произведение кольца всех целых чисел . Изучение диофантовых фигур фокусируется на выборе узлов в диофантовой плоскости таким образом, что все попарные расстояния являются целыми числами .
В грубой геометрии целочисленная решетка грубо эквивалентна евклидову пространству .
Теорема Пика , впервые описанная Георгом Александром Пиком в 1899 году, дает формулу для площади простого многоугольника , все вершины которого лежат на двумерной целочисленной решетке, в терминах числа целых точек внутри него и на его границе. [1]
Пусть будет числом целых точек внутри многоугольника, а будет числом целых точек на его границе (включая как вершины, так и точки вдоль сторон). Тогда площадь этого многоугольника равна: [2] В показанном примере есть внутренние и граничные точки, поэтому его площадь составляет квадратные единицы.