Fractional ideal