Questions tagged [gr.group-theory]
Questions about the branch of algebra that deals with groups.
7,940
questions
7
votes
2
answers
619
views
Reference for nonlinearity of covers of $\operatorname{SL}(2,\mathbb R)$
It is known that no nontrivial connected cover of $\operatorname{SL}(2,\mathbb R)$ admits a faithful finite dimensional linear representation (see, for example, page 143 in Fulton-Harris and Exercise ...
- 1,772
2
votes
1
answer
208
views
Subsets of the boundary of a surface group
Consider the surface group $\Gamma=\langle a,b,c,d\mid [a,b][c,d]=1\rangle$: it is a Gromov hyperbolic group; its Gromov boundary $\partial\Gamma$ is homeomorphic to $S^1$ (the unit circle).
I would ...
- 329
4
votes
0
answers
105
views
Do the normal forms for braid groups really conceal information about better than randomly applying the braid relations?
In braid based cryptography, one typically wants to conceal the way a certain braid $b$ has been obtained. One therefore puts $b$ into some normal form. Since every braid has a unique normal form, the ...
- 27.8k
2
votes
0
answers
326
views
Ring structure on cohomology of groups
Assume that $G$ is a finite group and that $A$ is an arbitrary $G$-module. Then we know that can define the cohomology groups of $G$ with coefficients in $A$ in the usual way and we denote the latter ...
- 431
5
votes
2
answers
359
views
Have semigroups with actions on themselves that have a dual to the compatibility axiom ever been studied?
For a semigroup $G$ with a left action on itself, the axiom for compatibility becomes:
$$
\forall f,g,h\in G:hg(f)=h(g(f))
$$
Now suppose there is additional axiom, or constraint if you prefer, ...
- 505
5
votes
2
answers
562
views
Exceptional isomorphisms between finite simple Chevalley groups
Steinberg's "Lectures on Chevalley Groups"
https://math.depaul.edu/cdrupies/research/papers/chevalleygroups.pdf
contain ``a complete list of isomorphisms" among the various finite simple Chevalley ...
- 5,040
6
votes
0
answers
84
views
Coarse embeddability into Hilbert space of residually finite groups
By definition a finitely generated group G is coarsely embedded into Hilbert space if there is a function $F: G\to \ell_2$, such that $\|F(g_n)-F(h_n)\|\to\infty$ iff $d(g_n,h_n)\to\infty$, where $d$ ...
6
votes
1
answer
418
views
Does every cocompact lattice admit a homomorphism (with infinite image) into a compact Lie group?
Let $\Gamma$ be a cocompact arithmetic lattice in a semisimple algebraic group. Does it admit a homomorphism $\Gamma \to K$ with infinite image into a compact real Lie group $K$?
- 1,772
3
votes
3
answers
541
views
Finite subgroups (not finite index, just finite) of the modular group
The modular group is commonly described as the group of linear fractional transforms $z \mapsto \displaystyle \frac{az+b}{cz+d}$ with $a,b,c,d$ integers and $ad-bc = 1$. Of course, a great deal is ...
1
vote
2
answers
757
views
Which is better for creating tables of group theory info, GAP or MAGMA?
Specifically, I want to compute the set of values of $|G:\text{ker}(\chi)|/\chi(1)$ for all the characters of a p-group, for a lot of p-groups. I don't know how to use either program, so before I ...
- 121
8
votes
1
answer
357
views
Do you know this Burnside ring module?
Let $G$ be a finite group and $\Omega(G)$ its Burnside ring. There is a certain $\Omega(G)$-module, let's call it $M(G)$, that appears in something that I am thinking about. As an abelian group $M(G)$ ...
- 54.4k
7
votes
1
answer
360
views
On describing a sort of "well-behaved" subgroups of a free abelian group
I found this question when I tried to figure out what kind of subgroups of a free abelian group behave just as well as in the finitely generated case.
Let $M$ be a free abelian group and $N$ a ...
- 403
4
votes
1
answer
295
views
Coboundary for the Cohomology of free groups
Let $G$ be a group. Let $\Bbbk$ be a field of char. $0$. We denote with $C^{n}(G, \Bbbk)$ the set of maps $f\: : \: G^{n}\to \Bbbk$ and with $\partial_{G}\: : \: C^{n-1}(G, \Bbbk)\to C^{n}(G, \Bbbk)$ ...
- 1,424
13
votes
1
answer
211
views
The finiteness criterium $F$ under quasi-isometry
A group $G$ is defined to have $F$ if there exists a finite $K(G,1)$.
This property is clearly not invariant under quasi-isometry as one can see from the trivial group and $\mathbb{Z}_2$.
My question:...
- 131
4
votes
2
answers
373
views
Is $(G\rtimes H,H)$ a Gelfand pair iff $G$ is abelian?
Let $G$ be a finite group and $K \subset G$ a subgroup. Then $(G,K)$ is a Gelfand pair if the double coset Hecke algebra $\mathbb{C}(K \backslash G / K)$ is commutative.
Let $H$ be a subgroup of $...
3
votes
2
answers
231
views
Do the irreducible modules of this finite group preserve a tensor product structure?
I am interested in a particular group $G$, where
$$ (A_4\times C_\ell) \lhd G \lhd S_4 \times D_\ell$$
Here, $C_\ell$ is cyclic, $D_\ell$ is dihedral of order $2\ell$, and the two inclusions both have ...
- 11.2k
1
vote
0
answers
61
views
Computing subgraph orbits
I have group $G$ acting on a 4-regular 120 node graph $\Gamma$. I want to compute equivalence classes of connected subgraphs of $\Gamma$, where by equivalent I mean in the same orbit. More ...
- 11
28
votes
1
answer
2k
views
Have finite doubly transitive groups been classified?
I am trying to determine whether the literature contains a complete proof of the classification of finite 2-transitive groups. This is a fundamental result with important applications in many areas ...
- 6,387
4
votes
1
answer
325
views
Do irreducible characters form a closed set?
A character on a discrete group $\Gamma$ is a conjugation-invariant function $\tau$ which is of positive
type, and is normalized so that $\tau(e) = 1$, where $e$ is the identity element of $\Gamma$. A ...
- 1,378
1
vote
0
answers
289
views
When does a normal subgroup H of a group G have a complement in G? [closed]
When does all normal subgroups of a group have complement? This question is different from question When does a subgroup H of a group G have a complement in G?
Related to this question I ask is ...
- 121
4
votes
1
answer
267
views
CAT(0)-groups in dimension 2
Suppose I have a space $X$ which is connected, simply connected, CAT(0) of dimension 2 and a group $G$ which acts on $X$ freely, isometrically, properly discontinuously and cocompactly. What can be ...
- 17.3k
6
votes
3
answers
644
views
Solvable irreducible subgroups of the $\mathbf{GL}_n$ of $\mathbf{F}_p$ ($p$ prime)
I have a finite-dimensional vector space $E$ over the finite prime field $\mathbf{F}_p$ and a solvable subgroup $G\subset\mathbf{GL}(E)$ for which $E$ is an irreducible representation. Do the groups $...
- 18.5k
6
votes
1
answer
243
views
Real-valued character in Block with cyclic defect has at most two constituents modulo $p$
Let $G$ be a finite group and let $(K,R,k)$ be a $p$-modular system (large enough for $G$ etc.) and consider a block algebra $B \subseteq RG$ with cyclic defect group.
My question is about the ...
- 309
5
votes
1
answer
604
views
Non-vanishing of the Tate-Shafarevich kernel in group cohomology
Let $G$ be a finite group. Let $M$ be a finite $G$-module (a finite abelian group with an action of $G$).
We consider a special kind of $G$-modules; in particular, our $M$ is a finite dimensional ...
- 13.6k
7
votes
0
answers
354
views
"Factorisation" in special linear groups over rings of integers
It is known that for any number field $F$ with infinitely many units (i.e. $F$ is not $\mathbb Q$ or an imaginary quadratic field) with ring of integers $O$ the special linear group $\mathrm{SL}_2(O)$ ...
- 3,349
7
votes
1
answer
284
views
Subgroup ranks of the symmetric group
It's well known that every subgroup $G$ of $S_n$ has a generating set of size at most $n-1$ and that this generating set can be found algorithmically (by Jerrum's filter)
I have heard many times a ...
- 539
3
votes
2
answers
306
views
Determining whether or not a subset of $S_n$ generates $S_n$
I have a certain family of subsets of $S_n$, and I'd like to know which subsets in this family generate $S_n$. What techniques exist for solving this type of problem?
Are there any known results on ...
- 633
5
votes
0
answers
94
views
Is there an interval of finite groups, at index n, with strictly more elements than the subgroup lattice of any group, of order n?
Let $G$ be a finite group and $\mathcal{L}(G)$ its subgroup lattice.
Let $s(n):= max\{|\mathcal{L}(G)| \text{ for } |G|=n \}$.
There is an OEIS page for the sequence $s(n)$: A018216
1, 2, 2, 5, 2, ...
2
votes
0
answers
119
views
Large almost abelian subgroups of permutation groups
Let $m<n$. Let $t_{m,n}$ be the largest cardinality of a subgroup $G\subseteq S_{n}$ such that if $A\subseteq\{1,...,n\}$ and $|A|=m$, then the subgroup
$\{f\in G:f|_{A}=\text{Id}_{A}\}$ of $G$ is ...
- 27.8k
1
vote
0
answers
120
views
Isomorphism with fixed number of Permutations [closed]
Suppose, I have a fixed number of permutations for each sub-graph to determine isomorphism of whole graph. Is it possible to determine efficiently ?
For example, $G, H$ are isomorphic graphs. For ...
- 267
8
votes
1
answer
421
views
Is it known whether every symmetric pair of finite groups of Lie type is a Gelfand pair?
A pair of groups $(G,H)$ is called a symmetric pair if $H$ is the group of fixed points of an involutive automorphism of $G$, for example $(GL(2n,\mathbb{F}_q),Sp(2n,\mathbb{F_q}))$ is a symmetric ...
- 83
0
votes
1
answer
190
views
Relation between the Frattini property and pronormal subgroups of solvable groups
A subgroup $H$ of $G$ is said to satisfy the Frattini Property if for any subgroup $K$ and $L$ such that $H\leq K \unlhd L$ implies that $L \leq N_L(H)K$.
A subgroup is $H$ is pronormal in $G$ if for ...
- 366
2
votes
2
answers
357
views
A good upper-bound for the cardinal of an interval of finite groups
This post is a relative version of General bound for the number of subgroups of a finite group
Let $[H,G]$ be a interval of finite groups with $|G:H| = n$.
Question: What is a good upper-bound of $|[...
32
votes
3
answers
3k
views
Is there a nice explanation for this curious fact about cyclic subgroups?
Here's something that I noticed that quite surprised me.
Let $G$ be a finite abelian group. Consider the following expression.
$$
\nu(G) = \sum_{\substack{H \leq G \\ H \text{ is cyclic}}} |H|
$$
It ...
- 6,240
1
vote
0
answers
149
views
Classification of finite subgroup of $PGSp_4(\mathbb{C})$
Is there a classification of the finite subgroups of $PGSp_4(\mathbb{C})$?
- 1,046
7
votes
2
answers
866
views
Historical reference request on Nilpotent groups
From Wikipedia:
"Abelian groups were named after Norwegian mathematician Niels Henrik Abel by Camille Jordan because Abel found that the commutativity of the group of a polynomial implies that the ...
- 1,555
7
votes
1
answer
543
views
Groupoid cardinality and Egyptian fraction representations of 1
It is well-known that any rational number can be represented using a sum of distinct Egyptian fractions (that is, rational fractions of the form $1/n$ with $n\in\mathbb{N}$). This may be proven by ...
- 319
20
votes
1
answer
1k
views
Does the ring $R = \mathbb{Z}[X^{\pm1}]$ of Laurent polynomials over $\mathbb{Z}$ satisfy $SL_2(R) = E_2(R)$?
Let $R = \mathbb{Z}[X^{\pm1}]$ be the ring of Laurent polynomials on one indeterminate over $\mathbb{Z}$. Let $E_2(R)$ be the subgroup of $GL_2(R)$ generated by the matrices that differ from the ...
- 7,463
8
votes
0
answers
414
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,463
1
vote
0
answers
70
views
A non-surjective coboundary map induced by a central extension
Let $k$ be a number field and
$$ 1\to A \to B \to C \to 1$$ be a central extension of finite groups over $\mathcal{O}_k$ (the ring of integers of $k$), with $B$ non-commutative. Consider the induced ...
- 11
5
votes
0
answers
205
views
A metric on $Homeo([0,1])$
One can define a metric on the set $Homeo([0,1])$ by setting $dist(f,g) =$ measure of support of $f^{-1}g$, that is the measure of the set of points $x$ where $f(x)\ne g(x)$. Was this metric studied ...
user6976
14
votes
2
answers
790
views
1-st cohomology of multiplicative group in a vector space
Let $\mathbb k$ be a field of characteristic $p$ and let $\mathbb k_n$ be a 1-dimensional representation of $\mathbb k^\times$, where the action is given by $t\circ v= t^n v$. Is it known what are the ...
- 790
2
votes
3
answers
311
views
Realization of irreducible $\mathfrak{S}_d$-modules and the representation theory of Lie algebra
Let $n$ be a positive integer. It is well-known that a method to realize irreducible $\mathfrak{S}_d$-modules is to construct the so-called Specht modules $S^{\mu}$ which are submodules in the so-...
- 159
2
votes
0
answers
150
views
Nonvanishing of the dual Euler totient on boolean intervals of finite groups
The rank $n$ boolean lattice $B_n$, is the subset lattice of $\{1,2, \dotsm n \}$.
Let $[H,G]$ be a boolean interval of finite groups. Its Euler totient is defined by $$\varphi(H,G):=\sum_{K \in ...
4
votes
2
answers
271
views
Does there exist a non-hyperelliptic Riemann surface with automorphism group $C_2\times A_4$?
Does there exist a non-hyperelliptic Riemann surface of genus 5 with automorphism group $C_2\times A_4$?
- 49
3
votes
0
answers
140
views
Correspondence between dual center and linear characters of finite reductive group
Let $(G,F)$ be a connected reductive group defined over $\mathbb{F}_q$ via the Frobenius $F$ and let $(G^*,F^*)$ be a group in duality with $(G,F)$ with respect to rational maximal tori $T \subseteq G$...
- 309
1
vote
0
answers
256
views
Presentation of hyperbolic groups [closed]
Is it true that all hyperbolic groups are finitely presented? If yes, what is the right reference for that?
- 11
10
votes
2
answers
592
views
Normal subgroups of automorphism group of relational structure
Let $S$ be the set of all finite permutations of $\mathbb{N}$, i.e. they fix all but a finite set, and $A\subset S$ the set of all even permutations.
Theorem. The normal subgroups of $S_\infty$ are ...
- 2,932
4
votes
2
answers
1k
views
Closed subgroups of $\mathrm{SO}(4)$
My question is quite simple : we know all closed subgroups of $\mathrm{SO}(3)$; is it also known what are the closed subgroups of $\mathrm{SO}(4)$?
- 51
1
vote
0
answers
309
views
Show that $\mathrm{SL}_2(\mathbb{F}_p)$ is quasi-random
Terry Tao gives this oblique definition of quasirandom group in his notes 3
$G$ is quasi-random (of order $D$) if all non-trivial unitary representations $\rho: G \to U(H)$ have dimension at least $...
- 22.6k