1: \begin{definition}\label{def:hua}

2: 	Let $\mouf(U,\tau)$ be a Moufang set.

3: 	Then for each $a\in U^*$, we define a corresponding {\em Hua map} $h_a := \tau \mu_a\in \Sym(X)$.

4: 	It is clear that each $h_a$ fixes $0$ and $\infty$, and it is not hard to verify that $(b+c).h_a = b.h_a + c.h_a$ for all $b,c\in U$,

5: 	i.e.\@ the Hua maps induce automorphisms of the group $U$.

6: 	We also define the {\em Hua group}

7: 	\[ H=\langle h_a\mid a\in U^*\rangle=\langle \mu_a \mu_b\mid a,b\in U^*\rangle\leq \Aut(U) ; \]

8: 	by \cite[Theorem 3.1(ii)]{DW}, the Hua group is precisely the two point stabilizer $\Stab_G(0, \infty)$.

9: 	See also \cite[Lemma 4.2.2]{DS}.

10: 	In particular, a Moufang set is proper if and only if $H\neq 1$.

11: \end{definition}

12: