En geometría no conmutativa , un módulo de Fredholm es una estructura matemática que se utiliza para cuantificar el cálculo diferencial . Tal módulo es, hasta cambios triviales, el mismo que el operador elíptico abstracto introducido por Atiyah (1970) .
Si A es un álgebra involutiva sobre los números complejos C , entonces un módulo de Fredholm sobre A consiste en una representación involutiva de A en un espacio de Hilbert H , junto con un operador autoadjunto F , de cuadrado 1 y tal que el conmutador