1: \begin{definition}

2: Let $\mf n$ be a Euclidean Lie algebra. Then $\mf n$ is said to be an \textit{$H$-type algebra} 

3: if 

4: \begin{enumerate}[(H1)]

5: \item\label{H1} there are two subvector spaces $\mf v$, $\mf z$ of $\mf n$ (each of which may be trivial) such that 

6: \[ [\mf n, \mf z] = \{0\},\quad [\mf n,\mf n]\subseteq \mf z,\]

7: and $\mf n$ is the orthogonal direct sum of $\mf z$ and $\mf v$, 

8: \item\label{H2} for all $X\in\mf v$, all $Z\in\mf z$ we have

9: \[ |J(Z)X| = |Z|\cdot |X|\]

10: where $J\colon\mf z\to\End_{\text{vs}}(\mf v)$ is the $\R$-linear map defined by 

11: \[ \langle J(Z)X,Y\rangle = \langle Z, [X,Y]\rangle\] 

12: for all $X,Y\in\mf v$, all $Z\in\mf z$. The map $J$ is well-defined and unique by Riesz' Representation Theorem (or its finite-dimensional counterpart). 

13: \end{enumerate}

14: \end{definition}

15: