数学、とくに環論という抽象代数学の分野において、自由代数(じゆうだいすう、英: free algebra)は多項式環の非可換類似である、なぜならばその元は可換でない変数の「多項式」として書けるからである。同様に、多項式環は自由可換代数 (free commutative algebra) と見ることができる(多項式環#多項式環の普遍性参照)。