初等因子理想

elementary divisor ideal