The industrial production of aluminum involves electrolysis of alumina (Al2O3) in molten cryolite, a mineral used as a ...