1)  leading ideal
猪想
2)  principal ideal
猪想
3)  principal ideal domain
猪想整环
4)  principal ideal ring
猪想环
5)  principal ideal theorem
猪想定理