All Questions
Tagged with reference-request gr.group-theory
700 questions
4
votes
1
answer
328
views
Algebraic K-groups and braids
This is (I think) a reference request:
Are there calculations of any algebraic K-groups for the (group ring of) the Artin braid groups?
4
votes
1
answer
371
views
Normal subgroups of binary polyhedral groups (reference request)
The binary polyhedral groups are finite subgroups of the quaternions corresponding (via McKay's ADE classification) to the $E$ series of affine Dynkin diagrams. They are also the lifts to $\mathrm{...
4
votes
1
answer
446
views
What is a "cusp" ("кусок") in relation to Guba's embedding theorem?
I'm confused by the definition of a "cusp" as found in
V.S. Guba, Conditions for the embeddability of semigroups into groups, Math. Notes 56 (1994), Nos. 1-2, 763-769 (link).
In the words of Mark ...
4
votes
3
answers
282
views
Conjugacy in right-angled Artin groups
I am looking for a reference containing the following result:
Let $a$ and $b$ be two elements of a right-angled Artin group $A$. Assume that $a$ and $b$ have minimal length (with respect to the ...
4
votes
1
answer
204
views
Estimates for simple random walks in groups of intermediate growth
I'm looking for references for the rate of escape and return probability for a group of intermediate growth.
Let $0<\alpha < 1$. If the volume growth is $\succeq \mathrm{exp}(n^\alpha)$, then (...
4
votes
1
answer
686
views
Character theory of $2$-Frobenius groups.
This is a crosspost of my (slightly longer) question on MSE since I'm not getting any responses there.
Definition. Let $G$ be a finite group and $F_1=\text{Fit}\,G$ and $F_2/F=\text{Fit}\left(G/...
4
votes
0
answers
97
views
Characterization of Vilenkin group
It is shown in [1, Section 1] by C.W. Onneweer that every infinite compact, metrizable, zero-dimensional commutative group is a Vilenkin group. My question is does this implication also hold if we ...
4
votes
0
answers
75
views
Alternating bihomomorphism is a skew 2-cocycle
It seems to be a well-known fact that every alternating bihomomorphism $G\times G\to\mathbb{C}^\times$ for a finite abelian group $G$ is the skew of some 2-cocycle (see for instance Symmetric analogue ...
4
votes
0
answers
107
views
Complex reflection groups: reference request
Suppose that $V$ is a finite-dimensional complex vector space, that $m\ge 2$ is an integer and that $G\subset \operatorname{GL}(V)$ is a finite subgroup such that $V$ is an irreducible ${\mathbb{C}}[G]...
4
votes
0
answers
112
views
Duality for finite quotient groups of finitely generated free abelian groups
$\newcommand{\Z}{{\Bbb Z}}
\newcommand{\Q}{{\Bbb Q}}
\newcommand{\Hom}{{\rm Hom}}
$ The following lemma is certainly known.
Lemma (well-known).
Let $B$ be a lattice (that is, a finitely generated ...
4
votes
0
answers
271
views
Automorphism-conjugacy
If $G$ is a group, we can say $g$ is automorphism-conjugate to $f$ if there is a group automorphism $\alpha : G \to G$ such that $g = \alpha(f)$. This is an equivalence relation.
Is there a standard ...
4
votes
0
answers
320
views
Finite subgroup of $\mathrm{SO}(4)$ which acts freely on $\mathbb{S}^3$
Let $\Gamma$ be a finite subgroup of $\mathrm{SO}(4)$ acting freely on $\mathbb{S}^3$. It is known that all such $\Gamma$ can be classified.
Is there any characterization of $\Gamma$ such that $\Gamma$...
4
votes
0
answers
177
views
Ping pong with parabolic isometries on Gromov hyperbolic spaces
For a group $G$ with a non-elementary general type action by isometries on a Gromov hyperbolic geodesic space $(X,d)$, it is well known that you can construct free subgroups of $G$ via the ping pong ...
4
votes
0
answers
552
views
Lattices of $\mathbb{R}^s \ltimes_\varphi \mathbb{R}^k$
Edit: Thoughts updated (22/3/2021).
I've come across with the following problem.
Let $G=\mathbb{R}^s \ltimes_\varphi \mathbb{R}^k$ where $\varphi:\mathbb{R}^s\to \mathrm{Aut}(\mathbb{R}^k)=\mathsf{GL}(...
4
votes
0
answers
103
views
Bound of word width in compact $p$-adic analytic group
A theorem proved by A. Jaikin-Zapirain in On the verbal width of finitely generated pro-$p$ groups says that:
If $G$ is a compact $p$-adic analytic group, then every word $w$ of a free group $F$ has ...
4
votes
0
answers
124
views
Abelian-by-cyclic subgroups of exponential growth solvable groups
I am currently looking for a reference to a proof (or counterexample) to the following statement:
Statement: Assume $G$ is a finitely generated solvable group of exponential growth, then there is a ...
4
votes
0
answers
322
views
Steinberg relations for elementary subgroup of a Chevalley group over an arbitrary ring
Given a semisimple Lie algebra $\frak{g}$ of type $\Phi$ with a Lie algebra representation $\rho:\frak{g}\to \frak{gl}(v)$ and an arbitrary commutative ring one can associate the following gadgets:
...
4
votes
0
answers
174
views
Algebraic varieties associated to finite groups
Have the following equations been studied in the literature?
Let $G$ be a finite group.
Then I am looking for functions $f : G \rightarrow \mathbb{C}~ \backslash \left\lbrace 0 \right\rbrace $ such ...
4
votes
0
answers
113
views
Liftings and splittings (reference request)
I'm writing a paper and, at a certain point, I need the following, rather elementary
Lemma. Assume that we have a commutative diagram of short exact sequences of groups of the form
Then the ...
4
votes
0
answers
160
views
What are the zonal spherical functions for a finite unitary group acting on a unit sphere?
Given a prime power $q$ and a dimension $d$, consider the Hermitian form $(\cdot,\cdot) \colon \mathbb{F}_{q^2}^d \times \mathbb{F}_{q^2}^d \to \mathbb{F}_{q^2}$ given by
$$
(x,y) = \sum_{i\in [d]} ...
4
votes
0
answers
236
views
Groups inducing edge-colorings on graphs. Is this concept known?
Are the following concepts known in graph/group theory, and if Yes, what are they called and where to read about them? Because I do not know better, I gave them placeholder names for now.
1. ...
4
votes
0
answers
90
views
Is there a name for this kind of structure? (Not quite a lattice-ordered group)
I'm looking at a certain class of groups $G$ that come with a partial order $\le$ on the elements. So far it looks like $(G,\le)$ has the following properties:
The partial order is invariant under ...
4
votes
0
answers
214
views
Hyperbolic subgroups of general linear groups
Is there a classification of hyperbolic subgroups of $GL_n(A)$ for $A$ some ring of characteristic $p$? $A$ for me is a finitely presented algebra over a finite field.
More precisely I'm looking for ...
4
votes
0
answers
218
views
Conjugacy class representatives for the automorphism group of a finite abelian group
Given a finite abelian group $A$, I'd like a list of conjugacy class representatives for its automorphism group ${\rm Aut}(A)$.
In fact, it's not important that I have exactly one representative from ...
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).
...
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 ...
4
votes
0
answers
135
views
Improvements of the Reidemeister-Schreier index formula for particular classes of groups
I have a couple of questions regarding possible improvements of the Reidemeister-Schreier index formula: let $G$ be a $d$-generated group and let $H$ be a subgroup of $G$, then
$$d(H) \le (d-1) \...
4
votes
0
answers
193
views
On a problem of Berkovich
What is the real history of the following problem proposed by Berkovich [Y. Berkovich, Z.Janko, Groups of prime power order. Volume 2, Expositions in Mathematics, 56, Walter de Gruyter, New York, 2011]...
4
votes
0
answers
176
views
Is there a notion of "tame" representations of $GL_n(Z)$?
This is a followup to this question about the (left) noetherianity of the group ring of $GL_n(\mathbf{Z})$:
Does GL_n(Z) have a noetherian group ring?
Given that $\mathbf{Z}[GL_n(\mathbf{Z})]$ is ...
4
votes
0
answers
250
views
Finite subgroups of the unimodular group
This is related to this MO question (and others as well).
Hoping that this will not turn out to be too broad, I would like to know about the 'state of the art' of:
1) The problem of classifying ...
4
votes
0
answers
237
views
Factorization of equivariant maps
Let $X$ be a finite set, $G$ a finite group and $M$ another Abelian
(multiplicative) group. Let us have a transitive (left) action $G
\times X \to X$ and an action $G \times M \to M$ by automorphisms.
...
3
votes
4
answers
570
views
A polynomial homomorphism from Gl to the group of units is a power of the determinant
I was browsing MO and stumbled upon this post, and I got very curious. I searched for about half an hour and could not find a proof for the statement that any polynomial group homomorphism $\mathrm{Gl}...
3
votes
2
answers
1k
views
A structure of the group of automorphisms of an infinite binary tree
My friend asked me to ask his question here. Where he can find (a paper or a book) containing a complete description (with the proof) of a structure of the group of automorphisms of an infinite binary ...
3
votes
4
answers
757
views
Lucido's three prime lemma
Let G be a finite solvable group. If p,q,r are distinct primes dividing |G|, then G contains an element of order the product of two of these three primes.
This is lucido's three prime lemma. I ...
3
votes
3
answers
1k
views
A table for irreducible integral representation of finite cyclic groups
Is there such a table where the irreducible integral representations of finite cyclic groups
are listed?
Edited:
Thanks for Todd Leason's comment.Acutally,i want to know all inequivalent ...
3
votes
2
answers
211
views
Classification of finite simple groups with abelian Sylow 2-subgroups
In this MathSE question,
classification of finite simple groups with Abelian Sylow 2-subgroups,
credit is rightly given to John Walter. But in the introduction to his paper, Walter explicitly states ...
3
votes
2
answers
450
views
Is there any simple formula for the character of $S_{n}$ represented by the set of $k$-tuples of $\{1,2,...,n\}$?
I'm interested in the representation theory of symmetric groups.
I'm now trying to search for the formula for the characters of $\Omega^{k}$, the set of $k$-tuple of elements of $\Omega$ a set of $n$ ...
3
votes
3
answers
714
views
Cohomology of elementary abelian $p$-groups, i.e. $H(G,{\mathbb F}_p)$ with $G\cong{\mathbb F}_p^r$
I have two questions.
$\bf 1.$ First, a reference request. Let $G\cong{\mathbb F}_p^r$ for some integer $r\geq 0$ and let $V=G^*={\rm Hom}(G,{\mathbb F}_p)$. Then $(H(G,{\mathbb F}_p),+,\cup )$ is a ...
3
votes
2
answers
343
views
Good, detailed references for "mod p lower central series"
I am looking for good, detailed references for "mod $p$ lower central series".
So far I only find papers such as (https://core.ac.uk/download/pdf/81193793.pdf, https://www.sciencedirect.com/science/...
3
votes
1
answer
224
views
Fixed points of the automorphisms of sporadic groups
Sporadic groups have very few outer automorphisms (in fact, $|\mathrm{Out}(G)|\leqslant2$), so it is very natural to ask what are the fixed points subgroups. For a group of Lie type (and a suitable ...
3
votes
1
answer
608
views
Amenability of Thompson's group looking at a 4-manifold having it as the fundamental group
Just for curiosity I have done a quick web-search and I have seen that some people are studying manifolds with amenable fundamental group. On the other hand, any finitely presented group and then, in ...
3
votes
1
answer
271
views
Passing to normal forms in graphs of groups
Given a word $w \in X^{\pm 1}$ representing an element of the free group $F(X)$ there is a (usually non-unique) sequence $w=w_0 \to w_1 \to \cdots \to w_r$ with $|w_i|>|w_{i+1}|$ where $w_r$ is the ...
3
votes
2
answers
279
views
Searching for theorems characterizing when $O_p(G)$ is trivial / non-trivial
Let $G$ be a finite group. Let $p$ be a prime.
Let $O_p(G)$ be the $p$-core of $G$.
Are there any theorems known saying something like
$O_p(G)$ is trivial, if and only if ... and
$O_p(G)$ is non-...
3
votes
1
answer
276
views
For $G$ an adjoint Chevalley group, are all of $G(\mathbb Z)$'s finite-index subgroups congruence subgroups?
Let $G$ be an adjoint Chevalley group. Are all of $G(\mathbb Z)$'s finite-index subgroups congruence subgroups?
I read a theorem that states: When $G$ is the universal Chevalley group and it's not of ...
3
votes
1
answer
292
views
Special linear groups over function fields
Let $p$ be a prime number, and let $q$ be a finite power of $p$. Denote by $F_q$ the unique field with $q$ elements.
What is known about the structure and properties of $\mathrm{SL}_2(F_q[t])$ as ...
3
votes
1
answer
696
views
Unique factorization of finite groups under direct sum?
I am told that finite groups have unique factorization under direct product. That is, call a nontrivial group "indivisible" if it is not isomorphic to a direct product of nontrivial groups. Then ...
3
votes
1
answer
248
views
Identifying group extension from cohomology class of $D_8$
I have the following problem. It is well known that $H^\ast(D_8,\mathbb{Z}/2)\cong \mathbb{F}_2[x,y,w]/(xy=0)$ with $|x|=|y|=1$ and $|w|=2$ (see Adem,Milgram "Cohomology of finite groups"). ...
3
votes
1
answer
201
views
Injection from Artin monoids to Coxeter groups
Let $\sigma$ be a permutation. If two positive braids represent $\sigma$ and are of minimal length among the braids representing $\sigma$, then they are equal. From what I could gather, this result is ...
3
votes
2
answers
315
views
Character kernels in the lattice of subgroups of a finite abelian group
I am looking for any efforts that have been made to characterize the character kernels (equivalently, the subgroups yielding cyclic quotients) inside the lattice of subgroups of a finite abelian group....
3
votes
2
answers
337
views
Frobenius Groups of Automorphisms
Recently, I am looking different papers on the topic
$$\mbox{Frobenius groups of automorphisms of a group.}$$
But I am familiar with Frobenius groups only; not with their (faithful) actions on groups. ...