# Groups and pregeometries

Definition. For an infinite structure $\mathcal{A}$ and $cl : P(dom(\mathcal{A})) \longrightarrow P(dom(\mathcal{A}))$ , we say that $(\mathcal{A}, cl)$ is a structure carrying an $\omega$-homogeneous pregeometry if the following holds:

(a) $(\mathcal{A}, cl)$ is a pregeometry,

(b) $dim(\mathcal{A})$ is the same as the cardinality of $\mathcal{A}$,

(c) If $A \subseteq \mathcal{A}$ is finite and $a, b \in \mathcal{A} \setminus cl(A)$ , then there is $f\in Aut(\mathcal{A}/A)$ such that $f(a) = b$ and for all $B \subseteq \mathcal{A}$, $f(cl(B)) = cl(f(B))$.

Theorem. Suppose that $(G, cl)$ is a group carrying an $\omega$-homogeneous pregeometry. Then either $G$ is commutative or unstable.

Question. Are there non-commutative groups that carry an $\omega$-homogeneous pregeometry?

Giving references is appreciated.