В теории чисел основная теорема теории идеалов в числовых полях утверждает, что каждый ненулевой собственный идеал в кольце целых чисел числового поля допускает однозначное разложение в произведение ненулевых простых идеалов . Другими словами, каждое кольцо целых чисел числового поля является областью Дедекинда .