In the name of God
Dear Gap Forums,
Some days ago, I posed the following question in
GAP Forum:
Let $n>3$ be a postive integer and let $G=RX$ be an extention of an elementary abelian $p$-group by an abelian $p'$-subgroup $X$ such that $X$ acts faithfully on $R$ and $R=[R,X]$ and $|[R,x]|\leq n$ for all $x\in X$. It can be proved that $|X|\leq n-1$ and $|R|\leq n^{\log_2(n-2)}$. Is it true that $|R|\leq n^2$?
I firstly thought that the answer is "No", and perhaps
we can produce an example with the aid of GAP, so I
decided for posing this question in the forum, but
now, I think
the answer is "yes". And I found it as follows:
One can see the following inequality:
$$1/|X| \sum_{x\in X} dim C_R(x) \leq 1/2 dim R$$ Thus there is an element $x\in X$ such that $dim C_R(x) \leq 1/2 dim R$. On the other hand $R=C_R(x) \times [R,x]$, thus $|C_R(x)|\leq |[R,x]|\leq n$, so the result.
With best wishes for all you
Alireza Abdollahi
=====
Alireza Abdollahi
Department of Mathematics
University of Isfahan,
Isfahan 81744,Iran
e-mail: alireza_abdollahi@yahoo.com
URL: http://www.abdollahi.8m.net
__________________________________________________ Do You Yahoo!? Check out Yahoo! Shopping and Yahoo! Auctions for all of your unique holiday gifts! Buy at http://shopping.yahoo.com or bid at http://auctions.yahoo.com