All Questions
Tagged with reference-request gr.group-theory
700 questions
9
votes
1
answer
495
views
Divergence of Groups and Metric Spaces
Several papers, including this and this claim that divergence of finitely generated groups and metric spaces have been introduced by Misha Gromov in his paper "Asymptotic invariants of infinite groups"...
user6976
10
votes
2
answers
459
views
Presentation of special linear group over localizations of the integers
I am looking (for $n,k\in{\mathbb Z}$) for a presentation (in the best of all worlds concretely, as a list of relators) for the group ${\rm SL}_n(R)$ for $R={\mathbb Z}[\frac{1}{k}]=\{\frac{a}{k^l}\...
- 1,210
2
votes
1
answer
439
views
Quotient groups of the lower central series of a surface group
In the answer to MO question 132247, it is possible to find a nice computation of the quotient groups of the lower central series of a finitely generated free group.
Q. What are the quotient ...
- 66.3k
5
votes
1
answer
305
views
Schur covers of affine 2-transitive groups
I am interested in Schur covers of minimal 2-transitive groups. A theorem of Burnside gives that every finite 2-transitive group is either almost simple or affine. In the time since, these groups have ...
- 7,633
3
votes
0
answers
231
views
What is known about "graph algebras"?
In lack for a better name I call a "graph algebra" a simple undirected graph $G=(V,E)$ and a binary mapping $+:E \rightarrow V$ such that:
(1) For all edges $(a,b)$ we have: $a+b \in N(a) \cap N(b)$, ...
user6671
10
votes
1
answer
534
views
The Tits alternative for $\operatorname{Out}(F_n)$
Not sure if this is the right place to ask this, but the paper I am reading seems to be too specialised for mathstack (if you do not agree, pleas let me know and I will take down this question)
I am ...
- 275
5
votes
1
answer
152
views
Group rings over central products
I have a proof of the following result but I was wondering if anyone had a reference for it. I have asked on math.stackexchange here but didn't receive any replies.
Let $G$ a finite group given by ...
- 79
8
votes
2
answers
617
views
Relative/acylindrical hyperbolicity of free-by-cyclic groups
Is this statement true?
Let $\mathbb{F}$ denotes a finitely generated free group, $\Phi$ an automorphism of $\mathbb{F}$ and $\varphi$ its image in $\mathrm{Out}(\mathbb{F})$.
If $\varphi$ is ...
- 1,755
6
votes
1
answer
405
views
An algorithm determining whether two subgroups of a finitely generated free group are automorphic
In the book Lyndon, Schupp, Combinatorial Group Theory, P.30 in the edition from 2000 They mention an unpublished work by Waldhausen that is said to give an algorithm to determine whether two ...
- 193
0
votes
0
answers
140
views
Finite group and cyclic cover
Suppose the finite group $N$ surjects to finite group
$F$. It is true that for any $G = N ⋊_α \mathbb{Z}$ there are infinitely many covers of $G$ that are cyclic and
surject to $F$.
But is this ...
- 1,755
13
votes
1
answer
358
views
Cartography of the duals of GL, PGL, SL, etc
A short version of this question could be
What are the duals of $PGL(2,\mathbf{Q}_p)$, $PGL(2,\mathbf{R})$ and $PGL(2,\mathbf{C})$?
I should obviously add some precisions.
there are different ...
- 5,424
12
votes
2
answers
341
views
Which $K$-groups $K(C^*_r(G))$ are computed?
We have the Pimsner-Voiculescu exact sequences and the Baum-Connes map
for possible computation of the $K$-theory of the reduced group $C^*$-algebra $C^*_r(G)$ for a topological, locally compact, ...
- 685
10
votes
3
answers
725
views
Reduction mod $n$ of symplectic group
Let $g,n$ be positive integers, is there a reference that $\mathrm{Sp}(2g,\mathbb{Z})\to\mathrm{Sp}(2g,\mathbb{Z}/n\mathbb{Z})$ is surjection?
The only reference I could find is lemma 5.16 in Deligne–...
user39380
9
votes
1
answer
485
views
A residually finite modification of the wreath product
I have been looking for ways to construct examples of finitely generated residually finite groups that are poly-(locally virtually abelian) but not virtually solvable.
If $K$ is a finite non-solvable ...
- 740
10
votes
1
answer
269
views
Edge-transitive Cayley graphs of $S_n$
I came across the following question which I haven't seen before:
Question. Fix $k\ge 3$. For infinitely many $n$, does there exists a generating set $\langle R_n \rangle = S_n$, $|R_n|=k$, such ...
- 17k
9
votes
0
answers
230
views
Using Property (T) to approximate invertible matrices
In the wikipedia article for Kazhdan's Property (T), there's an intriguing application:
Similarly, groups with property (T) can be used to construct finite sets of invertible matrices which can ...
10
votes
1
answer
1k
views
Equivalent descriptions of Coherent Groups
Attending a series of lectures, I have recently been exposed to the notion of Coherent groups, defined as following:
Def: A group $G$ is called Coherent if every finitely generated subgroup $H$ of $G$...
- 493
4
votes
0
answers
83
views
A Krull-Schmidt theorem for partially ordered groups
If $G$ is a po-group (ie. partially ordered group), we say that $G$ is po-indecomposable if it's not the direct product of two non trivial subgroups (such subgroups are necessary convex and normal).
...
- 933
10
votes
1
answer
246
views
Naturally occurring, non-amenable Zappa-Szep products of discrete amenable groups?
We say $G$ is the Zappa-Szep product of two subgroups $K$ and $P$ if $K\cap P = \{e\}$ and the function $K\times P \to G$, $(k,p)\mapsto kp$, is bijective.
The Iwasawa decomposition shows that we can ...
- 25.8k
2
votes
1
answer
255
views
Does anyone have a copy of Salce's paper "Cotorsion theories for abelian groups"?
The paper "Cotorsion theories for abelian groups" by L. Salce, was published in 1979 in Symposia Math. 21, pages 1-21. According to Google Scholar, it's been cited 233 times, and I keep seeing ...
- 30.3k
3
votes
0
answers
170
views
What is $G_2(2^m)$, and how is it embedded in $\Gamma L_6(2^m)$?
I am trying to understand the classification of doubly transitive groups, specifically the nonsolvable affine case. Dixon and Mortimer (p.244) says there are three infinite families, one of which is $\...
- 7,633
3
votes
0
answers
62
views
Torus in the small Ree group ${}^2G_2$ over an infinite field
In “Simple group of Lie type” by R. W. Carter there is a remark (after Theorem 13.7.4):
It is not known whether $H^1$ coincides with the set of $\sigma$-invariant elements of $H$ if $\mathfrak{L}$ ...
- 3,186
3
votes
0
answers
365
views
Coinflation in cohomology
Let $U$ be a normal subgroup of a group $G$ of finite index. On cohomology, somewhat dual to the functorially defined restriction map, $\text{res}^G_U\colon H^n(G, A) \to H^n(U, A)$, the finite index ...
- 423
2
votes
1
answer
190
views
Logic article on first-order invariants of abelian groups
I remember reading an article published in the 1970s by a Polish mathematician describing the first-order invariants of a torsion-free abelian group. I do not recollect the author's name, the title of ...
- 116
16
votes
3
answers
1k
views
What are some interesting examples of non-classical dynamical systems? (Group action other than $\mathbb{Z}$ or $\mathbb{R}$ )
By classical dynamical system, I mean a measure space together with a measurable action of the integers or the reals. Of course, this action is often interpreted as evolution with respect to discrete ...
9
votes
2
answers
2k
views
alternating and symmetric powers of the standard representation of the symmetric group
Let $n \geq 7$ and $V = \mathbb{C}^n$ be the standard representation for $S_{n+1}$, the symmetric group of cardinal $(n+1)!$
Let $k$ be an integer such that $2 \leq k \leq n$. Is it true or false ...
- 7,300
29
votes
2
answers
1k
views
Quillen + construction for finite groups
Is there an example of two non isomorphic finite groups $G$ and $H$ such that $BG^{+}$ is homotopy equivalent to $BH^{+}$ ?
- 1,629
7
votes
1
answer
476
views
Centralizer of longest element in a finite irreducible Weyl group: related to folding of ADE graphs?
Say $(W,S)$ is a finite Coxeter group, such as a Weyl group (which satisfies an additional crystallographic condition). Assume also that $W$ is irreducible. Then it has a longest element $w_o$ ...
- 52.9k
1
vote
1
answer
339
views
Type $C_n$ Weyl group contains in the centralizer of the longest word $w_0$ in $S_{2n}$
Are there some references about the proof of the following fact?
Type $C_n$ Weyl group lies in the centralizer of the longest word $w_0$ in $S_{2n}$.
Thank you very much.
- 6,201
5
votes
0
answers
169
views
In the literature on infinite graphs, are there results on "periodizable" graphs?
Let $G=(V,E)$ be a connected countably infinite $k$-regular simple graph (no loops or multiple edges). For $A$ a finite subset of $V$, let me denote by $G_A=(A,E_A)$ the induced subgraph with vertex ...
1
vote
1
answer
166
views
Reference for a proof of cancellation property of braid monoids
Let $M$ be a monoid. If $ab=ac$ implies that $b=c$, $a,b,c \in M$, then $M$ is said to have the left cancellation property. Similarly, the right cancellation property is $ba=ca$ implies that $b=c$.
...
- 6,201
3
votes
1
answer
319
views
Matrix transformation that "rotates" a matrix by $45^\circ$
I have an $n \times n$ integer matrix $A$. I want to obtain an $m \times m$ matrix $B$, where $m \ge n$, such that the rows of $A$ are the diagonals of $B$ and the columns of $A$ are the anti-...
- 2,993
10
votes
1
answer
382
views
Wiener's axiomatization of the group law based on division
Gian-Carlo Rota wrote that [*]:
Wiener axiomatized the group law by taking $xy^{-1}$ as the basic operation, and his axiomatization is quite different from any of the other axiom systems for groups....
- 3,393
7
votes
0
answers
229
views
Computation of $H^2(S_n,\mathbb{Z}/2\mathbb{Z})$
Do you have a nice modern reference where I could find the computation of $H^2(S_n,\mathbb{Z}/2\mathbb{Z})$, where the action is trivial ?
I have looked at the very few books on cohomology of groups ...
- 1,766
13
votes
0
answers
182
views
What do we call a functor of orbits and isomorphisms?
If $G$ is a finite group, then inside the category of $G$-sets and $G$-maps there is the subcategory whose objects are the orbits (transitive $G$-sets) and whose morphisms are the isomorphisms. I have ...
- 55.9k
6
votes
1
answer
486
views
Fourth cohomology of the modular group
Is $H^4(PSL(2,\mathbb{Z}),\mathbb{Z})$ known? I ask this in response to the recent calculation of the same cohomology group for $\mathrm{Co}_0$ and $\mathrm{Co}_1$.
- 35.5k
2
votes
0
answers
96
views
A kind of cancellation ; exchange problem for groups
For which $(m,n,k,l) \in (\mathbb N\cup \{0\})^4$ , with $m\le n ; k\le l$ , does there exist a group $G$ with a finite subnormal series with torsion-free Abelian quotients such that $G \times \mathbb ...
user111524
3
votes
1
answer
137
views
Subalgebras with finite codimension
In group theory it is well-known that every subgroup of finite index contains a normal subgroup of finite index. It is not true in general that for Lie algebras every subalgebra of finite codimenslon ...
- 379
0
votes
1
answer
227
views
Finite group cohomology with roots of unity as coefficients
Let $G$ be a finite group of order $n$, and let $L := (\mathbb{Q}/\mathbb{Z})^d$ be a (not necessarily trivial) $G$-module (we assume that $d$ is finite).
By a direct limit argument, there must be a ...
- 11.3k
7
votes
0
answers
329
views
A basic question on a base change of a homogeneous space of a linear algebraic group
I asked this basic question in MSE and got a comment "This belongs to Mathoverflow", so I ask my question here.
Let $G$ be a linear algebraic group over a field $k$, and $H\subset G$ be a $k$-...
- 14.2k
5
votes
2
answers
441
views
Reference Request: Derived group of $\mathscr R_u(B)$
Let $G$ be a connected, reductive group over an algebraically closed field $k$. Let $B$ be a Borel subgroup with maximal torus $T$ and unipotent radical $U$. Let $\Phi^+ = \Phi(B,T)$ and $\Delta$ ...
- 6,180
10
votes
1
answer
1k
views
Maximal order of elements in SL(n,q)
The maximal order of an element of $\mathrm{GL}(n,\mathbb{F}_q)$ is $q^n-1$, where the characteristic of $\mathbb{F}_q$ is odd $p$. See here for a nice proof that uses the Cayley-Hamilton Theorem.
...
- 8,529
6
votes
1
answer
366
views
Group of order $5p^aq^b$
In Lectures by Dan Bump on Modular representation theory,
Theorem 13.14 states that whenever $G$ is a non-abelian simple group of order $|G|=p^aq^br$ for distinct primes $p$,$q$, and $r$, every $r$-...
- 367
3
votes
0
answers
184
views
Mackey Obstruction Class with Integral Coefficients
Consider an exact sequence of groups
\begin{equation}
1\rightarrow H\rightarrow K\rightarrow G \rightarrow1~.
\end{equation}
Mackey theory enables us to understand representations of $K$ in terms of ...
- 2,087
9
votes
1
answer
893
views
Kaplansky conjecture (consequences)
The Kaplansky conjecture says that: for any field $F$ and any torsion free group $G$, the group ring $F[G]$ does not have nontrivial idempotent elements.
Questions
Do we assume that $F$ has any ...
- 641
5
votes
2
answers
530
views
Wielandt automorphism tower theorem
I wanted to know if anyone can point me to an (ideally freely available) english translation of the proof of Wielandt's Automorphism Tower Theorem (1939).
The theorem states the following:
Given a ...
- 461
2
votes
0
answers
68
views
Centralizer/Normalizer of global sections of vector bundles on curves
Let $X$ be a smooth, projective curve of genus at least $2$ over $\mathbb{C}$ and $E$ be a vector bundle on $X$ of rank at least $2$. Given any point $x \in X$, denote by $S_x$ the image of the ...
- 1,981
2
votes
0
answers
130
views
Existence of a transfinite sequence of abelian groups having a strange property
I am studying a paper which uses the following lemma. The context is irrelevant, as the lemma is only used as a technical trick and has no pointer to a reference or hint in the proof but its link to ...
- 9,111
6
votes
1
answer
399
views
One-ended finitely presented subgroups of hyperbolic groups
In Hyperbolic groups (page 82), Gromov claims that, by a standard application of Thurston's method of geodesic (hyperbolic) simplices, it can be prove that a hyperbolic group contains finitely many ...
- 2,371
4
votes
0
answers
187
views
Gaussian actions with no Bernoulli part
In an unrelated research project I came upon an example of a mixing unitary representation $\pi: \mathbb{F}_{\infty}\to B(\mathsf{H})$ of the free group on infinitely many generators, such that no ...
- 5,005