The electrochemical extraction of aluminum from bauxite ore involves:
the reaction of \( \mathrm{Al_2O_3} \) with coke (\( \mathrm{C} \)) at a temperature \( > 2500^\circ \mathrm{C} \)
the neutralization of aluminate solution by passing \( \mathrm{CO_2} \) gas to precipitate hydrated alumina (\( \mathrm{Al_2O_3 \cdot 3H_2O} \))
the dissolution of \( \mathrm{Al_2O_3} \) in hot aqueous \( \mathrm{NaOH} \)
the electrolysis of \( \mathrm{Al_2O_3} \) mixed with \( \mathrm{Na_3AlF_6} \) to give \( \mathrm{Al} \) and \( \mathrm{CO_2} \)
