¿Qué hace $ K^{\alpha}$ ¿quieres decir?

Question

Esto es en el contexto de una declaración en la teoría de galois:

Si $F \subseteq K \subseteq L$ y $K$ se está dividiendo en $F$ entonces $K^{\alpha}=K$ para cada $\alpha \in Aut(L)$ .

Answer 1

Por el contexto, parece que $K^\alpha$ denota $\alpha(K)$ es decir, la imagen de $K$ bajo el mapa $\alpha:L\to L$ .