Questions tagged [nilpotent-groups]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
-2
votes
0answers
55 views

Classification of minimal 2-groups with special property

I would greatly appreciate it if you kindly give me some advice to tackle the below situation. Let $G$ be the non-abelian 2-group $$G=\langle a, b, c \mid a^{2^n}=b^{2^m}=c^2=1, [a,b]=c, [a,c]=1, [b,c]...
5
votes
0answers
103 views

Finitely generated nilpotent groups with hyperbolic automorphisms

$\DeclareMathOperator\Out{Out}\DeclareMathOperator\GL{GL}$ Let $G$ be a finitely generated nilpotent group. We call an automorphism of $G$ hyperbolic if the induced automorphism of the free part of ...
10
votes
2answers
181 views

Residual finiteness for modules over group rings

Let $G$ be a finitely generated residually finite group and let $M$ be a finitely generated $\mathbb{Z}[G]$-module. Question: Must $M$ be residually finite in the sense that for all nonzero $x \in M$, ...
5
votes
1answer
138 views

Local vs global nilpotence class (Lazard correspondence)

The Lazard Correspondence is often phrased (for simplicity) for $p$-groups of nilpotence class $c < p$, but it works more generally whenever every 3-generated subgroup has nilpotence class $< p$,...
7
votes
1answer
73 views

Universal enveloping algebra of Malcev Lie algebra associated to nilpotent group

Let $G$ be a finitely generated torsion-free nilpotent group. The Malcev completion of $G$ is a nilpotent Lie group $N$ into which $G$ embeds as a lattice. One way to construct this is to take the ...
7
votes
1answer
121 views

When is a nilpotent Lie algebra isomorphic to the associated graded of its lower central series?

All Lie algebras in this question are finite-dimensional and defined over a field $k$ of characteristic $0$ which I'm happy to take to be $\mathbb{R}$ or $\mathbb{C}$. $\DeclareMathOperator\gr{gr}$Let ...
6
votes
1answer
176 views

Lower central series vs torsion-free lower central series

$\newcommand\tf{\text{tf}}\newcommand\tor{\text{tor}}$Let $G$ be a finitely generated group. Let $\gamma_k(G)$ denote the $k$th term in the lower central series for $G$, so $\gamma_1(G) = G$ and $\...
6
votes
1answer
135 views

Betti numbers and lower central series quotients of finite-index subgroups of nilpotent groups

Let $G$ be a finitely generated nilpotent group and let $A\le G$ be a finite-index subgroup. I have two questions about $A$: Is it true that the inclusion map $A \rightarrow G$ induces isomorphisms $...
6
votes
1answer
98 views

Example of an invariant metric on a nilpotent group which is not asymptotically geodesic

Let $X$ be a metric space. We say that $X$ is asymptotically geodesic if for all $\epsilon > 0$, there exists $R > 0$ such that, for all $x,y \in X$, there exists some finite sequence of points $...
0
votes
0answers
60 views

Estimate of the nilpotency class from the subgroup

Let $G$ be a nilpotent group and $H \vartriangleleft G$ a normal subgroup such that $[G:H] \le m$. Assume $H$ has the nilpotency class $ \le n$. Can we show the nilpotency class of $G$ is bounded by a ...
3
votes
1answer
80 views

Centre of solvable locally nilpotent groups

This question is motivated by two examples of locally nilpotent groups which I came across (see below). Question: Given an infinite solvable and locally nilpotent group $G$, does $G$ have an infinite ...
1
vote
1answer
75 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
1answer
128 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
0answers
119 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
1answer
280 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
0answers
86 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
1answer
176 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
0answers
41 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
0answers
137 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$...
9
votes
1answer
389 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$ ...
5
votes
2answers
521 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
0answers
99 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$-...
11
votes
0answers
232 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
1answer
55 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
0answers
52 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
0answers
384 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
1answer
193 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
3answers
754 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} = ...
25
votes
0answers
847 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
1answer
250 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
0answers
135 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
0answers
68 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
1answer
86 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
0answers
117 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
0answers
369 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
2answers
294 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 ...
10
votes
2answers
550 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 ...
10
votes
1answer
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
1answer
121 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
2answers
680 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
1answer
282 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
1answer
139 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
1answer
206 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
3answers
246 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
1answer
790 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
1answer
414 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
0answers
111 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
0answers
218 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
1answer
233 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
0answers
117 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 ...