Redirecting to Artin–Wedderburn theorem