I know I met the following construction somewhere, but I cannot remember where. Let $A$ be a
a (unital associative) ring, and let $N$ be an $A$-$A$ bimodule. On the product set $A\times N$ we define multiplication by
\begin{equation*}
(a,m)(b,n) := (ab,\,an+mb)~.
\end{equation*}
The set $A\times N$ equipped with this multiplication is a (unital associative) ring with the two
two-sided ideal $0\times N$ whose product with itself is $0$. The ideal $0\times N$ is the kernel of the surjective homomorphism of rings $A\times N\to A : (a,n)\mapsto a$. If $A$ is Jacobson-semisimple, then
then $0\times N$ is the Jacobson radical of the ring $A\times N$.
$G=NH$ ($=HN$) and $N\cap H=\{e\}$.
The natural embedding $H\to G$, composed with the natural projection $G\to G/N$,
is an isomorphism of groups.
There exist a group $H'$ and homomorphisms of groups
$p\colon G\to H'$ and $j\colon H'\to G$
such that $p\circ j = \mathrm{id}_{H'}$ and $j(H')=H$, $\ker p = N$.
There exists an idempotent endomorphism $e$ of the group $G$
such that $e(G)=H$ and
and $\ker e = N$.
The underlying additive group of $R$
is a direct sum of the additive underlying groups of
of $N$ and $A$,
which we write $R=N\oplus A$.
The natural embedding $A\to R$, composed with the natural projection $R\to R/N$,
is an isomorphism of rings.
There exist a ring $A'$ and homomorphisms of rings
$p\colon R\to A'$ and $j\colon A'\to R$
such that $p\circ j=\mathrm{id}_{A'}$ and $j(A')=A$, $\ker p = N$.
There exists an idempotent endomorphism $e$ of the ring $R$
such that $e(R)=A$ and
and $\ker e=N$.
The structure of the inner semidirect product of an ideal and a subring of a ring
suggests the following definition of the outer semidirect product
of a rng $N$ and a ring $A$ with respect to a
a coherent biaction $\varphi$ of $A$ on $N$.
(A rng is an additive group with an associative biadditive multiplication.
A multiplicative identity is not required; if it is present, it is ignored.)
What we mean by a coherent biaction of $A$ on $N$:
the rng $N$ is an $A$-$A$ (unital) bimodule,
where $(am)n=a(mn)$, $m(na)=(mn)a$ for all $m$, $n$ in $N$ and all $a$ in $A$.
We define the multiplication on the set $B:=N\times A$ by
\begin{equation*}
(m,a)(n,b) \,:=\, (mn+an+mb,\,ab)~.
\end{equation*}
Then $B$ is a ring, $0\times A$ is a subring of $B$, $N\times 0$ is an ideal of $B$,
and $B=(N\times 0)\oplus(0\times A)$.
I propose to call the ring $B$ the (outer) semidirect product
of a rng $N$ and a ring $A$ with respect to a
a coherent biaction $\varphi$,
and write $B = N\rtimes_\varphi A$.
I believe this is a natural transfer, by analogy, of the notion of a semidirect product
from groups to rings.
The outer semidirect product for rings is peculiar in that it constructs a ring
from a rng and a
a ring
(thus it is an 'inter-species' construction)
with the ring coherently biacting on the rng.
Mark the notion of a retract of a topological space:
a subspace $A$ of a topological space $X$ is
is a retract of $X$
if there exists an idempotent continuous map $e\colon X\to X$ such that $e(X)=A$;
the restriction of $e$ to $r\colon X\to A$
(the codomain $X$ of $e$ is narrowed down to the codomain $A$ of $r$)
is a retraction.
