Hall-Herault process is used for the extraction of aluminium by electrolysis molten \(Al_2O_3\)
\(2Al_2O_3 + 3C → 4Al + 3CO_2\)