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.

Principio

Los ideales fraccionarios son versiones escaladas de los ideales ordinarios dentro del cuerpo de fracciones; la existencia de un denominador común r los hace comparables con los ideales integrales y posibilita operaciones de multiplicación e inversión.

Demostración

En R = Z con K = Q, cualquier conjunto de la forma (a/b)Z = { (a/b)z : z en Z } es un ideal fraccionario: al multiplicar por b se obtiene aZ, un ideal ordinario de Z. En un dominio de Dedekind todo ideal fraccionario no nulo es invertible.

Aplicación incorrecta

Llamar ideales fraccionarios a subgrupos aditivos arbitrarios de K sin comprobar la existencia de un r no nulo en R que elimine denominadores, o asumir que los ideales fraccionarios son ideales de R en lugar de submódulos R de K.

Consecuencia

Los ideales fraccionarios forman un grupo abeliano bajo la multiplicación de ideales (con invertibilidad en dominios adecuados), y su comportamiento mide la obstrucción a la principialidad mediante el grupo de clases de ideales; permiten tratar multiplicativamente la divisibilidad y la información de clase.

Inversión

La perspectiva inversa es restringirse a los ideales integrales únicamente; limitarse a los ideales de R hace perder los inversos multiplicativos y la estructura de grupo que los ideales fraccionarios restablecen.

Límite

Los ideales fraccionarios se definen solo para dominios íntegros con cuerpo de fracciones; no tienen sentido en anillos con divisores de cero. Debe distinguirse entre ideal fraccionario e ideal de una sobre-álgebra: un ideal fraccionario es un submódulo de R en K, no necesariamente un ideal dentro de R.

Tensión semántica

Ideal fraccionario versus ideal fraccionario principal: todo ideal fraccionario principal está generado por un elemento de K, pero los no principales pueden necesitar múltiples generadores o comportarse distinto bajo inversión; ideal fraccionario versus ideal en un sobreanillo crea una tensión interpretativa.

Síntesis

Un ideal fraccionario es un submódulo R del cuerpo de fracciones que, tras eliminar denominadores con un elemento no nulo de R, se convierte en un ideal ordinario; esta extensión restablece la estructura de grupo multiplicativa de los ideales y es esencial para el estudio del grupo de clases y la factorización en contextos tipo Dedekind.