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

Let $G$ be a finite group. Define $d:G\times G\longrightarrow\mathbb{N}$ by $d(x,y)=o(xy^{-1})-1, \forall\, x,y\in G$. Then $d$ is a metric on $G$ if and only if $$(*)\hspace{5mm}o(ab)<o(a)+o(b), \forall\, a,b\in G.$$It is easy to see that an abelian group satisfies $(*)$ if and only if it is a $p$-group. Moreover, if an arbitrary group $G$ satisfies $(*)$, then all its elements must be of prime power order, i.e. $G$ must be a $CP$-group (a classification of these groups can be found here: http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.45.3738&rep=rep1&type=pdf). I have some difficulties to check whether a $CP$-group satisfies $(*)$. Is there another way to proceed? Also, is it interesting to study such a metric on finite groups?

Additional question: Is it true that all finite groups satisfying $(*)$ are solvable? By the answer below it follows that this class contains no nonabelian simple CP-group (in fact, no nonabelian simple group). Is it possible that a group in the other class (ii) of nonsolvable CP-groups to satisfy $(*)$?

share|improve this question
2  
What is $o(g)$? –  Alex Degtyarev Mar 22 at 8:11
1  
$o(g)$ is the order of $g\in G$. –  Marius Tarnauceanu Mar 22 at 11:37

1 Answer 1

up vote 6 down vote accepted

The group ${\rm PSL}(2,7)$ seems to be a $CP$ group according to your definition, but it contains an element $a$ of order $2$ and an element $b$ of order $3$ whose product $ab$ has order $7,$ so you do not have a metric in this group. In fact, as I write, I realise that in a group $G$ where $d$ defines a metric, the product of any two elements of order $2$ can have order at most $3.$ This seems to exclude $G = {\rm PSL}(2,q)$ as a possibility whenever $q >3.$ Also, the Suzuki groups (the only non-Abelian simple groups of order prime to $3$) are excluded, as they always contain a dihedral subgroup of order $10.$

Later edit: note that the structure of a Sylow $2$-subgroup $S$ of a group $G$ such that $d$ defines a metric is extremely restricted. The elements of order at most $4$ in $S$ form a subgroup, and all involutions of $S$ commute with each other. Thus $S$ has no dihedral subgroup of order $8$ and no generalized quaternion subgroup of order $16$ or more. Even later edit: note also that by an earlier remark, if $t$ and $u$ are involutions of $G,$ then either $t$ and $u$ are conjugate (via an element of order $3$), or else $t$ commutes with every $G$-conjugate of $u.$

share|improve this answer
    
Thank you very much. I continue to check whether ${\rm PSL}(3,4)$, $M_{10}$, or the groups in (ii)-(v) satisfy $(*)$. Remark: $(*)$ is weaker than the condition studied in one of my previous papers (see math.uaic.ro/~martar/pdf/articole/articol%2049.pdf). –  Marius Tarnauceanu Mar 22 at 16:49
    
Well, $M_{10}$ contains $A_{6}$ which contains $A_{5},$ which does not satisfy $*$. Also ${\rm PSL}(3,4)$ contains ${\rm PSL}(2,4) \cong A_{5},$ which does not satisfy $*$. –  Geoff Robinson Mar 22 at 17:05
    
Thanks again. In this way, the class of groups satisfying $(*)$ is getting smaller! –  Marius Tarnauceanu Mar 22 at 18:00

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.