The nilpotent-groups tag has no usage guidance.

**21**

votes

**2**answers

803 views

### Nilpotency of a group by looking at orders of elements

For any finite group $G$, let
$$\theta(G) := \sum_{g \in G} \frac{o(g)}{\phi(o(g))},$$
where $o(g)$ denotes the order of the element $g$ in $G$, and where $\phi$ is the Euler totient function.
It is ...

**13**

votes

**0**answers

354 views

### Nilpotent pro-$p$ groups

Is it true that every finitely generated (topologically) torsion free nilpotent pro-$p$ group is isomorphic to a subgroup of $U_d(\mathbb{Z}_p)$, the group of $d\times d$-upper triangular matrices ...

**12**

votes

**1**answer

291 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

**0**answers

305 views

### Characteristic subgroup of nilpotent group that is not invariant under powering

I want an example of a nilpotent group $G$, a characteristic subgroup $H$, and a prime number $p$ such that:
$G$ is $p$-powered, i.e., every element of $G$ has a unique $p^{th}$ root in $G$.
$H$ is ...

**8**

votes

**2**answers

222 views

### Quasi-isometric rigidity of Nil

Let $Nil$ be the unique simply connected non-abelian three-dimensional nilpotent Lie group, i.e. the group of upper triangular matrices with all the eigenvalues equal to 1 (this group is also known as ...

**8**

votes

**1**answer

574 views

### Largest possible order of a nilpotent permutation group?

I'm trying to obtain a bound for the order of some finite groups, and part of it comes down to the order of a permutation group of degree $n$ that is nilpotent. I imagine these have to be much ...

**7**

votes

**1**answer

195 views

### Subgroups of Nilpotent groups with prescribed center

Let $G$ be a torsion-free, finitely-generated, nilpotent group of nilpotency class at least 3. Does there exist a normal subgroup
$N\leq G$ such that $G/N\cong \mathbb{Z}$ and $Z(G)=Z(N)$? (By ...

**6**

votes

**1**answer

466 views

### Some questions about the Malcev completion

Let $G$ be an abstract group. The Malcev completion $\widehat{G}$ of $G$ (over $\mathbb{Q}$) is the set of group-like elements in the complete Hopf algebra $\widehat{\mathbb{Q}[G]} = \lim_n ...

**5**

votes

**5**answers

2k views

### Nilpotent group with ascending and descending central series different?

This may turn out to be a bit embarassing, but here it is. It is probably not true that the ascending and descending central series (*) of a nilpotent group have the same terms. (Or at least one of ...

**5**

votes

**2**answers

333 views

### Maximal $p$-subgroups in nilpotent groups

By using Zorn's Lemma one can establish the existence of maximal $p$-subgroups in any group, even infinite. Using this existence, exactly as in the finite case, it is easy to show that in a nilpotent ...

**4**

votes

**1**answer

176 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 ...

**4**

votes

**2**answers

300 views

### Quotients of finitely generated nilpotent groups

Is the following fact true?
Let $N$ be a finitely generated nilpotent group, and denote its lower central series by $(N_r)_{r\ge 1}$, that is, $N_1=N$ and $N_{k+1}=[N,N_k]$ is the ...

**4**

votes

**1**answer

172 views

### Nilpotent of class 2 free product

Question. How is the nilpotent of class 2 (nil-2) free product of groups defined?
I came across this construction reading the following paper.
Alan H. Mekler (1981), Stability of nilpotent groups of ...

**4**

votes

**0**answers

108 views

### Regularity of polynomial growth of groups

Let $G$ be a finitely generated group of polynomial growth. This means that the size $B_n$ of the ball of radius $n$ satsifies:
$$
A n^d \leq B_n \leq Bn^d
$$
for some constants $A$, $B$.
My question ...

**4**

votes

**0**answers

579 views

### Computational complexity of multiplication in a nilpotent group?

What is the computational complexity of multiplication in a Carnot group ?
Background: A Carnot group is a real nilpotent Lie group $N$ whose Lie algebra $Lie(N)$ admits a direct sum decomposition
...

**3**

votes

**2**answers

370 views

### element of order n such that $\pi(n)=\pi(G)$, where $\pi(n)$ denote the prime divisors of $n$

Hello. I thank for your answer, in advance.
Let $G$ be a finite group and $G$ has an element of order $n$ such that $\pi(n)=\pi(G)$
where $\pi(n)$ denote the set of prime divisors of $n$ and $\pi(G)$ ...

**3**

votes

**2**answers

961 views

### Are higher dimensional Heisenberg groups free nilpotent?

I know that the Heisenberg group { x,y | [x,[x,y]]=[y,[x,y]]=1 } is free nilpotent; what
about the higher dimensional ones? Do the higer dimensional Heisenberg groups have nice presentations? By ...

**3**

votes

**2**answers

265 views

### Analyzing words in a “free” group of nilpotency class 2

Suppose that we have a group $G$ generated by a set $S$ of elements with the only family of relations being that all commutators are central. Equivalently, $G$ is the largest group of nilpotency ...

**3**

votes

**1**answer

225 views

### Stable homotopy of classifying space for nilpotent groups

Let $BG$ denote the classifying space of a (discrete) group and $BG_+$ its disjoint union with a point.
Question: What is known about the stable homotopy groups $\pi^S_*(BG_+)$ ?
If $G$ is finite ...

**3**

votes

**1**answer

390 views

### On Canonical generators of torsion free nilpotent group

I read somewhere that Maltcev proved that for any finitely generated torsion free Nilpotent group $G$ there are canonical generators, i.e.
$g_{1},\ldots,g_{k}$ such that any $g \in G$ can be written ...

**3**

votes

**1**answer

223 views

### Maximal nilpotent subgroups of SO(n,1)

For the Lie group $SO(n,1)$ I believe the maximal nilpotent subgroups are conjugate to either a diagonal group times a compact group or a unipotent group times a compact group. In either case the ...

**3**

votes

**0**answers

103 views

### Reconstructing a nilpotent Lie algebra from its cohomology with $A_{\infty}$-structure

Let $L$ be a nilpotent Lie algebra (over a field of char 0) and $CE^{\bullet}(L)$ be it's Chevalley-Eilenberg dg-algebra. By homotopy transfer, there exists a structure of an $A_{\infty}$-algebra on ...

**2**

votes

**1**answer

93 views

### Just-not-nilpotent-by-compact quotient of a locally compact group

It is known (and not complicated to prove) that for a finitely generated not virtually nilpotent group $G$, we can pass to a quotient $G/N$ of $G$, such that the quotient is just not virtually ...

**2**

votes

**0**answers

96 views

### Extending a representation to a finite little group

I have a question related to Mackey theory applied to discrete nilpotent groups which are not torsion-free and are infinite.
Let us suppose that $G$ is a type I infinite discrete nilpotent group ...

**1**

vote

**2**answers

137 views

### p-groups and 2-generated abelian images

Let $p$ be a prime number. Is there a finite nonabelian $p$-group $G$ such that any finite epimorphic $2$-generated image of $G$ is abelian?

**1**

vote

**2**answers

215 views

### Nilpotency of Lie Algebra from Structure Constants

Suppose we have a Lie algebra with structure constants
$$\mathrm{d}e^i=\sum_{j<k}a_{ijk}e^j\wedge e^k$$
for some coefficients $a_{ijk}$.
In this setting, how may be checked (perhaps ...

**1**

vote

**1**answer

361 views

### Homotopy classification of maps into nilmanifolds

I am interested in answers or reference in the literature to the following problem:
Classify up to homotopy all maps $A\to X$, where $A$ is a closed oriented manifold and $X$ is a closed ...

**1**

vote

**1**answer

92 views

### Are Carter subgroups nilpotent projectors?

R. Carter prooved that in finite soluble groups $G$ Carter subgroups $C$ exist and that they are conjugated. Furthermore they are exactly the nilpotent projectors: For every normal subgroup $N$ of ...

**1**

vote

**1**answer

628 views

### Word metrics and finite index subgroups

Suppose that we are given some finitely generated group $ G $ and some finite index subgroup of it $ H $. Given a finite generating symmetric generating set $ S \subset G $, we can define the word ...

**1**

vote

**0**answers

72 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 ...

**1**

vote

**0**answers

147 views

### infranilmanifolds: harmonic forms parallel?

I am studying Lott's paper : "On the spectrum of a finite volume negatively-curved manifold" and the satement is following:
We have an compact infranilmanifold $N$ which is finitely covered by a ...

**0**

votes

**0**answers

8 views

### Does Weil-Brezin transform provide Fourier basis in C^0 on Heisenberg manifold?

I know that $L^2$ functions of the Heisenberg nilmanifold are spanned by images of the Weil-Brezin transform. Is it true that they are also dense in C^0? Is there a reference for this?

**0**

votes

**0**answers

119 views

### A normal form theorem for presentations of finite $p$-groups of nilpotency class $2$?

When constructing examples of nonabelian finite $p$-groups with abelian automorphism group (and certain other desired properties), the authors of papers like http://arxiv.org/pdf/1304.1974v1.pdf leave ...