Ideal Fraccionario

Dado un dominio íntegro R con cuerpo de fracciones K, un ideal fraccionario es un R-submódulo I de K para el que existe r no nulo en R tal que rI es un ideal (entero) de R. Los ideales fraccionarios permiten denominadores y extienden la teoría de ideales de R a K conservando la estructura multiplicativa.