Henceforth, we will suppress the injective homomorphism and assume that we are dealing with actual subfields.
Henceforth, we will suppress the injective homomorphism and assume that we are dealing with actual subfi.elds