1: \begin{abstract}

2: Let $A_2({\mathfrak M})$ and $L_2({\mathfrak A}^2)$ be, respectively, the 2-generated free metabelian associative and Lie algebra over the field of complex numbers.

3: In the associative case we find a finite set of generators of the algebra $A_2({\mathfrak M})^{D_{2n}}$ of the dihedral group of order $2n$, $n\geq 3$.

4: In the Lie case we find a minimal system of generators as a ${\mathbb C}[x,y]^{D_{2n}}$-module

5: of the $D_{2n}$-invariants $L_2'({\mathfrak A}^2)^{D_{2n}}$ in the commutator ideal $L_2'({\mathfrak A}^2)$ of $L_2({\mathfrak A}^2)$.

6: In both cases we compute the Hilbert (or Poincar\'e) series of the algebras $A_2({\mathfrak M})^{D_{2n}}$ and $L_2({\mathfrak A}^2)^{D_{2n}}$.

7: \end{abstract}