Група класів ідеалів

Група класів ідеалів абелева група, що виникає в комутативній алгебрі і алгебраїчній теорії чисел. Вона певною мірою визначає наскільки деяке кільце Дедекінда (чи, більш загально, кільце Круля) близьке до того щоб бути факторіальним. Для факторіальних кілець і тільки для них дана група є тривіальною.

Визначення

Нехай  — кільце Дедекінда і  — його поле часток. Група класів ідеалів кільця визначається як факторгрупа

У визначенні використані позначення

Група є вільною абелевою групою, базисом якої є прості ідеали кільця .
  •  — підгрупа головних дробових ідеалів, тобто дробових ідеалів виду
для .

Також групу класів можна визначити за допомогою відношення еквівалентності: ідеали та дедекіндового кільця є еквівалентними, якщо, для деяких виконується .

Приклади

Властивості

  • Група класів ідеалів є тривіальною тоді і тільки тоді, коли кільце  — факторіальне.
  • Якщо  алгебраїчне числове поле,  — його кільце цілих чисел, то відповідна група класів ідеалів є скінченною.
  • Довільна абелева група є групою класів ідеалів деякого кільця Дедекінда.

Посилання

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.