Questions tagged [gr.group-theory]
Questions about the branch of algebra that deals with groups.
8,182 questions
1
vote
0
answers
315
views
Which conjectures are proved for sofic groups? [closed]
Which conjectures about groups are resolved in case of sofic groups?
I know two examples:
Kaplansky's direct finiteness conjecture (proved by Gabor Elek).
Some versions of Ornstein's isomorphism ...
- 19
1
vote
0
answers
149
views
Infinite Hirsch length [closed]
Can a residually finite group $G \in LFin \rtimes VPoly$ ($G$ is a semi-direct product of a locally finite group by a virtually polycyclic group) have an infinite Hirsch length?
1
vote
0
answers
136
views
Exponent of the quotient of the commutator of a free group
Let $F$ be a free group on two generators, let $F^p$ denote the normal subgroup of $F$ generated by the $p$-th power, $p$ a prime. Do we know anything about the exponent of $[F,F]/[F^p,F]$.
Edit: $G=...
- 493
1
vote
0
answers
163
views
HNN extension group with finitely generated base
Let $B$ be a group and let $A_1$ and $A_2$ subgroups of $B$ with $\phi :A_1\rightarrow A_2$ an isomorphism. Let $\left<t\right>$ be the infinite cyclic group, generated by a new element $t$. The ...
- 421
1
vote
0
answers
263
views
When can a 2-cocycle on a subgroup can be extended?
This question is based on a question when is the restriction $H^2(G,\mathbb{C}^*)\to H^2(K,\mathbb{C}^*)$ surjective?
I am asking this as a new question as I already asked that user but got no ...
- 265
1
vote
0
answers
137
views
Acyclicity of covering space
Suppose we have some 2-dimensional non-aspherical finite CW-complex $K$ with $\pi_1(K)=G$. Is there any sufficient condition on $H\leq G$ (and maybe on the group $G$ itself) which allows to conclude ...
- 1,129
1
vote
0
answers
206
views
The normalizer problem for group rings
I recently studied about The Normalizer problem (NP) which states that given an integral group ring $\Bbb{Z}G$, $N_{\cal{U}}(G)=G\frak{z}$ where $\frak{z}$ denotes centre of $\cal{U}$ = $\cal{U}$$(\...
1
vote
0
answers
124
views
Profinite rank of Fuchsian groups
Let $G$ be a Fuchsian group whose profinite completion is finitely generated. Must $G$ be finitely generated?
A Fuchsian group is a discrete subgroup of $\mathrm{SL}_2(\mathbb{R})$ or $\mathrm{PSL}_2(...
- 11.3k
1
vote
0
answers
149
views
Invariant free factors for automorphisms of free products
I am thinking the following question: for a group that splits as a free product $G = G_1 \ast F_n $, where $G_1$ is any infinite group (preferebly freely indecomposable) and we denote by $F_n$ the ...
- 339
1
vote
0
answers
740
views
Subgroup generated by elements of finite order
Let G be any group and let H be the subgroup of G generated by all elements of finite order. Is there a name for H?
- 11
1
vote
0
answers
288
views
Rational cohomological dimension of the lattices in $SL_n(\mathbb{Q}_p)$
What is the rational cohomological dimension of the lattices in $SL_n(\mathbb{Q}_p)$, where $n\geq 3$ ? A reference would be appreciated.
For the definition of "cohomological dimension of a group ...
- 105
1
vote
0
answers
82
views
associativity of the extension of finie groups [closed]
Following my previous question I have two questions:
1.the extensions of the group is associative or not, i.e. as we know by the notations of atlas if $S={\rm PSL}(2,q)$, where $q=p^f>9$, then $2....
- 53
1
vote
0
answers
137
views
Space of polynomially growing harmonic functions on a Lie group
There is a recent theorem by Kleiner (based on previous work by Colding & Minicozzi), that reads:
If $G$ is a finitely generated group of polynomial growth, then for every $d$ the space of ...
- 527
1
vote
0
answers
182
views
divisible 2nd cohomolgy group $H^2(G,\mathbb{Z}G)$
Recall that a (nontrivial) abelian group $A$ is called divisible if the multiplication by $n$ is surjection $A\to A$ for all $n\in\mathbb{Z}_{>1}$.
My question is the following.
Is there a ...
- 1,528
1
vote
0
answers
189
views
Poincaré inequality for connected Lie groups
Let $G$ be a compactly generated second countable locally compact group, and let $\mu$ be a probability measure which is:
symmetric,
adapted (in the sense that there is no proper subgroup $H$ such ...
- 527
1
vote
0
answers
223
views
Cayley graphs with special subgraphs and some related problems
I asked some questions about finite Cayley graphs with special type of subgraphs which has been answered by Dear Prof. Godsil. It can be seen in the MO page with address:
Cayley graphs and its ...
- 4,784
1
vote
0
answers
139
views
Representation of finite group
Let $\Gamma$ be a finite index subgroup of $SL_2(\mathbb{Z})$. Let $\pi$ be a natural covering from $\Gamma\backslash\mathbb{H}$ to $SL_2(\mathbb{Z})\backslash\mathbb{H}$. Denote by $\text{Deck}(\pi)$ ...
- 11
1
vote
0
answers
179
views
Are the finite groups inclusions, almost all relatively cyclic?
Definition: An inclusion of finite groups $(A \subset B)$ is relatively cyclic if $\exists b \in B$ such that $\langle A,b \rangle = B$.
Definition: Two inclusions of finite groups are equivalent, $(...
1
vote
0
answers
316
views
Dense subgroups in subgroups of profinite groups
Let $G$ be a finitely generated residually finite group and $\hat G$ its profinite completion.
Then for all $g\in \hat G$ we have $gGg^{-1}\leq \hat G$ is dense.
Suppose that $H\leq \hat G$ is a ...
- 343
1
vote
1
answer
244
views
about subgroup of general linear group [closed]
Thanks for any comments
Let $G=GL_n(F)$ be general linear group over finite field $F$. Consider two isomorphic subgeoup $H_1,H_2$ of $G$ such that $H_i\cong GL_k(\bar{F})$, where $\bar{F}$ is an ...
- 11
1
vote
0
answers
203
views
How generic are Cayley graphs of non-Abelian groups with logarithmic girth?
Given a non-Abelian group $G$ I want to choose a symmetric generating set $S \subset G$ such that $Cay(G,S)$ has girth logarithmic in the size of the set. I want to know,
For which $G$ can the ...
- 1,893
1
vote
0
answers
157
views
Homology and Burnside ring
If $G$ is a finite groupe, we denote $\mathcal{S}(G)$ the category of finite $G$-sets and $\mbox{I}(G)$ the set of isomorphism classes of it's objects. The Burnside ring of $G$, denoted by $\Omega(G)$,...
- 31
1
vote
0
answers
88
views
Counting group invariants using Macdonald conjecture?
It is known from Dyson, Macdonald $et$ $al$ that the constant term asscoiated to the expansion of the following expression
\begin{equation}
\prod_{\alpha \in \Delta} (1-e^{\alpha})^k
\end{equation}
...
- 367
1
vote
0
answers
196
views
Does SL(3,q) have a subgroup of order $q^3.(q^3-1)$ [closed]
Let $q=p^n$ for $p>3$.I want to know whether the group $G_2(q)$ has a subgroup of order $q^3.(q^3-1)$. First I look the paper of Peter Kleidman. In this paper Kleidman determined all maximal ...
- 225
1
vote
0
answers
66
views
Quotient groups of "Abelian-times-compact", what are they called?
In what I am doing now this class of groups appears all the way: (Hausdorff) quotient groups of $A\times K$, where $A$ are locally compact abelian groups, and $K$ compact groups.
I wonder, if this ...
- 7,426
1
vote
0
answers
262
views
Virtually abelian centralizers
This is a sort of a follow-up question to Limits of conjugated subgroups (though it might not seem at first glance to have much to do with it.)
Anyway, I'm wondering what sort of groups have the ...
- 237
1
vote
0
answers
139
views
Intuitive meaning of benign subgroup
Disclaimer! This is a copy of a question I posted on M.SE!
I still think the question belongs there but I'm not getting any answers so I'm dublicating with slight changes:
I've been studying a proof ...
- 373
1
vote
0
answers
694
views
Hyperspecial parahoric group schemes/Chevalley groups
Let $G$ be a simple group over $k=\mathbb{C}$, $A=k[[t]]$, $K=k((t))$, and consider the group $G(K)$. This group is a split reductive group over a local field, and therefore the results of Bruhat and ...
1
vote
0
answers
120
views
Free profinite products
Let $F$ be a nonabelian finitely generated free profinite group, and let $x \in F$. Must there be some $1 \neq y \in F$ such that $\langle x,y \rangle$ is isomorphic to the free profinite product of $\...
- 11.3k
1
vote
0
answers
134
views
Are lattices in the special real linear group subgroup seperable?
Let $G \leq SL_2(\mathbb{R})$ be a lattice, let $H \leq G$ be a finitely generated subgroup of infinite index, and let $n \in \mathbb{N}$. Must there be some $H \leq U \leq G$ such that $n \leq [G : U]...
- 11.3k
1
vote
0
answers
72
views
About Abelian Radicable Groups Generated by Chernikov's subgroups
Let $G$ be a abelian and radicable group generated by subgroups abelian, radicable and Chernikov. Then $G$ is Chernikov? ie, if $G = \left<H| H \leq G \right>$ with $H$ abelian, radicable and ...
1
vote
0
answers
302
views
Can a profinite completion be free pro-p?
Is there a prime number $p$ and a finitely generated residually finite group whose profinite completion is a free pro-$p$ group on a nonempty finite set?
Thanks to YCor we see that we cannot take the ...
- 11.3k
1
vote
0
answers
131
views
What does the ring $K[S]$ know about a group generated by $S$?
Given a discrete group $\Gamma$ generated by $S$ let $K[S]$ denote the subring
of the group-ring $K[\Gamma]$ generated by $S$ (over a commutative ring $K$). The ring $K[S]$ is thus a quotient
of the ...
- 17.9k
1
vote
0
answers
281
views
Normal p-complement and the Frattini subgroup [closed]
A normal subgroup $N$ of a finite group $G$ is said to be a normal $p$-complement if $(p,|N|)=1$ and there is a Sylow $p$-subgroup $P$ of $G$ such that $G=NP$. The definition of a normal $\pi$-...
- 385
1
vote
0
answers
178
views
Free abelian subgroups and distorsion
I realized that I know groups with distorted cyclic subgroups and groups all of whose free abelian subgroups are undistorted, but nothing between. Maybe it is a naive question, but:
Does there ...
- 2,371
1
vote
0
answers
116
views
Conjugacy classes in lie type group
I have two questions. Thanks for any comments.
Suppose $S$ is a simple group of Lie type in characteristic p. Also suppose that $G=Aut(S)$.
1) Is there any reference for conjugacy class of element $...
- 11
1
vote
0
answers
290
views
Adelic integral factorization
In order to calculate Tamagawa numbers, I need to justify that for a nice (say Schwartz-Bruhat) function, the following identity holds :
$$\int_{\mathbf{A}^2} f(x)dx = \int_{SL_2(\mathbf{A})/SL_2(K)} ...
- 5,424
1
vote
0
answers
189
views
Finding an overgroup or a subgroup in PGL
Let k be a nonperfect field of characteristic $2$. Let $a\in k\backslash k^2$, $G=PGL_4(k)$ and and $$H= \left\{ \small\left[\begin{array}{cccc}
x ...
- 11
1
vote
0
answers
103
views
Lower periodic subsets of groups and semigroups
Suppose that $A$ and $B$ are subsets of a group or semigroup. We call $A$ left
upper [resp. lower] $B$-periodic if $BA\subseteq A$
[resp. $A\subseteq BA$]. If $A$ is both left upper and
lower $B$-...
- 995
1
vote
0
answers
275
views
Explicitly showing that a free group is LERF [closed]
Let $F$ be a free group on a finite set $X$, and let $M$ be a finitely generated subgroup.
Marshall Hall's theorem states that $M$ is closed in the profinite topology on $F$. That is, $M$ is the ...
- 11.3k
1
vote
0
answers
99
views
Topologically finitely generated residually finite group
Suppose that $G$ is a topologically finitely generated profinite group,
and let $H$ be a subgroup of countably infinite index. Is $H$ necessarily topologically finitely generated with the subspace ...
- 2,125
1
vote
0
answers
134
views
Dense free subgroups
Let $F$ be a free pro-$p$ group (for a prime number $p$) on a finite set $X$, $\Phi$ the abstract subgroup generated by $X$, $\{1\} \neq N \lhd_c F$. Is it possible that $\Phi \cap N = \{1\}$?
- 11.3k
1
vote
0
answers
166
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 ...
- 11.3k
1
vote
0
answers
82
views
A bound on the size of the center
Let $p$ be a prime number, $F$ a free pro-$p$ group, $H \leq_c F$ of infinite index. Can it be that $$\sup_{N \lhd_o F} |Z((F/N)/C_{F/N}(HN/N))| < \infty ?$$
- 11.3k
1
vote
0
answers
207
views
Golod Shafarevich Inequality and Inequalities among higher Cohomology groups
As a consequence of Golod- Shafarevich, we get an inequality between second cohomology group of a $p$-group with coefficients in $F_p$ and the first cohomology group of a $p$-group with coefficients ...
- 493
1
vote
0
answers
143
views
on reductive monoids which are gorenstein
Let $M$ a reductive monoid, i.e. a integral normal affine scheme, which is a monoid whose group of units is a connected reductive group.
By Rittatore http://www.cmat.edu.uy/cmat/docentes/alvaro/...
- 3,472
1
vote
1
answer
219
views
Semidirect products with braid groups and type $F_\infty$
Let $F$ be a group which is strongly type $F_\infty$ in the sense that every subgroup is of type $F_\infty$. Here, type $F_\infty$ means that the group admits a classifying space with compact skeleta.
...
- 1,550
1
vote
0
answers
223
views
Reference on calculation of 2nd cohomology group
Let $G$ be a finitely generated, infinite, countable discrete nonamenable group with zero first Betti number, I.e., $H^1(G, \ell^2(G))=0$, e.g., $G=F_2\times F_2$, the product of free groups of two ...
- 1,528
1
vote
0
answers
186
views
Research of a reference about $G$-linearizations of line bundles on quasi-projective schemes
I am looking for some references for the following statement:
Let $G$ be a linearly reductive algebraic group acting on a quasi-projective scheme $X$, over an algebraically closed field $K$. Let $L$ ...
- 401
1
vote
0
answers
121
views
Name/terminology for a relationship between group actions
Let $G$ and $H$ be groups, both acting on a set $X$. Suppose that there is a homomorphism $\phi:G\to H$ such that for every $g\in G$ and $x\in X$, $g\cdot x = \phi(g)\cdot x$. Is there a name for this ...
- 3,115