Existence of normal elements with prescribed norms

For each positive integer $n$, let ${\mathbb{F}}_{q^n}$ be the unique $n$-degree extension of the finite field ${\mathbb{F}}_q$ with $q$ elements, where $q$ is a prime power. It is known that for arbitrary $q$ and $n$, there exists an element $\beta \in {\mathbb{F}}_{q^n}$ such that its Galois conjugates $\beta ,{\beta }^q,\dots ,{\beta }^{q^{n-1}}$ form a basis for ${\mathbb{F}}_{q^n}$ as an ${\mathbb{F}}_q$-vector space. These elements are called normal and they work as additive generators of finite fields. On the other hand, the multiplicative group ${\mathbb{F}}_{q^n}^{\ast }$ is cyclic and any generator of this group is a primitive element. Many past works have dealt with the existence of primitive and normal elements with specified properties, including the existence of primitive elements whose traces over intermediate extensions are prescribed. Inspired by the latter, in this paper we explore the existence of normal elements whose norms over intermediate extensions are prescribed. We combine combinatorial and number-theoretic ideas and obtain both asymptotic and concrete results. In particular, we completely solve the problem in the case where only one intermediate extension is considered.