Steinberg group 2E6 (mathematics) 3D4 Robert Steinberg Steinberg group (K-theory) Steinberg group (Lie theory)