The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
2answers
104 views

A problem with pointwise stabilizer subgroups of fixed-point subspaces II

Definitions: Let $W$ be a representation of a group $G$, $K$ a subgroup of $G$, and $X$ a subspace of $W$. Let the fixed-point subspace $W^{K}:=\{w \in W \ \vert \ kw=w \ , \forall k \in K \}$. Let ...
0
votes
1answer
72 views

A problem with pointwise stabilizer subgroups of fixed-point subspaces I

Definitions: Let $W$ be a representation of a group $G$, $K$ a subgroup of $G$, and $X$ a subspace of $W$. Let the fixed-point subspace $W^{K}:=\{w \in W \ \vert \ kw=w \ , \forall k \in K \}$. Let ...
4
votes
1answer
218 views

Is there a nonabelian finite simple group with Grothendieck ring of multiplicity one?

Let $G$ be a finite group. It admits finitely many irreducible complex representations $H_1, \dots, H_r$ which generate, for $\oplus$ and $\otimes$, the Grothendieck ring $\mathcal{G}(G)$ of $G$ (also ...
0
votes
1answer
75 views

Unipotent orbit in adjoint group over finite field

[Editted: The assertion is wrong; see Jay's answer] My apology if this question is too simple. I am reading Deligne-Lusztig "Reductive groups over finite fields" and at the beginning of Chap. 4, ...
2
votes
1answer
154 views

Matrix Elements of Real Representations

I asked this question over at Math.StackExchange and despite having had a bounty on it I did not receive an answer. Suppose that $G$ is a finite group and we have a unitary irreducible representation ...
3
votes
1answer
106 views

Finite p-groups and their fibered products

Is every finite $p$-group an epimorphic image of a fibered product of two finite $p$-groups which can be generated by $2$ elements?
13
votes
1answer
407 views

Enumeration of $0-1$ matrices with determinant $1$

Has the number $f(n)$ of $n \times n$, $0{-}1$ matrices whose determinant is $+1$ been enumerated? E.g., for $n{=}2$, there are $f(2)=3$ such matrices: $$ \left( \begin{array}{cc} 1 & 0 \\ 0 ...
-1
votes
1answer
104 views

When is 2 a generator for a prime modules? [closed]

I think 2 generates all 0 < r < 11 mod 11. So for what other primes is 2 a generator? I apologize if this is not a research level question, I'm not a mathematician or student, just a curious ...
4
votes
2answers
226 views

Maximal abelian subgroup of general linear groups

Thanks for any help or comments. Is it possible to recognize all maximal abelian subgroups of general linear group on finite field $F$ of order $q$, $GL_n(F)$. By maximal abelian I mean if $A$ is ...
3
votes
1answer
124 views

Subgroups of index 2 in a fibered product

Let $G$ be a finite group and let $M,N \lhd G$ be normal subgroups with a trivial intersection. Suppose that $G$ has a subgroup of index $2$. Must $G$ have a subgroup of index $2$ which contains ...
2
votes
1answer
132 views

Invariant subspaces of an $F_2$-representation of the affine linear group of dimension 1

Let $p$ be an odd prime (large if it matters) and let $G= Aff(\mathbb{F}_{p^2}) \cong \mathbb{F}_{p^2} \rtimes \mathbb{F}_{p^2}^*$ be the affine linear group acting on $\mathbb{F}_{p^2}$ by $x\mapsto ...
27
votes
2answers
1k views

How do you *state* the Classification of finite simple groups?

From the point of view of formal math, what would constitute an appropriate statement of the classification of finite simple groups? As I understand it, the classification enumerates 18 infinite ...
4
votes
1answer
159 views

About the set of Sylow-$p$ subgroups of $G$

Let G be a finite group and S be the set of Sylow p-subgroups of G for a prime p dividing the order of G. Assume that |S|>1. Let U and V be two disjoint non-empty subsets of S such that, ...
0
votes
0answers
57 views

Experimenting with the spider relator

The Monster group (actually the bimonster) has a presentation as Y555. Y555 is the quotient of a coxeter group (the coxeter diagram is a central node with three "spokes" coming out of it with length ...
1
vote
0answers
61 views

finite p-group subgroup of infinite p-group

is there any finite p-group G that is subgroup or minimal/maximal subgroup of infinite p-group H? if yes what is the limits? can this happen with different p's? i'm more interested in being maximal ...
3
votes
0answers
118 views

Deligne-Lusztig and Character sheaves

Consider: $G$ - a nice group ($GL_n$) over a finite field $F$. $X$ - the flag variety. Consider a nice $G$-equivariant $l$-adic sheaf $\mathcal{M}$ on $X \times X$, equipped with Weil structure. Fix ...
1
vote
1answer
168 views

permutation action on cohomology of Stiefel manifolds

Let $V_k(\mathbb{R}^n)$ be Stiefel manifolds. In the paper The cohomology rings of real Stiefel manifolds with integer coefficients, Martin Čadek, Mamoru Mimura, and Jiří Vanžura, J. Math. Kyoto ...
0
votes
1answer
94 views

A bijection between Lusztig series induced by inflation

Context: Let $\pi: \widehat{G} \rightarrow G$ be a surjective morphism between connected reductive groups defined over $\mathbb{F}_q$ whose kernel is a central torus. Then $\pi : \widehat{G}^F ...
3
votes
0answers
215 views

Galois correspondence subgroups/subsystems

In this paper (1998) by M. Izumi, R. Longo, S. Popa, there is the following result (page 49) on compact groups: By applying this result to finite groups, we get a Galois correspondence ...
1
vote
0answers
121 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 ...
2
votes
1answer
154 views

What is the growth of the rank of a power of a finite simple group?

Which asymptotic bounds (upper and lower) are known for $s_n$ - the minimal number of generators of $S^n$ where $S$ is a nonabelian finite simple group?
10
votes
0answers
200 views

Solving a set of equations in a finite symmetric group

A standard way to find solutions to a finite set of equations in a finite symmetric group ${\rm S}_n$ is to take the equations as relators of a finitely presented group, to use the low index subgroups ...
3
votes
0answers
151 views
+150

Alternating quotients of (2,3,7;10)

It was shown that the only quotient of the group $G := \langle a, b \ | \ a^2, b^3, (ab)^7, [a,b]^{10} \rangle$ of the form PSL(2, q) is PSL(2, 41). That lead me to consider other families of simple ...
3
votes
1answer
105 views

Covering finite groups by kernels

Let $G$ be a finite group. When does there exist a finite group $H$ such that every $h\in H$ is in the kernel of some epimorphism $H\to G$? This is well-known to be true for $G$ abelian, for example ...
3
votes
2answers
248 views

If d(“G/H”) < d(G) = 2, must H contain a primitive element?

Let $G$ be a finite group that can be generated by $2$ elements, and let $H \leq G$ be a (not necessarily normal) subgroup for which there exists some $g \in G$ such that $H \langle g\rangle = G$. ...
14
votes
1answer
334 views

Number of solutions to equations in finite groups

Suppose $G$ is a finite group and that $E$ is an equation of the form $x_1 x_2 ... x_n = e$, where each $x_i$ is in the set of symbols $\{x, y, x^{-1}, y^{-1}\}$. Is it always true that the number ...
2
votes
1answer
104 views

Units in a finite semisimple group algebra

Let $G$ be a finite group and $k$ a finite field, with the characteristic of $k$ not dividing the order of $G$. Then $kG$ is a finite semisimple group algebra with the interesting property that an ...
1
vote
0answers
88 views

Generalization of groups with non-connected prime graph

Suppose $G$ is a non-abelian finite group and $\pi(G)=\pi_1(G)\cup \pi_2(G)$ is a disjoint union of all primes dividing $|G|$. Suppose further that for every two elements $g_1,g_2\in G\setminus Z(G)$ ...
4
votes
0answers
94 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) ...
2
votes
0answers
54 views

explicit matrices for Weil ($p^2$ dimensional) representation of $Sp(4,\mathbb{F}_p)$, $p>3$

I am looking for more-or-less explicit matrices for the $p^2$ dimensional Weil representation of $Sp(4,\mathbb{F}_p)$, suitable for computer implementation. Ideally, I would like the images of the ...
2
votes
1answer
195 views

Structure of symplectic group over finite fields

We are working over the finite field $\mathbb{F}_{q}$ of odd prime characteristic $p$ and of cardinality $q$ some power of $p$. We recall the symplectic group $Sp(4,\mathbb{F}_{q})$ as the group of ...
2
votes
1answer
294 views

cohomology ring of symmetric group of order $3$

Let $S_3$ be the symmetric group of order $3$. What is the cohomology ring $$ H^*(S_3;\mathbb{Z})?$$ My attempt: I want to use mathematical induction on $n$ for $S_n$. For $n=1$, $S_1$ is trivial. ...
4
votes
1answer
121 views

Can any finite distributive weighted lattice be realized by inclusion of groups?

By theorem 2.1 here, any finite distributive lattice $\mathcal{L}$ can be realized as an intermediate subgroups lattice. A weighted lattice $(\mathcal{L},\tau)$ is a lattice $\mathcal{L}$ with a ...
3
votes
1answer
175 views

Centralizers in the universal central extensions of the alternating groups?

For $n \ge 8$ the Schur multiplier $H_2(BA_n, \mathbb{Z})$ (where $A_n$ denotes the alternating group) stabilizes to $\mathbb{Z}_2$, and hence there is a universal central extension $\widetilde{A}_n$ ...
8
votes
2answers
346 views

Can any finite lattice be realized as an intermediate subgroups lattice?

Let $G$ be a finite group and $H$ a subgroup. Let $\mathcal{L}(H \subset G )$ be the lattice of all the intermediate subgroups between $H$ and $G$. Question: Can any finite lattice be realized as ...
0
votes
1answer
101 views

The simple groups with an absolutely irreducible projective representations with small degrees

In the question "Simple Hurwitz Groups of order less than 10^7", it came up that all the Hurwitz groups with absolutely irreducible projective representations of degrees up to 7 over any field are ...
3
votes
2answers
313 views

symmetric 2-cocycle / many projective representations

Let $G$ be a finite group, $k$ the field of complex numbers. Are there (cohomologically nontrivial) group 2-cocycles $\sigma\in Z^2(G,k^\times)$ such that for all $g,h\in G$: ...
5
votes
1answer
343 views

Simple Hurwitz Groups of order less than 10^7

I'm trying to calculate a table of all simple hurwitz groups of order less than 10^7. None of the tables I found went further than 10^6, so I decided to use the tables of all simple groups up to 10^7 ...
5
votes
0answers
153 views

Derived subgroup of rational points versus rational points of derived subgroup

Let $\mathbf G$ be a connected algebraic group defined over a field $\mathbb F_p$. If $q=p^n$, then the groups $\mathbf G^\prime (\mathbb F_q)$ and $\mathbf G (\mathbb F_q)^\prime$ are not always ...
-2
votes
1answer
162 views

Is there any Lefschetz-like principle for representations of finite groups?

Representation theory (at least the origin of this terminology) aims to exhibit a model (a represetative) in the group of matrices for an abstract group which is known by only its group law. So ...
1
vote
1answer
100 views

p-groups and 2-generated abelian images

Let $p$ be a prime number. Is there a finite nonabelian $p$-group $G$ such that any finite epimorphic $2$-generated image of $G$ is abelian?
3
votes
0answers
313 views

A dual version of a theorem of Øystein Ore in group theory

Let $(H \subset G)$ be an inclusion of finite groups. This post is a dual version for the Generalization of a theorem of Øystein Ore in which it's proved: Theorem: $\mathcal{L}(H\subset G)$ ...
0
votes
0answers
78 views

Asymmetry of functions defined on the $n$-th roots of the unity

Let $\mathcal{A} = \{V : \mathbb{U}_n \rightarrow \mathbb{C}\}$ where $\mathbb{U}_n$ is the group of the complex $n$-th roots of the unity. This group naturally acts on $\mathcal{A}$: for any $a \in ...
2
votes
1answer
122 views

Schur covering group for S4

It is well-known that the symmetric group S4 has two Schur covering groups, S4-tilde and S4-hat. There are explicit presentations for both groups, and we know that S4-hat is isomorphic to GL(2,3). ...
8
votes
2answers
239 views

Certain signed sum over $S_n$

The following question appeared in my research: Let $G_1,G_2,G_3$ all be subgroups of $S_n$, and consider the sum $$ \sum_{g_i \in G_i, g_1g_2g_3 = id} \epsilon(g_1) $$ that is, we only consider ...
3
votes
1answer
137 views

the number of indecomposable modules of finite groups over finite fields of a fixed dimension

I am interested in determining the the number of indecomposable modules of finite groups over finite fields of a fixed dimension. Specifically, I have the following conjecture: Conjecture. Suppose we ...
11
votes
0answers
190 views

Elements of order 3 normalizing no non-identity 2-subgroups in Almost Simple Groups

This question is partly motivated by a situation which arises in modular representation theory. A finite group $G$ is said to be almost simple if $G$ has a unique minimal normal subgroup which is a ...
3
votes
0answers
103 views

Invariant Laurent polynomials under cyclic group action

Start with the cyclic group $G:=\mathbb{Z}/p$ of prime order $p$ and and an integer lattice $P:=\mathbb{Z}^p$. Let $G$ act on $P$ by cyclic permutation of coordinates. There is an induced action on ...
2
votes
0answers
116 views

Special sets of involutions generating ${\rm S}_n$

For which positive integers $k$ and $r$ are there involutions $g_{n,i} \in {\rm S}_n$ $(n \in \mathbb{N}, \ i = 1, \dots, k)$ such that the following hold?: for any $n$, the $g_{n,i}$ $(i = 1, ...
7
votes
1answer
97 views

Covering a set with images of a transversal

Let $G$ be a permutation group on a finite set $\Omega$ with orbits $\Omega_1,\ldots,\Omega_k$. By a transversal we mean a set $\lbrace\omega_1,\ldots,\omega_k\rbrace$ with $\omega_j\in\Omega_j$ for ...