Talk:Primal ideal