理想類

讓 為一個 數域，其整數環為 ，且讓 為 的一個非平凡理想。則 的理想類，記為 ，是 分式理想 的集合，使得存在一個 的非零元素 使得 。