All Questions
Tagged with reference-request gr.group-theory
700 questions
5
votes
1
answer
712
views
Structure of abelian connected complex linear algebraic groups?
Let $G$ be an abelian connected complex linear algebraic group.
Is it true that $G$ is isomorphic to $(\mathbb{G}_m)^k\times (\mathbb{G}_a)^\ell$, where the nonnegative exponents denote repeated ...
- 53
5
votes
1
answer
396
views
Finite simple groups with three conjugacy classes of maximal local subgroups
$\DeclareMathOperator\PSL{PSL}$In [1] it was proved that
A finite nonsolvable group $G$ has three conjugacy classes of maximal subgroups if and only if $G/\Phi(G)$ is isomorphic to $\PSL(2,7)$ or $\...
- 151
5
votes
1
answer
273
views
'Lie correspondence' for formal power series in non-commuting indeterminates
This is related to an earlier question of mine. I would like an argument or a reference (or a missing hypothesis if needed) for the following.
Let $\mathbb{F}\langle\langle \alpha\rangle\rangle$ and ...
- 1,089
5
votes
1
answer
170
views
Equations and random subgroups in compact groups
EDIT: Here is a more specific question.
Let $G$ be a compact group and let $w$ be a word in $d$ variables. Then the solution set $S$ of the equation of $w=1$ is a closed subset of the product $G^d$ ...
- 4,728
5
votes
1
answer
540
views
Cosets of groups of functions
Let's consider an interval $I\subseteq\mathbb R$, and let $\mathcal F(I)$ be the set of bijective functions $f:I\to I$ so that the graph of $f$ is a analytic curve in $I\times I$.
The set $\mathcal ...
- 4,312
5
votes
1
answer
264
views
Group not leaving subset invariant
Let $Y,X$ be two sets of size n,m. Let $Y\subset X$.
What is the maximal group(in size) $G< Sym(X)$ such that gY=Y imply that $g=1$?
Here I mean that the only permutation which permutes elements of ...
- 2,179
5
votes
0
answers
140
views
Classification of visible actions for *reducible* representations?
Is there a classification of the pairs $(G,V)$ such that $G$ is reductive [and connected, if you like], and $G$ acts faithfully and visibly on $V$ - crucially, including all cases where $V$ is ...
- 3,230
5
votes
0
answers
108
views
Non-monotileable amenable groups
This is crossposted from MSE.
We say a subset $A$ of a group $G$ is a monotile for $G$ if $G$ is a disjoint union of right translates of $A$.
In his article Monotileable Amenable Groups, B. Weiss ...
- 10.6k
5
votes
0
answers
200
views
Virtual fibring of $\mathrm{Out}(F_2\times F_2)$
A finitely generated group $G$ is said to virtually fibre if there is a finite index subgroup $H\leq G$ and a non-trivial map $\varphi:H\to\mathbb{Z}$ with $\ker(\varphi)$ finitely generated.
I want ...
- 911
5
votes
0
answers
351
views
Adjoint identity on finite nilpotent groups
Let $G$ be a finite nilpotent group. Consider the following (adjoint) identity from [BuPa, Theorem 9.6]:
$$\left(\prod_{\chi \in \mathrm{Irr}(G)} \frac{\chi}{\chi(1)} \right)^2 =\frac{|Z(G)|}{|G|}\...
5
votes
0
answers
172
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 ...
- 8,529
5
votes
0
answers
266
views
Character tables of finite groups and isomorphism
I'd like to ask the following question:
Let $G$ and $H$ be finite groups.
Is there a useful criterion involving the ordinary character table which assures that $G$ and $H$ are isomorphic as groups?...
- 1,755
5
votes
0
answers
228
views
Automorphism groups of cocompact Fuchsian groups as mapping class groups
Let $\Gamma$ be a cocompact Fuchsian group. So it has presentation $$\langle x_1,y_1, \dots, x_g,y_g,z_1, \ldots, z_r \mid [x_1,y_1] \cdots [x_g,y_g]z_1 \cdots z_r=1, \ z_i^{m_i}=1 \rangle$$
for some $...
- 8,401
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 ...
5
votes
0
answers
96
views
Is every space group the symmetry group of some triply periodic minimal surface?
I know that there are a lot of TPMS with different symmetry groups. It seems like every space group is the symmetry group of some TPMS. But I can not find a reference that confirms this for all the ...
- 2,581
5
votes
0
answers
79
views
Some questions about the Lévy monoid of certain densities
Let $\bf H$ be a set, $f: \mathcal P({\bf H}) \rightharpoonup \bf R$ a partial function, and $\mathcal{D}$ the domain of $f$.
Next, denote by $\mathcal M(f)$ the set of all (total) functions $\theta: ...
- 10.5k
5
votes
0
answers
57
views
"Quasi-orthogonal" subgroup of a group with length?
For my project in bivariant K-theory for locally convex algebras, I'm looking how to call a particular notion of groups, too simple to be never considered elsewhere.
Let $G$ b a group with length $|\...
- 613
5
votes
0
answers
164
views
Dehn functions of Thompson's group $F$
It's well know that the first order Dehn function of $F$ is quadratic. Is a similar result known for its second-order, or even higher-order, Dehn function?
The second-order Dehn function of a group $...
- 51
5
votes
0
answers
107
views
A dynamical property of automorphisms of a locally compact group
Let $G$ be a Hausdorff locally compact group and let $\alpha$ be an automorphism of $G$. Say $\alpha$ is (forwards) topologically recurrent if for all $g \in G$ and all neighbourhoods $O$ of $g$, the ...
- 4,728
5
votes
0
answers
219
views
Character tables of the p-core of the binary modular congruence group of p-power level
Let $p \geq 5$ be a prime and let $n$ be positive integer. In his Ph.D thesis (See The characters of binary modular congruence group, Bulletin of the
American Mathematical Society. 79 (1973), no. 4.), ...
- 2,396
4
votes
3
answers
320
views
Examples of IF-groups
I have seen that several authors say that an infinite group $G$ is an IF-group (or has the IF-property) if every subgroup of infinite index in $G$ is free (for instance, see https://arxiv.org/pdf/1607....
- 11.3k
4
votes
2
answers
1k
views
Reference request for two-generator subgroups of a free group
According to B. Fine, G. Rosenberger, On restricted Gromov groups, Comm. Algebra 20 (1992) 2171--2181, Gromov proved the following in his long article introducing word-hyperbolic groups:
Let $x$ ...
- 25.8k
4
votes
2
answers
704
views
Behaviour of cohomology groups under extension of scalars
Let $\hat{R}\to R$ be a homomorphism of commutative unital rings and let
$\hat{M}$ be an $\hat{R}G$-module for a group $G$. Does the $R$-module isomorphism $$H^n(G,\hat{M}\otimes R)\cong H^n(G,\hat{M}...
- 51
4
votes
3
answers
272
views
Results about the existence of solutions in groups
Let $G$ be a group. Consider an arbitrary equation given by $w(\vec{g})=e$, where $w: G^n \to G$ takes an $n$-tuple $(g_1,...,g_n)$ to some expression involving products of the $g_i$, their inverses ...
- 223
4
votes
2
answers
1k
views
Every abelian torsion-free group is strictly totally orderable (via the compactness theorem)
Let $\mathbb G = (G, +)$ be a group. We say that $\mathbb G$ is strictly totally orderable (others would say bi-orderable) if there exists a total order $\preceq$ on $G$ such that $x+z \prec y + z$ ...
- 10.5k
4
votes
1
answer
353
views
Recognize this countably generated abelian group?
I recently came across a construction that, in abstraction, leads to the following family of abelian groups: Fix $1<q<p$ with $q$ and $p$ relatively prime. The group $G_{(p,q)}$ is given by the ...
- 2,235
4
votes
1
answer
1k
views
Automorphism group of factor groups
Let $G$ be a group and let $H$ be a factor group of $G$. Is there any result that relates $\operatorname{Aut}(G)$ (the automorphism group of $G$) and $\operatorname{Aut}(H)$?
As a very special case ...
- 1,108
4
votes
1
answer
225
views
Integer-valued polynomials from Pólya counting
Let finite group $G$ act on a finite set $X$ and hence on colorings $Y^X$, where $Y=\{1,2,\ldots,k\}$ is a set of colors. The Burnside-Pólya-Redfield-etc. counting theorem says that the number of ...
- 24.2k
4
votes
2
answers
998
views
A construction of generators of discrete subgroups of SL(2,R)
I know about geometrical method of construction of discrete subgroups of $SL(2,\mathbb{R})$ using Lobachevsky plane (e.g. B.A. Dubrovin, A.T. Fomenko, S.P. Novikov, Modern Geometry --- Methods and ...
- 211
4
votes
1
answer
326
views
Is a Lie subgroup whose center is closed, a closed subgroup itself?
I want to show that a certain Lie subgroup (i.e. generated by the exponential of elements in some Lie subalgebra) of a Lie group is closed. My knowledge of the subject of Lie groups is rudimentary, ...
- 4,304
4
votes
1
answer
274
views
Wedderburn decomposition of special linear groups
$\DeclareMathOperator\SL{SL}\newcommand\card[1]{\lvert#1\rvert}$I want to study about Wedderburn decomposition of group algebra $k\SL(n,\mathbb{F}_p)$ where $k$ is either an algebraically closed field ...
- 249
4
votes
1
answer
735
views
Shafarevich's theorem about solvable groups as Galois groups
I am seeking references to any proofs of Shafarevich's theorem about solvable groups being Galois groups.
- 101
4
votes
2
answers
378
views
Splitting field for $\mathrm{GL}(2,p)$ - reference request
It seems to me from a quick glance at several sources describing the complex and modular irreducible representations of $\mathrm{GL}(2,p)$ that any field $K$ containing a primitive $(p-1)$-root of ...
- 38.6k
4
votes
1
answer
436
views
Connectedness of the stabilizer in a semisimple group of a semisimple element in the Lie algebra: a reference request
Let $G$ be a (connected) semisimple algebraic group over an algebraically closed field $k$ of characteristic 0.
We consider the adjoint representation
$$ {\rm Ad}\colon G\to {\rm GL}({\mathfrak g}),$$
...
- 14.2k
4
votes
1
answer
773
views
Normal subgroups of projective special linear group over a ring
What are the normal subgroups of $PSL_2(\mathbb{Z}/p^n \mathbb{Z})$?
- 1,905
4
votes
1
answer
378
views
Where to begin in Computational Group Theory?
I'm coding a small application that looks for periodic solutions to the gravitational n-body problem. I'm trying to better understanding the symmetries of solutions, which is made up of the product of ...
- 297
4
votes
1
answer
214
views
A quotient group of a self-normalizing spherical subgroup
Let $G$ be simply connected, simple algebraic group over $\mathbb{C}$.
Let $H\subset G$ be a self-normalizing spherical subgroup of $G$,
not necessarily connected or reductive.
Here "self-...
- 14.2k
4
votes
1
answer
400
views
Speed of random walks in groups
I've seen some estimates for the decay in $d$ of the probability a SRW makes a distance $d$ in time $n$, but is there any reference for the "speed" of a random walk in a group? I'm interested mostly ...
- 4,432
4
votes
1
answer
385
views
Divergence of geodesics in mapping class groups
I'm trying to learn some stuff about divergence of geodesics. Let $\gamma$ be a geodesic in a metric space $X$. The divergence of $\gamma$ is a function $f(r)$ for $r \ge 0$ such that $f(r)$ is the ...
- 619
4
votes
1
answer
255
views
On the divisibility of the special linear group of degree $n$ over an algebraically closed field
Let $n$ be a positive integer, $p$ a (positive rational) prime, and $\mathbb K$ an algebraically closed field. If ${\rm char}(\mathbb K) = 0$ then ${\rm GL}_n(\mathbb K)$ is divisible (see here). But ...
- 10.5k
4
votes
1
answer
239
views
Latest progress on Tarski numbers
Two questions, the first: What is the smallest non negative integer that we do not know yet is the Tarski number of a group?
The second question is the same as in the title: What is the latest ...
- 2,118
4
votes
1
answer
119
views
Reference for nonquasi-split groups of type $E_6$ and $E_7$ over local fields
The semisimple groups over a local field have been classified by Tits, cf. [1] "Classification of algebraic semisimple groups" in Boulder and [2] "Reductive groups over local fields" in Corvallis.
In ...
- 991
4
votes
1
answer
869
views
Finite Unipotent Groups: References
It will be a great pleasure for me if one can suggest "Survey Articles" on following topics related to the finite unipotent group $U(n,\mathbb{F}_q)$. (Thanks in advance!!!)
The number of ...
- 1,169
4
votes
1
answer
565
views
Connection between Deligne-Mostow monodromy and Gassner representation at roots of unity of the pure braid group
I am looking for a specific reference to the connection between [1] the Deligne-Mostow monodromy and [2] Gassner representation at roots of unity of the pure braid group. I have seen many references ...
- 11.2k
4
votes
1
answer
197
views
Moment integrals and determinants
Let $USp(2n)$ be the compact symplectic group of size $2n$, $dA$ its Haar measure
of total mass one, and $\det(1−A)$ being computed for the standard representation of
$A\in USp(2n)$ as a matrix of ...
- 43.2k
4
votes
2
answers
412
views
Generators of the orthogonal group of a quadratic form in odd dimension in characteristic 2
In characteristic not $2$, the Theorem of Cartan-Dieudonné states:
[Grove, Theorem 6.6]: Let $q$ be a nondegenerate symmetric quadratic form of dimension $n$ in characteristic not $2$. Then every ...
- 168
4
votes
1
answer
256
views
On $(2,3)$-generation of finite simple classical groups
A group $G$ is called $(a,b)$-generated if $G=\langle x,y\rangle$ for some $x,y\in G$ with $|x|=a$ and $|y|=b$.
I know some of the histories on this problem. For example, in this early paper in 1996 ...
- 379
4
votes
1
answer
381
views
Are braid groups conjugacy separable?
I would like to re-ask a question that was raised in the comments here:
Normal subgroups of braid groups
Namely, a group $G$ is called conjugacy separable, if it holds that for every two elements $x,...
- 5,039
4
votes
2
answers
393
views
Embedding a linearly ordered free monoid into a linearly ordered group
A linearly ordered (shortly, l.o.) monoid is a triple $\mathbb M = (M, \cdot, \le)$ for which $(M, \cdot)$ is a (multiplicatively written) monoid and $\le$ is a total order on $M$ such that $xy < ...
- 10.5k
4
votes
1
answer
589
views
Commutator subgroups and normal $p$-complements
Let $G$ be a finite group with commutator subgroup $G'$. Let $p$ be a prime number.
Then $p \nmid |G'|$ if and only if $G$ has an abelian Sylow $p$-subgroup $P$ and normal $p$-complement $N$ (and in ...
- 1,661