# Questions tagged [nilpotent-groups]

The nilpotent-groups tag has no usage guidance.

56
questions

**0**

votes

**1**answer

63 views

### Rings or algebras with many nilpotent elements and efficient computation

Crossposted from quantum.SE
where comment appears to suggest that solving modulo 2 might
be possible.
Searching the web for '"quantum computer" nilpotent'
returns many results, so maybe the ...

**1**

vote

**1**answer

98 views

### Presentations of groups of order $p^4$

In the (xi) group of the classification of groups of order $p^4$ given by W.Burnside in his book," Theory of Groups Of Finite Order". The group ($\mathbb{Z_{p^{2}}}\rtimes \mathbb{Z_{p^{}}}) ...

**4**

votes

**0**answers

109 views

### Linear vs algebraic unipotent quotient stacks

Consider algebraic stacks of the form $\mathbb{C}^n/G$ where $G$ is a unipotent group satisfying either
Type 1: $G$ acts on $\mathbb{C}^n$ via affine linear transformations
Type 2: $G$ acts on $\...

**6**

votes

**1**answer

157 views

### Why do we say the Fitting subgroup/generalized Fitting subgroup control the structure of a group?

I’m learning the Fitting subgroup these days. I’m interested in this topic and particularly in the role that it plays in the structure of groups. Many people on MSE mentioned that the Fitting subgroup/...

**1**

vote

**0**answers

80 views

### Nilpotency of topological groups

A group $G$ is said to be nilpotent if $G$ has a central series of finite length, that is, a series of normal subgroups
$$
\{1\} = G_0 \triangleleft G_1 \triangleleft \cdots \triangleleft G_n = G
$$
...

**3**

votes

**1**answer

148 views

### Free Lie algebra and nilpotent groups in Rothschild and Stein's paper

In
Rothschild, Linda Preiss; Stein, Elias M., Hypoelliptic differential operators and nilpotent groups, Acta Math. 137(1976), 247-320 (1977). ZBL0346.35030. PDF at archive.ymsc.tsinghua.edu.cn
...

**1**

vote

**0**answers

39 views

### Descending FC series

In analogy to the central series one can define a FC series as a sequence $A_i$ of normal subgroups such that
$$
\{1\} = A_0 \lhd A_1 \lhd A_2 \lhd \cdots \lhd A_n = G
$$
such that $A_{i+1}/ A_i$ is ...

**5**

votes

**0**answers

131 views

### Finitely generated nilpotent groups as cusp groups

I recently learned about the following question, asked by I. Kapovich :
Is there an example of a group $G$ which is hyperbolic relative to some parabolic subgroups that are nilpotent of class $\geq 3$...

**7**

votes

**1**answer

270 views

### What is the simplest known finite presentation of a free nilpotent group?

Finitely generated nilpotent groups are always finitely presented. This is true for abelian groups, and can be shown by induction for nilpotent ones, using the classical lift of a presentation of $N$ ...

**3**

votes

**1**answer

341 views

### Malcev's paper “On a class of homogeneous spaces” in English

I am struggling to find the English translation of Malcev's paper "On a class of homogenous spaces" providing foundational material for nil-manifolds. To be precise this paper: Malcev, A. I. On a ...

**2**

votes

**0**answers

87 views

### Homeomorphism type of the horofunction boundary for nilpotent Lie groups

Consider a metric space $(X,d)$ and fix a base point $w$. A horofunction is a function of the form
$$\beta_y(x)=d(x,y)-d(w,y).$$
The map $y\mapsto \beta_y$ is an embedding of $X$ into the space of $1$-...

**12**

votes

**0**answers

227 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

**1**answer

48 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

48 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

353 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

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

**12**

votes

**3**answers

620 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} = ...

**24**

votes

**0**answers

800 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

199 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

122 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

67 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

82 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

108 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

347 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

282 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

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

**9**

votes

**1**answer

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

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

**7**

votes

**2**answers

653 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

255 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

134 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

205 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

210 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

764 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

397 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

108 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

200 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

230 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

115 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

323 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

195 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

410 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

384 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

509 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

602 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

288 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

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

**7**

votes

**0**answers

919 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

303 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

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