Galois extension tower [E:F] = [E:K][K:F]; Q(sqrt 2, sqrt 3)/Q

Galois extension-tower framework (Galois 1832 Memoire sur les conditions de resolubilite des equations par radicaux). Setup: for a tower of fields F subset K subset E, the dimension multiplicativity [E:F] = [E:K] [K:F] holds (where [E:F] =…