# Questions tagged [nilpotent-groups]

The nilpotent-groups tag has no usage guidance.

**10**

votes

**0**answers

193 views

### Can the orbit with respect to a rotation on the torus hit an algebraic variety infinitely often?

Question: Does there exist a $d$-tuple $\alpha = (\alpha_1,\dots,\alpha_d) \in \mathbb{R}^d$ (with $1,\alpha_1, \dots,\alpha_d$ linearly independent over $\mathbb{Q}$) and an algebraic variety $V \...

**2**

votes

**0**answers

20 views

### Defect of subnormality and repeated normalizer series

Let $G$ be a a finite group and $S$ a subnormal subgroup of $G$. The lenght of a fastest chain of subgroups $(U_i)_{1\le i\le n}$ such that $U_1=S$, $U_i$ normal in $U_{i+1}$ and $U_n=G$ is called the ...

**2**

votes

**0**answers

32 views

### The nilpotentizer of the Hirsch-Plotkin radical in a finitely generated poly-(locally nilpotent) group

Let $G$ be a radical group (a group having a normal series with locally nilpotent factors) and $H$ its Hirsch Plotkin racial (i.e the locally nilpotent radical of $G$). It is well known that $C_G(H)\...

**9**

votes

**0**answers

308 views

### (Torsion in) homology of free nilpotent groups

It is known that for free $k$-step nilpotent group on $r$ generators $N(r, k)$ its integral homology is torsion-free in degrees $\leq 3$ (obvious for 1 and 2, Igusa&Orr computations for 3). ...

**5**

votes

**1**answer

126 views

### Harmonic analysis on nilpotent Lie groups and the Campbell-Hausdorff formula

I am trying to understand the non-commutative analysis for nilpotent Lie groups, so I've been reading Corwin's and Greenleaf's book on the representation theory of nilpotent groups and going through ...

**8**

votes

**3**answers

389 views

### Explicit formulas for Carnot-Carathéodory distances on Carnot groups

Let $G$ be a Carnot group (aka stratified group), so that $G$ is a connected and simply connected finite-dimensonal Lie group, whose Lie algebra $\mathfrak{g}$ admits a decomposition $\mathfrak{g} = ...

**18**

votes

**0**answers

482 views

### Is every $p$-group the $\mathbb{F}_p$-points of a unipotent group

Let $\Gamma$ be a finite group of order $p^n$. Is there necessarily a unipotent algebraic group $G$ of dimension $n$, defined over $\mathbb{F}_p$, with $\Gamma \cong G(\mathbb{F}_p)$?
I have no real ...

**1**

vote

**1**answer

159 views

### Compact non-connected nilpotent Lie subgroup of $O(n)$?

Let $G$ be a compact non-connected nilpotent Lie subgroup of $O(n)$. We know that $G_0$, its identity component, is always a torus. Is it true that $G_0$ is always central in $G$?
What about general $...

**1**

vote

**0**answers

104 views

### Reference request for the list of nilpotent subgroups of SU(2)?

It's not hard to show that all non-abelian nilpotent subgroups of $SU(2)$ are actually finite and in fact are conjugate to one of the generalized quaternion groups of order a power of two, $$Q_{2^n} =...

**2**

votes

**0**answers

65 views

### Operators associated with unitary representations of nilpotent Lie group

Let $G$ be a nilpotent Lie Group, and $\pi:G\to B(\mathcal H)$ be an irreducible unitary representation on the Hilbert space $\mathcal H$. One can use the Bochner integral to define a linear map as ...

**1**

vote

**1**answer

79 views

### Relation between flat and nilpotent structures on fibers?

When collapsing Riemannian manifolds under suitable curvature conditions, two types of structure arise on the fibers: flat structures and nilpotent structures. This depends on the scale at which one ...

**4**

votes

**0**answers

92 views

### Order problem in nilpotent groups

Let $G$ be a f.g. nilpotent group. I wanted to know if the order problem (given $g \in G$, deciding if there exists $n$ s.t. $g^n=e$) is decidable in $G$? In such a group, the word problem is ...

**7**

votes

**0**answers

311 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 its Chevalley-Eilenberg dg-algebra. By homotopy transfer, there exists a structure of an $A_{\infty}$-algebra on ...

**1**

vote

**2**answers

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

**9**

votes

**2**answers

405 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

874 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 \mathbb{Q}...

**2**

votes

**1**answer

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

**6**

votes

**2**answers

514 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

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

**1**

vote

**1**answer

127 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 $...

**5**

votes

**1**answer

201 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\...

**1**

vote

**3**answers

185 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?

**2**

votes

**1**answer

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

**13**

votes

**1**answer

355 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}$ ...

**1**

vote

**0**answers

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

**0**

votes

**0**answers

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

**7**

votes

**1**answer

227 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 $Z(H)...

**5**

votes

**0**answers

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

**3**

votes

**1**answer

293 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 (i....

**1**

vote

**0**answers

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

**5**

votes

**2**answers

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

**3**

votes

**2**answers

378 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)$ ...

**13**

votes

**1**answer

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

**3**

votes

**1**answer

572 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

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

**2**

votes

**0**answers

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

**4**

votes

**0**answers

822 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

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

**13**

votes

**0**answers

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

**1**

vote

**1**answer

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

**23**

votes

**2**answers

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

**6**

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

**3**

votes

**2**answers

1k 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 ...

**8**

votes

**1**answer

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