分次素理想 分次理想格 有限生成分次模 交换Artin分次环 Noether分次环 有限表示型 分配格 分次附属素