主理想環