Effective Larsen–Shalev conjecture for automorphic word maps
Effective Larsen–Shalev conjecture. The constants N(w)N(w)N(w) and η(w)\eta(w)η(w) can be computed algorithmically from the word www as input.
MathDB