William Justin Kroll, em 1946, mostrou que o titânio podia ser obtido comercialmente pela redução do !$ TiC \ell_4 !$ com magnésio metálico. No processo Kroll, representado pela equação de óxido-redução não balanceada

!$ TiC \ell_4 !$ !$ + !$ !$ Mg !$ !$ → !$ !$ MgC \ell_2 !$ !$ + !$ !$ Ti !$