Questions tagged [gr.group-theory]
Questions about the branch of algebra that deals with groups.
2,036
questions with no upvoted or accepted answers
8
votes
0
answers
272
views
Quantizing the size of a pro-$p$ group
Let $p$ be a prime number and $G$ be a pro-$p$ group (not necessarily powerful). Let $\Omega$ denote the completed group algebra $\mathbb{F}_p[[G]]:=\varprojlim_N \mathbb{F}_p[G/N]$, where $N$ ranges ...
- 543
8
votes
0
answers
256
views
Colimits of symmetric groups
The infinite symmetric group $S_{\infty}$ of finitely supported permutations of $\mathbb{N}$ can be written as a colimit over the $S_n$'s with respect to the embedding $S_{n} \to S_{n+1}$ that maps $\...
- 7,447
8
votes
0
answers
151
views
Is the Lawrence–Krammer representation faithful, reduced modulo p?
It is well-known that the braid group $B_n$ is linear for every $n$ by the Lawrence–Krammer (or LKB) representation. It embeds $B_n$ faithfully into $\mathrm{GL}\left(\frac{n(n-1)}{2},\mathbb{Z}[q^{\...
- 113
8
votes
0
answers
119
views
Group presentations where discarding generators always yields a subgroup
Consider a group presentation $ \left< G= \left\lbrace \text{generators}\right\rbrace \, \middle|\, R = \left\lbrace \text{relators}\right\rbrace \right>$ (no finiteness assumptions). Given $S\...
- 1,005
8
votes
0
answers
189
views
Coarse quotient maps
Interesting connections and analogies have been observed between
non-linear geometry of Banach spaces and coarse geometry.
In the former subject, people have investigated the notion of
uniform (or ...
- 9,601
8
votes
0
answers
156
views
Uniform amenability at infinity
Let's recall that a group $G$ is amenable if for any finite subset $E\subset G$ and any $\epsilon>0$
there is a finite subset $F\subset G$ such that
$$\max_{s\in E} |s F \mathbin{\triangle} F| \le \...
- 9,601
8
votes
0
answers
122
views
What are the stable cohomology classes of the "orthogonal groups" of finite abelian groups?
Let $A$ be a finite abelian group, and equip it with a nondegenerate symmetric bilinear form $\langle,\rangle : A \times A \to \mathrm{U}(1)$. Then you can reasonably talk about the "orthogonal ...
- 52.2k
8
votes
0
answers
223
views
Is there a finite group with nontrivial $H^2$ but vanishing $H^4$, $H^5$, and $H^6$?
Is there a finite group $G$ such that the group cohomology $\mathrm{H}^2_{\mathrm{gp}}(G; \mathbb{Z}/2)$ is nontrivial but $\mathrm{H}^4_{\mathrm{gp}}(G; \mathbb{Z}/2)$, $\mathrm{H}^5_{\mathrm{gp}}(G;...
- 52.2k
8
votes
0
answers
196
views
Monodromy groups that are profinitely dense in Sp(2g,Z)
$\DeclareMathOperator\Sp{Sp}$Assume $g\geq 2$. It is known that there exist finitely generated subgroups of $\Sp(2g,\mathbb{Z})$ of infinite index that surject onto all finite quotients of $\Sp(2g,\...
8
votes
0
answers
268
views
Towards the complex unit conjecture
After Gardam had found a counterexample to the Kaplansky unit conjecture for the group ring $K[G]$ with $K = \mathbf F_2$ and $G = P$, the Promislow group, Murray extended this to $\mathbf{F}_p[P]$ ...
- 11.1k
8
votes
0
answers
146
views
Amenable automatic groups
Are there any known examples of finitely generated groups that are both amenable and automatic, besides the easy example of virtually abelian groups? Or are there any known restrictions that arise if ...
- 3,201
8
votes
0
answers
279
views
Does there exist a nontrivial perfect group with a "locally commuting" presentation?
EDIT: I originally insisted that the perfect group in question be finite, however I now realize that I do not need this condition, only that the generators used in the presentation have finite order. ...
- 2,084
8
votes
0
answers
107
views
The conjugacy problem for two-relator groups
Is the conjugacy problem for two-relator groups known to be undecidable?
The word problem for two-relator groups is a famous open problem (appearing e.g. as Question 9.29 in the Kourovka notebook), ...
8
votes
0
answers
529
views
McDuff groups and McDuff factors
I asked a question over on Math.Stackexchange with the same title, but I didn't get any activity over there, which made me think that the question would be better suited for MathOverflow. I suppose ...
- 281
8
votes
0
answers
236
views
When does a semisimple $\mathbb{C}$-algebra come from a group?
Let $\mathcal{A}$ be a semisimple $\mathbb{C}$-algebra. By the Artin-Wedderburn theorem, it is isomorphic to a direct product of matrix algebras:
$$ \mathcal{A} = \prod_{i=1}^m M_{n_i}(\mathbb{C})$$
...
- 267
8
votes
0
answers
230
views
Computing the number of elementary abelian p-subgroups of rank 2 in $GL_{n}(\mathbb{F}_{p})$
Let $p$ be a prime number, and let $\mathbb{F}_{p}$ be a finite
field of order $p$. Let $GL_{n}(\mathbb{F}_{p})$ denote the general linear
group and $U_{n}$ denote the unitriangular group of $n\times ...
- 461
8
votes
0
answers
429
views
A lattice with Monster group symmetries
The book Mathematical Evolutions contains the following excerpt:
A last, famous, example is the following. It is known that in the space
of one hundred and ninety six thousand eight hundred and ...
- 12.1k
8
votes
0
answers
137
views
Small flag triangulations
In geometric group theory and low-dimensional topology, asking for a triangulation of a specific space to be flag can often be somewhat more cumbersome than just turning a CW-complex into a simplicial ...
- 101
8
votes
0
answers
232
views
Membership problem in general linear group
This is surely a very well known problem, but I could not find an answer on MO or on Google, so here I am.
Given some finitely generated free subgroup $H$ of $\operatorname{GL}_n(\mathbb{Z}[t,t^{-1}])...
- 469
8
votes
0
answers
326
views
A generalization of Feit–Thompson conjecture, for square-free integers
I asked the following question with my account that I have for these sites Mathematics Stack Exchange and MathOverflow. The bounty that I offered in MSE expired without answers. The post that I refer ...
8
votes
0
answers
303
views
A $\mathsf{ZF}$ example of a nonreflexive group which is isomorphic to its double dual?
Given a group $G$ denote by $G^\ast=\mathrm{Hom}(G,\Bbb Z)$ its dual and by $j\colon G\to G^{\ast\ast}$ the canonical homomorphism $g\mapsto (f\mapsto f(g))$. A group is reflexive iff $j$ is an ...
- 2,672
8
votes
0
answers
146
views
Finite groups with unbounded commutator width and no nontrivial central chief factor
The commutator width of a group is the smallest $n$ such that every product of commutators is a product of $n$ commutators.
My initial question was:
Do there exist finite perfect groups with ...
- 59.4k
8
votes
0
answers
227
views
Index of maximal subgroups of subgroups
Let $G$ be a finitely generated group such that every maximal subgroup is of finite index, and let $H\leq G$ be a finitely generated subgroup of $G$. Then, must every maximal subgroup of $H$ be of ...
- 81
8
votes
0
answers
260
views
Subgroups of torsion-free hyperbolic groups versus subgroups of hyperbolic groups
Let $\mathcal{S}$ be the class of finitely presented torsion-free groups which occur as the subgroup of some hyperbolic group (so for every $G\in \mathcal{S}$ there exists a hyperbolic group $H$ such ...
- 2,742
8
votes
0
answers
358
views
Can the set of endomorphisms of $(\mathbb R,+)$ have cardinality strictly between $\frak c$ and $\frak{c^c}$?
Let $\frak c$ be the cardinality of the reals. I know that in ZF the set of endomorphisms of $(\mathbb R,+)$ can have at least two different cardinalites:
If we allow the axiom of choice, you can ...
user35370
8
votes
0
answers
274
views
Are the braid groups good in the sense of Toën?
In this question it is asked whether the mapping class groups are 'good' in relation to pro-finite completion. Helpfully, one of the answers gives a link to a proof that the braid groups are good ...
- 1,615
8
votes
0
answers
461
views
What are the character tables of the finite unitary groups?
I need to know the (complex) character table of the finite unitary group $U_n(q)$. Lusztig and Srinivasan (1977) provide an abstract description, but parsing it requires a stronger background in ...
- 7,525
8
votes
0
answers
184
views
Relationship between the p-radical subgroups and the parabolics in a BN-pair generality
A theorem of Quillen says that if $G$ is a finite Chevalley group over characteristic $p$, then the poset $\mathcal{A}_p(G)$ of nontrivial elementary abelian subgroups of $G$ is homotopy equivalent (I ...
- 1,556
8
votes
0
answers
325
views
Torsion in a tensor product over a group ring
Let $\Gamma$ be a finitely generated dense subgroup of a pro-$p$ group $G$. Let $\mathbb Z_p$ be the ring of $p$-adic numbers. Denote by $\mathbb Z_p[[G]]$ the completed group algebra.
Is it true ...
- 1,378
8
votes
0
answers
127
views
Lower central series of nearly metabelian groups
Let's say that $G \in \mathcal M_k$ if every $k$-generated subgroup of $G$ is metabelian. Obviously, $\mathcal M_{\geq 4} = \mathcal M_4 = \mathcal M$ is the variety of metabelian groups, but it's ...
- 4,299
8
votes
0
answers
194
views
intriguing Polytope
Define $E_{i,j} \in \mathbb{R}^{n \times n}$ to be the canonical basis (that is all elements set to zero except the entry $i,j$ )
let the bloc matrix $M \in \mathbb{R}^{n^2 \times n^2}$ defined by :
...
- 81
8
votes
0
answers
292
views
Are there two non-isomorphic finitely presented groups which are retracts of each other?
According to answers to this Math Overflow question, there is an infinite rank abelian group $A$ such that $A\cong A^3$ but $A\not\cong A^2.$ Clearly $A$ is an retract of $A^2$ while $A^2$ is an ...
- 1,172
8
votes
0
answers
628
views
What classifies involutive automorphisms on finite groups? What classifies involutions on finite based rings?
Groups
Let $G$ be a finite group. An involutive automorphism on $G$ is an automorphism $i\colon G \to G$ such that $i^2 = 1_G$.
Question 1. What classifies involutive automorphisms on a given (non-...
- 5,485
8
votes
0
answers
204
views
Superharmonic functions and amenability
Let $G$ be a group generated by a finite set $S$. Let $P$ be a Markov operator defined by the uniform measure on $S$. A function is superharmonic if $Pf\leq f$.
Assume that there is a set of non-...
- 4,695
8
votes
0
answers
105
views
Number of occurrences of certain generators in expressions in Coxeter groups
Let $W$ be a Coxeter group (finite or infinite) with (finite) set $S$ of Coxeter generators, and let $I \subseteq S$ be some subset. If $w\in W$ then I call $m_I(w)$ the minimum total number of ...
- 28.7k
8
votes
0
answers
194
views
Varieties of groups with certain properties
Is there an example of a periodic variety $\mathbf{V}$ of groups that satisfies all of the following properties?
$\mathbf{V}$ is finitely based
$\mathbf{V}$ contains finitely many subvarieties
$\...
- 563
8
votes
0
answers
85
views
Is recognizing if a Latin square is isotopic to its transpose more efficient than computing its symmetry group?
Ihrig and Ihrig (2007) described a mathematical method for determining if a Latin square is isotopic to its transpose (where isotopic Latin squares vary by permuting the rows, columns and symbols). ...
- 1,327
8
votes
0
answers
178
views
Zappa-Szép products of the group of integers with itself
Since my previous question didn't get much attention and I couldn't make any relevant progress on it, I thought it would be a good idea to "simplify" it by replacing monoids by groups. That is:
...
- 5,382
8
votes
0
answers
493
views
example of an n-transitive but not infinitely transitive group action on a space
Definition. An action of a group $G$ on a set $X$ is strongly $n$-transitive if $G$ acts transitively on $n$-tuples of distinct elements in $X$ (via the diagonal action), and is $n$-transitive if $G$ ...
- 4,547
8
votes
0
answers
432
views
A relation between intersection and product on Boolean interval of finite groups
Let $[H,G]$ be a Boolean interval of finite groups (i.e. the lattice of intermediate subgroups $H \subseteq K \subseteq G$, is Boolean). For any element $K \in [H,G]$, let $K^{\complement}$ be its ...
- 25.5k
8
votes
0
answers
411
views
Is the class of commutative generalized Euclidean rings stable under quotient and localization?
Let $R$ be an associative ring with identity and let $E_n(R)$ be the subgroup of $GL_n(R)$ generated by matrices obtained from the identity matrix by replacing an off-diagonal entry by some $r∈R$. Let ...
- 7,283
8
votes
0
answers
319
views
An infinite torsion group $G$ with finite type $K(G,1)$?
There is a famous open problem in group theory that asks:
Does there exist an infinite finitely presented torsion group?
The general belief being that such groups exist. I would like to know ...
8
votes
0
answers
290
views
How bad can $SK_1$ of a commutative ring be?
For a commutative ring $R$ define $\mathrm{SK}_1(n, R)=\mathrm{SL}(n, R)/\mathrm{E}(n, R)$, the quotient of the special linear group by its subgroup generated by the elementary matrices. When $n\...
- 3,081
8
votes
0
answers
316
views
Grothendieck - A group as a sheaf over simplicial complexes
In this blog post, Terence Tao gives the following definition of a group.
Definition. A group is (identifiable with) a (set-valued) sheaf on the category of simplicial complexes such that the ...
- 895
8
votes
0
answers
393
views
Pedagogical question on Lie groups vs. matrix Lie groups
There are two common approaches taken in introductory texts on Lie groups: studying all Lie groups, or focusing only on matrix Lie groups. The main advantage of the latter approach is that one can ...
- 27.7k
8
votes
0
answers
174
views
Sharp isoperimetry in the discrete Heisenberg group
The exact shape of the set which has the best isoperimetry in the continuous Heisenberg is (from what I know) a difficult open problem. This brought to wonder what is known in the discrete case?
More ...
- 4,342
8
votes
0
answers
256
views
An amenable group containing a wreath product of itself
Does there exist a finitely generated amenable group $G$ which contains a subgroup isomorphic to $G\wr\mathbb{Z} = \bigoplus_{n\in\mathbb{Z}} G \rtimes \mathbb{Z}$?
- 711
8
votes
0
answers
291
views
What is the kernel of the map $Out(\widehat{F_2})\rightarrow GL_2(\widehat{\mathbb{Z}})$?
Let $F_2$ be the free group on two generators, and $\widehat{F_2}$ its profinite completion. Let $Out(\widehat{F_2})$ be the outer automorphism group of $\widehat{F_2}$, ie, $Out(\widehat{F_2}) = Aut(\...
- 9,918
8
votes
0
answers
335
views
Polynomial growth without Gromov's theorem
It is a consequence of the theorem of M. Gromov on groups with polynomial growth and a result of P. Pansu(*) that if a finitely generated group $\Gamma = \langle S\rangle,\, S=S^{-1}$ satisfies $(\...
- 3,339
8
votes
0
answers
611
views
Approximating Lie groups by finite groups
How can one approximate compact Lie groups by finite groups?
My wish is something like this:
Let $G$ be a compact Lie group.
There is a sequence of nested finite subgroups $G_n$ so that $G_n\to G$...
- 7,981