Let $U \le G$ be a subgroup of the finite group $G$ of odd order such that $|N_G(U) : U| = 2$ and different conjugates of $U$ intersect trivially, i.e. $U^g \cap U = 1$ for $g \notin N_G(U)$. Suppose $N \unlhd G$ and $N \cap U \ne 1$, then there exists an involution $t$ such that with $T = \langle t \rangle$
(a) $G = TUN$
(b) if $t \notin N$, then $UN$ is a Frobenius group with $U$ as complement, and $TU$ has a normal complement in $G$;
(c) if $t \in N$, then $t$ centralizes $U/(U\cap N)$, and $U \cap N$ has the same properties in $N$ as $U$ in $G$, i.e. it has index two in its normalizer $|N_N(U\cap N) : U\cap N| = 2$ and $$(U\cap N)^n \cap (U\cap N) = 1$$ if $n \in N \setminus N_G(N\cap U)$.
Hint: for (a) use the Frattini argument on $U \cap N$, and for (c) use it on $T$.
As $U$ has odd order and index two in its normalizer, we find an involution $t \notin U$ normalizing $U$ such that $N_G(U) = TU$. For (a) if $P \in \mbox{Syl}_p(U \cap N)$, as $U \cap N \unlhd U$ we can apply the Frattini argument, which gives $$ U = N_U(P)(N \cap U) \le N_U(P)N $$ but I do not see why this gives $G = TUN$?
For (b), the first claim follows if no element from $N \setminus U$ can normalize $U$. If $U^n = U$ then $n \in TU$, and we have to exclude $n = tu$, but I do not see how to do that? Also for the second claim, $N$ could not be the this complement for $TU$, as $1 \ne N \cap U \le N \cap TU$ has nontrivial intersection. So what should be this complement?
Just part (c) is clear to me. I can supply a proof if wanted of (c) [but I had not used the Frattini argument in my proof of (c)].
But how to prove part (a) and (b)? I do not see how to fill the gaps!?
I just collect and write up what was written by Derek in his comments.
(a) Let $p$ be a prime dividing $U \cap N$, then every Sylow $p$-subgroup $P$ of $U \cap N$ is also a Sylow $p$-subgroup of $N$. For suppose not, then there exists $Q \in \mbox{Syl}_p(N)$ with $P < Q$, and by the nilpotency of $Q$ we have $P < N_G(P) \cap Q$. Choose some $g \in N_G(P) \cap Q$ not in $P$. As $P = P^g \le U^g$ and $P \ne 1$ this implies $U^g = U$, hence $g \in N_G(U) = TU$ where we must have $g = tu$ as $g \notin U$. But $tu$ has even order, as $tu \notin U$ and so $$ 2|U| = \frac{|\langle tu \rangle||U|}{|\langle tu \rangle \cap U|} $$ and the denominator and $|U|$ have odd order, or more simply note that $U$ is normal in $TU$ with index $2$, hence $(tu)^2 \in U$ (which is not valid for non-normal subgroups) or by direct computation $tutu = ttu'u = u'u \in U$ and by this fact. But as $p$ is an odd prime $g$ has odd order, and this contradiction shows that every Sylow $p$-subgroup of $U \cap N$ is also a Sylow $p$-subgroup of $N$.
Also as already mentioned above we have $N_G(P) \le N_G(U) = TU$, hence by Frattini $G = N_G(P)N \le TUN$.
(b) For $UN$ to be a Frobenius group with complement $U$, we must have for every $g \in UN$ not in $U$ that $U^g \cap U = 1$. We can suppose $g \in N$, and we have to exclude that $U^g = U$, then by assumption $U^g \cap U = 1$ would follow. If $U^g = U$, then $g = tu$, or $t = gu^{-1}$. Now let $k = |U|$, then $t^k = (gu^{-1})^k = (u^{-1})^kg'$ where $g' \in N$ by successively using $nu = un'$ for $n \in N$ and normality of $N$. And as $u^{-k} = 1$ and $t^k = t$ as $k$ is odd, this would imply $t \in N$, which is excluded. Hence $UN$ is a Frobenius group. Denote its kernel by $K$.
i) $TU \cap K = 1$
As $N \unlhd UN$ we have $K \le N$ or $N < K$ (this is a property of the kernel). Hence as $t \notin N$ we have $t \notin K$. Now suppose $tu = k$ with $k \in K$ and $u \in U$, then $t = ku^{-1}$ and with a similar trick as under (a) this implies $t^n \in K$ for some odd number $n$, hence $t \in K$, which is excluded. This gives i). Or simpler: If $k = tu \in K$ with $k\ne 1$, then $U^{tu} = U$ as $t \in N_G(U)$, but $U^k\cap U = 1$ as $k$ is from the kernel. Hence $TU\cap K = 1$.
ii) $K$ is normal in $G$.
We have $UN \unlhd G$ with (a) and $(UN)^t = U^t N^t = UN$, and as $K$ is characteristic in $UN$ it is normal in $G$.
iii) $G = TUK$.
Simply as $UN = UK$ we have $G = TUN = TUK$.
(c) [Without Frattini, and no idea how Frattini might be of use here...] If $t \in N$ then $[t,u] \le N$, and $[t,u] \le U$ because $U^t = U$, hence $[t, U] \le U \cap N$ and $t$ centralizes $U / (U\cap N)$. Suppose $(U \cap N) = (U\cap N)^g = U^g \cap N$, as $1 \ne N \cap U = N\cap U^g \le U \cap U^g \cap N$, this implies $U^g = U$, hence $N_G(U\cap N) = N_G(U)$. Now $2 \ge |N_G(U) \cap N : U \cap N|$ and we have $t \in N_N(U)$ but $t \notin U \cap N$, hence $2 = |N_G(U) \cap N : U \cap N| = |N_N(U\cap N) : U \cap N|$. Lastly if $n \in N \setminus N_G(N\cap U)$, then $n \notin N_G(U)$, hence $(U\cap N) \cap (U\cap N)^n = U\cap U^n \cap N = 1$.