The tag has no usage guidance.

learn more… | top users | synonyms

31
votes
3answers
2k views

Is there a nice explanation for this curious fact about cyclic subgroups?

Here's something that I noticed that quite surprised me. Let $G$ be a finite abelian group. Consider the following expression. $$ \nu(G) = \sum_{\substack{H \leq G \\ H \text{ is cyclic}}} |H| $$ It ...
31
votes
2answers
1k views

Richness of the subgroup structure of p-groups

Given a prime $p$ and $n \in \mathbb{N}$, let $f_p(n)$ be the smallest number such that there is a group of order $p^{f_p(n)}$ which all groups of order $p^n$ embed into. What is the asymptotic growth ...
13
votes
0answers
297 views

p-groups as rational points of unipotent groups

Is it true that every finite p-group can be realized as the group of rational points over $\mathbb{F_p}$ of some connected unipotent algebraic group defined over $\mathbb{F_p}$? For abelian p-groups, ...
12
votes
1answer
297 views

Variety of nilpotent Lie algebras or $p$-groups

Here's a couple of analogous questions, one in terms of finite-dimensional complex Lie algebras and one in terms of finite $p$-groups; I'd be interested in an answer to either: 1) Let $\mathcal{L}$ ...
10
votes
5answers
711 views

Automorphism Group of a p-group : Looking for a Reference

In the following post by DavidLHarden : See Here He quoted the following claim: "There is a theorem that says that if $p$ is a prime and $|G|=p^n $ , then $|AutG| $ divides $ \Pi_{k=0}^{n-1} (p^{n}-...
9
votes
3answers
747 views

faithful unipotent representations of (finite) $p$-groups

The title pretty much summarizes the question: does every $p$-group have a faithful unipotent representation (with coefficients in $\mathbb{F}_p$ or some finite extension thereof)?
9
votes
4answers
664 views

Classification of automorphism groups of groups of order $p^4$

For the purpose of classifying another algebraic structure which is parametrised by the choice of a group and of an automorphism I need the classification up to isomorphism of automorphism groups of p-...
9
votes
1answer
213 views

p-groups such that the center is contained in many cyclic subgroups

I'm looking for examples of $p$-groups $G$ with the following three properties: the center of $G$ is $\mathbb{Z}/p$, and $G^{\text{ab}} = (\mathbb{Z}/p)^n$ for some $n$, and for every $g \in G$ ...
8
votes
2answers
267 views

Which finite p-groups occur as commutators of finite p-groups?

Let $p$ be a prime number. For which finite $p$-groups $H$ is there a finite $p$-group $G$ such that $[G,G] \cong H$?
7
votes
3answers
441 views

Characters of p-groups

Berkovich mentioned the following result of Mann in his book on p-groups: The number of nonlinear irreducible characters of given degree in a p-group is divided by p-1. Do you know any reference for ...
7
votes
2answers
285 views

Uniform-in-p classification* of p-groups of order p^n for each fixed n?

To what extent is there/can there be a description that is uniform in p (for p sufficiently large) of the p-groups of order $p^n$, for each fixed n? Note 1: I used the word "description" rather ...
7
votes
2answers
861 views

Representation theory of a finite p-group over a field of characteristic p: dim of invariants =1 => dim of coinvariants = 1?

I am trying to understand the proof of Proposition 4 in S. Ullom, Integral normal bases in Galois extensions of local fields, Nagoya Math. J. Volume 39 (1970), 141-148. The PDF is available here: http:...
7
votes
1answer
309 views

Is $[729,57]$ a Sylow $3$-subgroup of some well-known group?

Let $G$ be the group $[729,57]$, using GAP's notation. I have so far two descriptions of the group: a presentation an embedding (not surjective!) of the group into a Sylow $3$-subgroup of the unit ...
7
votes
1answer
416 views

Maximal subgroups of a certain finite 2-group

The following came up in a problem on reconstruction of digraphs. I determined enough about the answer to satisfy the application completely, but still I am curious to know what the complete solution ...
7
votes
2answers
259 views

Is the free abstract group residually of rank d > 2?

Let $d \geq 2$ be an integer, and let $\mathcal{F}_d$ be the family of finite groups such that $G \in \mathcal{F}_d$ if and only if every subgroup of $G$ can be generated by at most $d$ elements. Is ...
6
votes
3answers
430 views

Union of conjugates of a subgroup

Let $G$ be a finite group, $H \leq G$ a proper subgroup. It is well known that the union of the conjugates of $H$ does not cover $G$. I would like to know of more precise results (even in special ...
6
votes
3answers
3k views

Number of Normal subgroups In a p-Group

Dear all, Does someone know of any paper/method that enables us counting/estimating the number of normal subgroups of some p-group of order $p ^n $ ($ n$ is some natural number ? ) . Is there anyway ...
6
votes
3answers
434 views

p-group with large center

Is there any characterization for $p$-groups of order greater than $p^3$ which center has index $p^2$? (One group whit this property if $M(p^n)$)
6
votes
1answer
344 views

Torsion in profinite groups

Is there a finitely generated profinite group $G$ with a closed subgroup of infinite index $K \leq G$ such that for every $g \in G$ there exists some $n \in \mathbb{N}$ for which $g^n \in K$ ? Can $G$...
6
votes
0answers
195 views

An example of a simple infinite 2-group

I've asked this question before on Mathematics, and they suggested me to ask here (Link). Is there an example of a simple infinite $2$-group? Informations If a $2$-group is Artinian I know that ...
5
votes
8answers
864 views

classification of $p$-groups

I have two questions regarding to $p$-groups. A $p$-group $G$ is said to be extraspecial of $G'=Z(G)$ has order $p$. Hence extraspecial groups are examples of $p$-groups with cyclic center. Of ...
5
votes
2answers
579 views

Center of finite metabelian p-groups

$\DeclareMathOperator\rk{rk}$ Let $G$ be a finite metabelian $p$-group, i.e. the commutator subgroup $G'$ of $G$ is abelian. Then I ask myself under which conditions does the following hold: $$\tag{$*...
5
votes
0answers
79 views

Random pro-p groups via iterated uniformly random central extensions

Inspired by this question on math.se, I want to understand the following construction of a random pro-$p$ group: We want to construct an inverse system $$\cdots \xrightarrow{\alpha_i} G_i \...
5
votes
0answers
219 views

A class 3 group of order 243

Let G be a group of order $243=3^5$. We denote by $(G_i)$ its lower central series and assume that $G$ has class $3$ and that $|G:G_2|=|G_3|=9$. We assume moreover that the cubing map factors as a (...
4
votes
4answers
1k views

Center of p-groups

Can one show that any abelian $p$-group (not necessarily finite) is the center of a $p$-group and of index $p$?
4
votes
3answers
404 views

Molien for modular representations?

Let $G$ be a finite group, and let $k$ be a field whose characteristic divides $\left|G\right|$. Let $\rho:G\to \mathrm{End} V$ be a (finite-dimensional) representation of $G$ over $k$. Prove or ...
4
votes
1answer
179 views

Finite solvable groups are generated by a nilpotent subgroup + K elements?

Is there a constant $K \in \mathbb{N}$ such that for every finite solvable group $G$, there exists a nilpotent subgroup $N \leq G$, and a subset $S \subseteq G$ with $|S| \leq K$, and $\langle N,S\...
4
votes
1answer
173 views

Finite p-groups and their fibered products

Is every finite $p$-group an epimorphic image of a fibered product of two finite $p$-groups which can be generated by $2$ elements?
4
votes
1answer
365 views

Generators of p-groups

Let $G$ be a finite $p$-group. Since we can embed $Z_2(G)/Z(G)$ in $Hom(G,Z(G))$, we have $d_2 \leq d(G)d(Z(G))$; where $d_2(G)=d(Z_2(G)/Z(G))$ and $d(G)$ denotes the minimal number of generators of $...
4
votes
3answers
227 views

Index of agemo subgroups in $p$-groups

Having a finite $p$-group $G$ ($p$ odd). we denote by $\Omega_1(G)$ the subgroup generated by all the elements of $G$ of order dividing $p$. Is there an example of such a group $G$, such that $|G:...
4
votes
1answer
190 views

Number of generators of the automorphism group of an abelian group

Let $G$ be a finite abelian $p$-group. What is known about the minimal number of generators of a $p$-sylow of $Aut(G)$? is it bounded in terms of $d(G)$ the minimal number of generators of $G$ (and ...
4
votes
1answer
195 views

Can every finite abelian $p$-group with duality pairing be written as cokernel of a symmetric matrix over the $p$-adic integers?

Let $G$ be a finite abelian $p$-group (where $p$ is a prime). Suppose there exists a symmetric bilinear map $\delta\colon G\times G\to \mathbb{Q}/\mathbb{Z}$ such that the induced map $g\to\langle g,\;...
4
votes
0answers
146 views

Is the Tensor/Exterior square $G\otimes G$ or $G\wedge G$ of infinite p-group also a p-group?

Let $G$ be an infinite countable p-group. Is it true that $G\otimes G$ or $G\wedge G$ are also p-groups? (where G acts on itself by conjugation). For simplicity, you can consider that $G=[G,G]$, and ...
4
votes
0answers
111 views

Is there a Noetherian profinite group of infinite rank?

Is there a profinite group $G$ such that any closed subgroup $H \leq G$ is finitely generated, but there is no $n \in \mathbb{N}$ such that every closed subgroup of $G$ can be generated by at most $n$ ...
3
votes
3answers
849 views

Representation theory of p-groups in particular upper tringular matrices over F_p

Finite p-groups - have p^n elements by definition. According to WP there is rich structure theory. Question: How far is representation theory of p-groups is understood? In case this question is too ...
3
votes
3answers
406 views

Normal abelian subgroups in p-groups

Given a group $G$, we denote by $T(G)$ the subgroup generated by all (maximal) normal abelian subgroups of $G$. Let define the series $(T_i(G))$ by $T_0(G)=1$ and $T_{i+1}(G)/T_i(G)=T(G/T_i(G)$, and $...
3
votes
1answer
124 views

p-groups with maximal class subgroup

Suppose $G$ is a finite non-abelian p-group of nilpotent class $c$. Is there a subgroup $H$ of nilpotent class $c$ and size $p^{c+1}$? If this is not true, is it possible to add some additional ...
3
votes
1answer
176 views

Representations of p-groups where 1 is never an eigenvalue

Fix some $n \geq 1$ and some prime $p$. I'm looking for finite $p$-groups $G$ and finite-dimensional complex representations $V$ of $G$ with the following two properties: The abelianization of $G$ ...
3
votes
4answers
688 views

Maximum value of the number of conjugacy classes of nonabelian p-groups with an abelian subgroup of index p

It is known that if $G$ is a nonabelian $p$-group of order $p^n$, with an abelian subgroup of index $p$, then the number $k(G)$ of conjugacy classes of $G$ can be as large as $p^{n-1} + p^{n-2} - p^{n-...
3
votes
1answer
159 views

Hall algebra for non-abelian p-groups ?

According to WP article on Hall algebras one counts the number of abelian subgroups in abelian group with fixed type of subgroup, group, quotient. Two things are claimed: 1) These numbers are ...
3
votes
0answers
146 views

On a problem of Berkovich

What is the real history of the following problem proposed by Berkovich [Y. Berkovich, Z.Janko, Groups of prime power order. Volume 2, Expositions in Mathematics, 56, Walter de Gruyter, New York, 2011]...
3
votes
1answer
263 views

A question on $p$-central $p$-groups

Let $p$ be a fixed prime. A group $G$ is termed $p$-central if every element of order $p$ in $G$ lies in the center. Having a finite $p$-group $G$ of rank $k$ (the least integer, such that every ...
2
votes
1answer
194 views

Union of conjugates in p-groups

Fix a prime number $p$. Is there a sequence $\{a_k\}_{k \in \mathbb{N}}$ of real numbers with $$\lim_{k \to \infty} a_k = 0$$ such that for any finite $p$-group $G$, and any subgroup $H \leq G$ with ...
2
votes
4answers
1k views

When a group ring is a local ring [closed]

Hi there, I'm stuck with my undergraduate thesis on the following proposition: If $k$ is a field of characteristic $p > 0$ and $G$ is a finite $p$-group, then the group ring $kG$ is local. In ...
2
votes
2answers
80 views

p-groups as finite union of disjoint normal abelian subgroups

I was interested in knowing if groups with following property have been studied( like what can be said about structure of the group) : "$G$ can be written as disjoint union of a given number of ...
2
votes
1answer
83 views

A characterization of almost relatively free, finite $p$-groups

Let $G$ be a finite minimally $d$-generated $p$-group. If $G$ is relatively free, that is $G$ is a quotient of the free group $F$ on $d$ generators by a fully invariant subgroup of $F$, then the ...
2
votes
2answers
459 views

p-group with abelian centralizer

I will be so thankful if someone helps me with the following question. There exists finite non-abelian p-groups G (except non-abelian groups of order $p^3$) with the following properties: all non-...
2
votes
2answers
247 views

P-group with abelian centralzer

I will be so thankful if someone help me about the following question. I need to know the presentation of a (if it is possible) family of finite non-abelian $p$-group $G$ with the follwing properties: ...
2
votes
0answers
165 views

Two $p$-groups whose automorphism groups have isomorphic Sylow $p$-subgroups

Fix a prime $p$, and let $M$ be the unique nonabelian group of order $p^3$ and exponent $p$. Let us denote by $E_n$ the elementary abelian group of rank $n$. Is it true that $\operatorname{Aut}(M \...
2
votes
0answers
119 views

Non left $k$-Engel elements in a nilpoent group always generate this group

Given a finite nilpotent group $G$ and let us denote by $L_n(G)$ the set of left $n$-Engel elements in $G$. Assume that $n$ is the smallest positive integer such that $L_n(G)=G$. Is it true that $G$ ...