All Questions

35 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
6 votes
0 answers
103 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 \...
user68822's user avatar
  • 381
6 votes
0 answers
192 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$ ...
Pablo's user avatar
  • 11.2k
6 votes
0 answers
406 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 it ...
W4cc0's user avatar
  • 599
5 votes
0 answers
293 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 (...
user avatar
4 votes
0 answers
156 views

The rank of indecomposable finite abelian 2-group

$\DeclareMathOperator\rank{rank}$Let $P$ be a finite $p$-group. The rank of $P$ is $\log_{p}|P/\Phi(P)|$ where $\Phi(P)$ is the Frattini subgroup of $P$, we write $\rank(P)=\log_{p}|P/\Phi(P)|$. Let a ...
user44312's user avatar
  • 385
4 votes
0 answers
169 views

On 2-groups of exponent 4 and class 2

Suppose A is a 2-group with the following properties: $\lvert A \rvert = t^3$ with $t$ some even power of $2$; $A$ and $Z(A)$ (the center of $A$) are of exponent $4$; $\lvert Z(A) \rvert = t$ and $[A,...
THC's user avatar
  • 4,025
4 votes
0 answers
174 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 ...
Alin Galatan's user avatar
4 votes
0 answers
189 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]...
S. Mohsen Ghoraishi's user avatar
3 votes
0 answers
65 views

Admissibility of Ulm's invariants

Let $G$ be a reduced abelian $p$-group. We set $G_0=G$. Let $\alpha$ be an ordinal. Inductively, if $\alpha=\beta+1$ is a successor ordinal, we define $$G_{\alpha}=pG_{\beta}.$$ If $\alpha$ is a limit ...
Nini's user avatar
  • 31
3 votes
0 answers
146 views

Units in group rings

Let $F$ be any field with $p$ elements and $G$ be any finite $p$-group, combining together they form a group ring $FG$. And $V(FG)$ denotes group of units of coefficient-sum equal to 1 in $FG$. We ...
Himanshu Setia's user avatar
2 votes
0 answers
160 views

Exhausting a free pro-p group

Recall that for a profinite group $G$ we define the subgroup rank to be $$\sup \{d(H): H \leq_c G\}$$ where $d(H)$ stands for the minimal cardinality of a set of topological generators of $H$. Let $p$...
Pablo's user avatar
  • 11.2k
2 votes
0 answers
117 views

Bases for free pro-p groups

Let $p$ be a prime number, $F$ a free nonabelian finitely generated pro-$p$ group, $L \lhd_o F$ and $Y$ a basis for $L$ with $y \in Y$. Is there a basis $X$ for $F$ such that $y$ is in the abstract ...
Pablo's user avatar
  • 11.2k
2 votes
0 answers
201 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 \...
Yassine Guerboussa's user avatar
2 votes
0 answers
129 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$ ...
Yassine Guerboussa's user avatar
1 vote
0 answers
115 views

Is this class of $p$-groups large?

Call a $p$-group $G$ good if for each subgroups $H, H_1, H_2\subseteq G$ for which $H_1\subseteq H$, $H_2\subseteq H$, $|H_1| = |H_2| = |H|/p$, $H_1\not= H_2$, $H'\not=\{e\}$ holds we have that there ...
solver6's user avatar
  • 291
1 vote
0 answers
126 views

Structure/description of a finitely presented group

I am unable to see the structure of the following finitely presented group. $$\langle a,b,c,d : [a,b]=c=a^p,\ [c,b]=c^p=d^p,\ b^{p^2}=c^{p^2}=1 \rangle$$ I have tried in GAP, but it is not showing any ...
Himanshu Setia's user avatar
1 vote
0 answers
84 views

On isoclinism classes of finite p-groups

With reference to James, Rodney, The groups of order (p^6) ((p) an odd prime)., Math. Comput. 34, 613-637 (1980). ZBL0428.20013., My question is can we get isoclinism class $\phi_2$ for a finite p-...
Himanshu Setia's user avatar
1 vote
0 answers
64 views

When is the following preorder on the set of central elements of order 2 a total preorder?

Let $G$ be a finite 2-group. Denote by $S$ the set of central elements of $G$ of order exactly $2$. The relation $a\leq b$ iff there is an endomorphism of $G$ sending $b$ to $a$ defines a preorder on $...
user avatar
1 vote
0 answers
65 views

Number of conjugacy classes of unit groups of modular group algebras

Let $n$ be a natural number, $p$ a prime number, $G$ a finite $p$-group and $K$ a finite field with $p^n$ elements. We focus on the group $1+J(KG)$, where $J(KG)$ is the Jacobson radical of $KG$, ...
Sven Wirsing's user avatar
1 vote
0 answers
164 views

Computing the class-preserving automorphism group of finite $p$-groups

Let $G$ be a finite non-abelian $p$-group, where $p$ is a prime. An automorphism $\alpha$ of $G$ is called a class-preserving if for each $x\in G$, there exists an element $g_x\in G$ such that $\alpha(...
Rohit's user avatar
  • 41
1 vote
0 answers
30 views

Defect of subnormality in unit groups of modular group algebras

Let $p$ be a prime number, $G$ a finite p-Group and $K$ a finite field with $char(K)=p$. It is well-known that the group $1+rad(KG)$ is a p-group containing $G$. $G$ is normal in $1+rad(KG)$ if and ...
Sven Wirsing's user avatar
1 vote
0 answers
163 views

about a strange property of p-groups of maximal class

I am trying to look for a finite $p$-group of maximal class of order at least $p^{2p+1}$ exponent at least $p^3$ which possibly has the following property : If s is an element in $G-G_1$ ($G_1$ is ...
Siddhartha's user avatar
1 vote
0 answers
141 views

Conjugacy classes of non-normal subgroups of a finite $p$-group

Let $G$ be a finite $p$-group of derived length $d$ and nilpotency class $c$. Suppose that $G$ is not a Dedekind group (i.e., possesses at least one non-normal subgroup). Suppose that $G^{(d-1)}$ has ...
sebastian's user avatar
  • 457
1 vote
0 answers
234 views

Cyclic subgroups of finite $p$-groups

Let $G$ be a finite non-Dedekind $p$-group with non-cyclic center, where $p$ is an odd prime. By $[\langle x\rangle]_G=\{g^{-1}\langle x\rangle g\ |\ g\in G\},$ I mean the conjugacy class of the ...
sebastian's user avatar
  • 457
1 vote
0 answers
130 views

Dense free subgroups

Let $F$ be a free pro-$p$ group (for a prime number $p$) on a finite set $X$, $\Phi$ the abstract subgroup generated by $X$, $\{1\} \neq N \lhd_c F$. Is it possible that $\Phi \cap N = \{1\}$?
Pablo's user avatar
  • 11.2k
1 vote
0 answers
150 views

Lower central series in a free pro-p group

Let $F$ be a nonabelian finitely generated free pro-$p$ group, $H \leq_c F$ of infinite index. Denote by $\{F_n\}_{n \in \mathbb{N}}$ the lower central series of $F$, and set $r_n = [F : F_nH]$. Is ...
Pablo's user avatar
  • 11.2k
1 vote
0 answers
80 views

A bound on the size of the center

Let $p$ be a prime number, $F$ a free pro-$p$ group, $H \leq_c F$ of infinite index. Can it be that $$\sup_{N \lhd_o F} |Z((F/N)/C_{F/N}(HN/N))| < \infty ?$$
Pablo's user avatar
  • 11.2k
1 vote
0 answers
131 views

The number of $p$-groups of order $\leq p^n$ that split over a normal abelian subgroup

How can one estimate the number of $p$-groups of order $\leq p^n$ that split over a normal abelian subgroup? Moreover, let $s(n,p)$ be the number of such groups, and let $f(n,p)$ denotes the number ...
Yassine Guerboussa's user avatar
1 vote
1 answer
300 views

Subgroups of the union of conjugates

This question is an attempt to find a version of this question with a positive answer. In this question, we ask if one can find big subgroups in the union of conjugtes of small subgroups of finite $p$-...
Pablo's user avatar
  • 11.2k
0 votes
0 answers
40 views

Dimension inequality for primary groups

Let $p$ be a prime number and $G$ an abelian group. The group $G$ is said to be $\textbf{primary}$ if every element of $G$ has order power of $p$. For every natural number $n$, we define $$\ker(p^n)=\{...
Nini's user avatar
  • 31
0 votes
0 answers
85 views

Invariants of primary groups

In Kaplansky's book "Infinite Abelian Groups", an abelian group $G$ is called primary if every element has order power of $p$ for some fixed prime number $p$. It is well-known that every ...
Nini's user avatar
  • 31
0 votes
0 answers
83 views

The relation between two characteristic subgroups in finite p-group

Suppose $G$ is a finite $p$-group. Let \begin{align*} \mho_{1}(G)=\langle a^p\mid a\in G\rangle,\quad\Omega_{1}(G)=\langle a\in G\mid a^p=1\rangle. \end{align*} There are examples such that $|G|\leq |\...
gdre's user avatar
  • 71
0 votes
0 answers
68 views

Name of the power of the exponent of a $p$-group

Is there a name for the power of the exponent of a $p$-group? So, if $\mathrm{exp}(G):=\max\lbrace o(g)|g\in G\rbrace=p^k$ for some $k\in\mathbb{N}$, is there a name for the $k$? Additionally, is ...
Jens Fischer's user avatar
0 votes
0 answers
47 views

Existence of maximal topologically characteristic subgroup of infinite index of pro-$p$ groups

Let $G$ be a topologically finitely generated infinite pro-$p$ group. Suppose that $G$ is not just-infinite. Does the group $G$ always have a maximal topologically characteristic subgroup of infinite ...
stupid boy's user avatar
0 votes
0 answers
327 views

Normal subgroups of $p$-groups

I was reading Professor Yukov Berkovich' paper "On Subgroups of Finite $p$-groups" when I stumled upon the following theorem: Let $G$ be a nonabelian $p$-group with cyclic Frattini subgroup, $|\Phi(...
Joakim Færgeman's user avatar