“…As explained in the proof of Lemma , we cannot have partial ramification and equal ramification indices. Secondly, a generalised Artin–Schreier extension is a cyclic extension of degree equal to a power of the characteristic of k , and it was proven by Madden that such an extension may be expressed as a tower of Artin–Schreier extensions with, for each , some generator of possessing defining equation in global standard form. The following structure of is natural for immediately arriving at global standard form in a tower from the composites of cyclic extensions over K .…”