Дро́бный идеа́л, подмножество $Q$ поля частных $K$ коммутативной области целостности $R$, имеющее вид $Q=a^{-1} I$, где $a \in R$, $a \neq 0$, $I$ – идеал кольца $R$. В других терминах $Q$ есть $R$-подмодуль поля $K$, все элементы которого допускают общий знаменатель, т. е. существует элемент $a \in R$, $a \neq 0$, такой, что $a x \in R$ для всех $x \in Q$. Дробные идеалы образуют относительно умножения полугруппу $\mathfrak{A}$ с единицей $R$. Для дедекиндовых колец и только для них эта полугруппа является группой. Обратимые элементы полугруппы $\mathfrak{A}$ называются обратимыми идеалами. Каждый обратимый идеал имеет конечный базис над $R$.