Để sản xuất nhôm trong công nghiệp người ta thường điện phân Al2O3 nóng chảy có mặt criolit.
Có 2 công đoạn chính của quá trình sản xuất nhôm trong công nghiệp là:
+ Công đoạn tinh chế quặng boxit.
+ Công đoạn điện phân Al2O3 nóng chảy, có mặt criolit.
Criolit (còn gọi là băng thạch) có công thức phân tử Na3AlF6, được thêm vào Al2O3 trong quá trình điện phân Al2O3 nóng chảy để sản xuất nhôm.
2Al2O3 \xrightarrow[criolit]{dpnc} 4Al + 3O2.

