7
$\begingroup$

Recall that a group $G$ is pseudofinite if every first-order sentence $\varphi$ (in the language of groups) satisfied in $G$ is also satisfied in some finite group. Also recall that an instance of the order property in $G$ is a pair of sequences of finite tuples of elements of $G$, $\{\bar{a}_i\}_{i<\omega}$ and $\{\bar{b}_{j}\}_{j < \omega}$ (with any two $\bar{a}_i$'s the same length and any two $\bar{b}_{j}$'s the same length), together with a formula $\varphi(\bar{x},\bar{y})$ such that for any $i, j < \omega$, $G$ satisfies $\varphi(\bar{a}_i,\bar{b}_j)$ if and only if $i<j$.

I'm curious about the existence of such a thing with $\varphi$ a quantifier free formula. Using some typical arguments, you can show that if such a thing exists, then it exists with $\varphi$ a positive atomic formula, which can further be reduced to an expression of the form $t(\bar{x},\bar{y})=e$, with $e$ the group identity. By rearranging the tuples in question and possibly adding inverses and instances of $e$ in, we can actually assuming that this expression is of the form $\prod_{\ell<n} x_\ell y_\ell = e$. By a compactness argument, this finally reduces to the following question:

Question: Does there exist an $n< \omega$ such that for every $k< \omega$, there is a finite group $H$ together with $n$-tuples $\bar{a}^0,\dots,\bar{a}^{k-1},\bar{b}^0,\dots,\bar{b}^{k-1} \in H$ for which for any $i,j < k$, $\prod_{\ell<n} a^i_\ell b^j_\ell = e$ if and only if $i < j$?

This is pretty likely to be true and also likely to be known, but I'm having difficulty thinking of something or finding a reference. I'm also curious about quantifier-free instances of the independence property and the strong order property, but I wanted to keep this question focused.

$\endgroup$

1 Answer 1

5
$\begingroup$

Short answer: Given a prime $p>2$, an infinite extra-special $p$ group is pseudofinite, and the quantifier-free formula $xy=yx$ witnesses the independence property (and so witnesses the order property too).

Details: I am basically just quoting from the Appendix in Definable envelopes in groups having a simple theory by Milliet. Let $p>2$ be prime. An extra-special $p$ group is a group $G$ such that $g^p=1$ for all $g\in G$, $Z(G)$ is cyclic of order $p$, and $Z(G)=[G,G]$.

It is well-known that there is a unique countably infinite extra-special $p$-group. In fact, Felgner showed that the theory of infinite extra-special $p$-groups is a well-defined complete $\aleph_0$-categorical first-order theory in the language of groups. The following is a concrete construction of the countable model.

Let $V$ be a vector space over $\mathbb{F}_p$ of dimension $\aleph_0$, and let $\langle\cdot,\cdot\rangle$ be a non-degenerate skew-symmetric bilinear form on $V$. Let $G=V\times\mathbb{F}_p$ and define the group operation $$ (u,a)\ast (v,b)=(u+v,a+b+\langle u,v\rangle). $$ Then $(G,\ast)$ is the countably infinite extra-special $p$-group.

Now, since the bilinear form is skew-symmetric, and $p>2$, it follows that $(u,a)\ast(v,b)=(v,b)\ast (u,a)$ if and only if $\langle u,v\rangle=0$. So we can witness the independence property for the formula $\varphi(x,y)$ given by $x\ast y=y\ast x$. Specifically, we fix $n$ and find $g_1,\ldots,g_n\in G$ such that for any $X\subseteq\{1,\ldots,n\}$ there is some $h_X\in G$ so that $g_i\ast h_X=h_X\ast g_i$ if and only if $i\in X$. Let $u_1,\ldots,u_n$ be linearly independent vectors in $V$ and set $g_i=(u_i,0)$. Since the bi-linear form is non-degenerate, the maps $v\mapsto \langle u_i,v\rangle$ are linearly independent. So we can find $v_X\in V$ such that $\langle u_i,v_X\rangle =0$ if $i\in X$ and $\langle u_i,v_X\rangle =1$ if $i\not\in X$. Now let $h_X=(v_X,0)$ and we have the desired elements of $G$.

Note that we are really just using the fact that $G$ interprets the structure $V$ (with the bilinear form), which has the independence property witnessed by the formula $\langle x,y\rangle =0$. (Actually these theories are bi-interpretable.)

Finally, to see that this theory is pseudofinite, one only needs to know that there are arbitrarily large finite extra-special $p$-groups, which is also well-known. Then any non-principal ultraproduct is a model of the theory. Actually this is a $1$-dimensional asymptotic class in the sense of Macpherson and Steinhorn (see Proposition 3.11 of One-dimensional asymptotic classes of finite structures).

Edit. The theory of infinite extra-special $p$ groups is simple, so there is no formula with the strict order property. I don't know an example for SOP. There is no $\aleph_0$-categorical example, since no $\aleph_0$-categorical pseudofinite theory has the strict order property (see Proposition 1.3 this paper by Alex Kruckman).

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.