En álgebra abstracta, el álgebra libre es el análogo no conmutativo del anillo de polinomios.