principal-ideal-spectrum