# Completeness and model completeness of the first order theory of faithful $G$-sets for a fixed infinite group $G$

Let $G$ be an infinite group with identity element $e$. Consider the first order theory of faithful $G$-sets (sets along with a faithful $G$ action) $(X,.)$ which along with the axioms of set theory, has the following set of axioms : For every $g\in G$, consider the unary function symbol $g.$ and collect the sentences $\forall x (g.(h.x)=(gh).x)$; $\forall x (e.x=x)$, and for every non-identity element $g$ in $G$, collect the sentences $\exists x (g.x\ne x)$.

Is this first order theory of faithful $G$-sets complete ? Is it model complete ?

No, certainly not; faithfulness is a very weak assumption. For instance, if $X$ is any (nonempty) free $G$-set (e.g., $G$ acting on itself by translation), then you can add a fixed point to $X$ to get another faithful $G$-set $Y$. Then $X$ and $Y$ do not have the same theory; for instance, for any $g\neq e$, $X\vDash \forall x (g.x\neq x)$ and $Y\vDash \neg\forall x (g.x\neq x)$
• Note that this answer answers both completeness and model-completeness as $X$ embeds in $Y$ but clearly not elementarily – Max Apr 30 '18 at 6:05