Kostant's conjecture holds for \(E_ 7\): \(L_ 2(37)<E_ 7(\mathbb{C})\) (Q1320240)

Let \(G\) be an adjoint group of Lie-type over \(\mathbb{C}\) with Coxeter number \(h\). Kostant's conjecture runs as follows: if \(2h+1\) is a prime power, then \(L_2 (2h+1) <G\) [see \textit{A. M. Cohen} and \textit{R. L. Griess}, Proc. Symp. Pure Math. 47, 367-405 (1987; Zbl 0654.22005)]. Taking the known results into account, to settle Kostant's conjecture, it remains to determine whether \(L_2 (37)\) is contained in \(E_7 (\mathbb{C})\) and whether \(L_2(61)\) is contained in \(E_8 (\mathbb{C})\). In this note the authors report on their computer research, which establishes the conjecture for \(E_7\).