分数イデアル:定義、演算、可逆性