En matemática, un módulo libre es un módulo que tiene una "base libre".