Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

$p$ is a prime number. A group $G$ is called an infinite extraspecial $p$-group if

1) it is infinite,

2) every $g\neq 1$ in $G$ has order $p$,

3) its centre $Z(G)$ coincide with $G'$ and is a cyclic group of order $p$.

It is claimed in several papers that the first order theory of such a group is supersimple of $SU$ rank $1$, but I could not find any proof. Would you know any clear reference about that? (or even better : a proof !)

I have heard that such a $G$ should be interpretable in a $F_p$-vector space $V$ equiped with a skew symmetric non-degenerate bilinear form, and that $V$ should be supersimple of rank $1$, but again, I cannot find any reference.

share|improve this question
1  
Note that for $p=2$ this definition makes $G$ abelian. In finite group theory, where extraspecial groups often arise, one normally does not request that each element has order $p$, instead, a weaker condition, $G/Z(G)$ is elementary abelian $p$-group, is imposed... –  Dima Pasechnik Nov 19 '11 at 12:17
    
[nitpicking]1 has never order p. It has always order 1.[/nitpicking] –  Johannes Hahn Nov 19 '11 at 13:42
    
@Johannes Hahn. :) right ! Corrected ! –  Drike Nov 19 '11 at 14:11

2 Answers 2

up vote 4 down vote accepted

As Alain pointed out, extraspecial groups are "the same" as vectors spaces over $\mathbb{F_p}$ equipped with a bi-linear skew-symmetric form. In fact to complete the answer to your question, one can just add that this identification is elementary. More precisely. the theory of an infinite extraspecial group can be elementary interpreted in the theory of a vector space with a skew-symmetric form. Namely, if $G$ is an extraspecial group, and $V$ is the corresponding vector space with form $<.,.>$. Then one interprets $G$ in $V$ as follows. $G$ is the set of all pairs $V\times \mathbb{F_p}$ with product $(u,a)*(v,b)=(uv, a+b+< u, v >)$. Therefore every elementary formula $\theta$ in the signature of $G$ can be rewritten as an elementary formula $\tau(\theta)$ in the theory of $(V, <.,.>)$ (the formula $\tau(\theta)$ holds in $V$ iff $\theta$ holds in $G$). Since the elementary theory of the latter is decidable, the elementary theory of $G$ is decidable too.

share|improve this answer
    
@ Drike: Mark's reply is very useful, and I think it answers the comment you made on my answer. A small complement: the group structure Mark describes on $V \times F_p$ is precisely what is often called the Heisenberg group of the pair $(V,<.,.>)$. –  Alain Valette Nov 19 '11 at 17:30
    
@all: cristal clear ! Thanks ! –  Drike Nov 19 '11 at 18:47

Trying to understand the last sentence (I'm not a model-theorist!): all the examples of infinite extraspecial $p$-groups I could come up with, are Heisenberg groups over an $F_p$-vector space endowed with a non-degenerate skew-symmetric bilinear form...

If I were to prove that any infinite extraspecial $p$-group is of this form, I would define $V$ as the quotient $G/Z(G)$, and the bilinear form $B(X,Y)$ (for $X,Y\in G/Z(G)$) by $B(X,Y)=[x,y]\in Z(G)=F_p$, where $x,y\in G$ are pre-images of $X,Y$ under the quotient map $G\rightarrow G/Z(G)$. This is clearly well-defined, skew-symmetry and non-degeneracy are obvious, and I have no time to check bilinearity, but I think that it can be left as exercise.

EDIT: Bilinearity follows from standard identities on commutators, see e.g. http://en.wikipedia.org/wiki/Commutator

share|improve this answer
1  
@Alain Valette. Thanks for the answer. This shows that $G/Z(G)$ can be viewed as a vector-space over Fp equiped with a skew symmetric bilinear form, but I do not see why one can recover all the information about $G$ from this vector space only (using any "natural" operations : [], +, Fp quotients, finite cartesian products etc.) –  Drike Nov 19 '11 at 12:55

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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