The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
1answer
81 views

Classification of indecomposable inclusions $(H \subset G)$ with $G$ decomposable

Definition: A group $G$ is indecomposable if: $G = G_1 \times G_2 \Rightarrow \exists i \ G_i = 1$. We can generalize the notion of indecomposable from groups to inclusion of groups as ...
6
votes
1answer
303 views

Generalization of a theorem of Øystein Ore in group theory

Theorem (Øystein Ore, 1938): A finite group $G$ is cyclic iff its lattice of subgroups $\mathcal{L}(G)$ is distributive. Proof: see below. Let $(H \subset G)$ be an inclusion of finite groups and ...
2
votes
0answers
199 views

Prime order elements in $GL(n,\mathbb{Z})$

What is known about the elements of prime order $p$ in $GL(n,\mathbb{Z})$? All I know at this point is that $GL(n,\mathbb{Z})$ has an element of prime order $p$ iff $p-1\leq n$ and that there are only ...
2
votes
1answer
180 views

Irreducible representation of Heisenberg group with characteristic 2?

As we all know that the irreducible representation for Heisenberg group can be classified easily when the group is over a finite field $\mathbb{F}_q$, where $q=p^n$ and $p$ is a prime greater than ...
0
votes
1answer
73 views

Absolute irreducibility of a symmetric square?

This is a question I received today by email, which somebody more experienced with finite group representations can probably answer directly. Take $F:=\mathbb{F}_q$ for some prime power $q$, so ...
3
votes
1answer
395 views

Existence of finite nonabelian groups satisfying certain identities

Is there a finite nonabelian group satisfying all of the following identities? $$ (x^py^p)^2 = (y^px^p)^2, \quad p = 2,3,5,7,11,\ldots (\text{primes}) $$ I thank you all in advance.
1
vote
0answers
59 views

The coproduct on the 2-boxes space of the goup-subgroup subfactor planar algebras

Let $(H \subset G)$ be an inclusion of finite groups. Let the subfactor $(\mathcal{R} \rtimes H \subset \mathcal{R} \rtimes G)$ with $\mathcal{R}$ the hyperfinite ${\rm II}_1$ factor, and its planar ...
0
votes
1answer
105 views

Questions on invariant operators of finite group representations

1) Is there an equivalent of the Casimir operator for an irreducible representation of a finite group? 2) Given an invariant operator of a certain group, can I check if it is invariant under only ...
6
votes
2answers
174 views

Asymptotic density of finite abelian and solvable groups

For every natural number n, let: Gn be the number of distinct group structures with at most n elements; An be the number of distinct abelian group structures wit at most n elements; Sn be the number ...
1
vote
0answers
143 views

What's the ratio of inclusions of finite groups with a distributive lattice?

Definition: Two inclusions of finite groups are equivalent, $(A \subset B) \sim (C \subset D)$, if: $(A/A_B \subset B/A_B) \simeq (C/C_D \subset D/C_D)$ with $A_B$ the normal core of $A$ in $B$. ...
5
votes
1answer
163 views

Special linear groups contained in symplectic groups

Let $q$ be a power of prime $p$, and $n, m, k$ positive integers such that $mk=2n$ and $2\leq m<2n$. Let $\mathrm{Sp}(2n,q)$ be the symplectic group of dimension $2n$ over $\mathrm{GF}(q)$ and ...
4
votes
1answer
166 views

orthogonal group in characteristic 2

Let $O(2,\mathbb{Z}_2)$ be the orthogonal group of order two matrices. On $\mathbb{Z}_2$ there should exist just one odd quadratic form, hence the stabilizer subgroup $O^-$ of an odd quadratic for ...
1
vote
1answer
110 views

Successive Schur covers

Let $G_0$ be a finite group and $G_j$ a Schur cover of $G_{j-1}$ for $j=1,2,3\ldots$. Is $G_2$ equal to $G_1$? If not, will the sequence stop after finite steps in general?
1
vote
0answers
94 views

Combination of two recent problems about finite groups of square orders

Is there any finite group $G$ of order $n=m^2$ satisfying the following conditions? (a) There is no subgroup of order $m$; (b) There exist subsets $A$, $B$ such that $|A|=|B|=m$ and $G=AB$. ...
0
votes
3answers
136 views

Possible degrees of faithful projective representations of $\mathrm{PSL}(k,q)$ and $\mathrm{Sp}(2k,q)$ over complex numbers

Let $q$ be a prime power and $k$ a positive integer. What are the possible degrees of faithful projective representations of the projective special linear group $\mathrm{PSL}(k,q)$ (over the Galois ...
7
votes
3answers
235 views

The cohomology group $H^{1}(GL_{2}(\mathbb{F}_{p}), M_{2}(\mathbb{F}_{p}))$

Let $M_{2}(\mathbb{F}_{p})$ be the vector space of 2$\times$2 matrices over the finite field $\mathbb{F}_{p}$ where $p$ is a prime number, and let $GL_{2}(\mathbb{F}_{p})$ be the group of invertible ...
3
votes
1answer
141 views

A question on conjugacy classes of central involutions in a finite group

An involution $a$ of a group $G$ is called central if there exists a sylow $2$-subgroup $H$ of $G$ such that $a \in C_G(H)$, or equivalently if the centralizer of $a$ contains a sylow $2$-subgroup. ...
6
votes
1answer
209 views

Generalization of Frobenius groups

Frobenius group is a transitive permutation group on a finite set, such that no non-trivial element fixes more than one point and some non-trivial element fixes a point. In other words, if in a ...
4
votes
0answers
102 views

Self-duality of the subgroup lattice of $G\times H$

Let $G$ and $H$ be finite groups and $\gcd(|G|,|H|)=1$. Suppose the lattice of all subgroups of $G\times H$ is self-dual. Is the lattice of all subgroups of $G$ self-dual?
2
votes
1answer
121 views

Classification of 2-groups with center of index 4

Can one obtain a classification of 2-groups with center of index 4, analogous to the classification of 2-groups with derived subgroup of index 4?
2
votes
0answers
115 views

Are there workable numerical approaches for the pentagon equation?

Warning: this post is the "numerical" analog of Are there workable algebraic geometry approaches for the pentagon equation? I've replaced "algebraic geometry" by "numerical" in its content, ...
0
votes
3answers
165 views

quasiprimitive non-solvable groups

I'm looking for the reference about quasiprimitive unsoluble groups. Actually we can find a lot of useful things about quasiprimitive solvable groups in "Representations of solvable groups by Manz and ...
9
votes
1answer
297 views

Factorization of a finite group by two subsets

I want to write a GAP program for checking the following question. Let $G$ be a given finite group with order $n$. Is it true that for every factorization $n=ab$ there exist subsets $A$ and $B$ ...
3
votes
1answer
236 views

Generating finite groups

Let $G$ be a finite group possessing a generating set of order $n \in \mathbb{N}$. Let $H \leq G$ and $x_1, \dots, x_n \in G$ for which $\langle H, x_1, \dots, x_n \rangle = G$. Must there be $h_1, ...
6
votes
1answer
533 views

Are there workable algebraic geometry approaches for the pentagon equation?

A pentagon equation is a system of polynomial equations of degree $3$ with several variables and integer coefficients, given by a fusion ring. A fusion ring is given by a finite set of integer ...
13
votes
0answers
462 views

What's the big deal about $M_{13}$?

$M_{13}$ is the Mathieu groupoid defined by Conway in Conway, J. H. $M_{13}$. Surveys in combinatorics, 1997 (London), 1–11, London Math. Soc. Lecture Note Ser., 241, Cambridge Univ. Press, ...
5
votes
0answers
79 views

representable functions on FinGrp

We look at functions $f: \text{FinGrp} \rightarrow \mathbb{N}$ such that $f$ is constant on isomorphism classes. Let's say that $f$ is representable if there is a (possibly infinite) group $K$ such ...
0
votes
1answer
189 views

Where can I find the classification of groups of order 16p? [closed]

I need to classify the groups of order $16p$ by their generators and relations between the generators. Can I find this classification anywhere?
1
vote
1answer
126 views

Products of subgroups that generate a finite group

Consider the following general problem. There is a finite group $G$ and $H_1,H_2 < G$. Suppose we know that $\langle H_1, H_2 \rangle = G$, i.e. $G$ is generated by $H_1$ and $H_2$. Denote by $n_0$ ...
5
votes
0answers
206 views

A particular example of solvable group

Let be $m$ an integer, $m>0$, $n=p_1^{a_1}...p_t^{a_t}$. Define $f(n)=a_1+...+a_t$. Let $G$ be a finite group and define $f(G)=\max\left\{\,f(\lvert g\rvert):g\in G\,\right\}$. Is there a finite ...
2
votes
1answer
178 views

The special subgroups of a finite abelian group of rank two

Let $G=\langle a_{1}\rangle\times\langle a_{2}\rangle$ such that $|a_{i}|=2^{k_{i}}$ and $k_{1}>k_{2}$ and $H$ be a subgroup of $G$ that there exists an automorphism of $G$ such that fix only ...
2
votes
1answer
178 views

Making a profinite group free

Let $F$ be a free profinite group, $G$ a profinite group. Suppose that the free profinite product $F \amalg G$ is a free profinite group. Must $G$ be a free profinite group? For abstract groups the ...
3
votes
2answers
285 views

groups of order $ p(p^2-1) / 4 $ where $p$ is a prime

Let $p> 3$ be a prime number and $G$ be a finite group of order $p(p^2-1) / 4 $. If $ 4 \mid (p+1)$ then easily we can see that the $ p$-Sylow subgroup of $G$ is a normal subgroup of $G$. As I ...
6
votes
3answers
299 views

Union of conjugates of a subgroup

Let $G$ be a finite group, $H \leq G$ a proper subgroup. It is well known that the union of the conjugates of $H$ does not cover $G$. I would like to know of more precise results (even in special ...
1
vote
1answer
191 views

smooth quotient out of a singular variety?

If $X$ is a smooth quasi-projective variety over $\mathbb{C}$ and $G$ is a finite group acting faithfully on $X$, then the Shepard-Todd theorem gives us some criterion for $X/G$ to be smooth. My ...
5
votes
2answers
354 views

What is natural about the well-known bijection between conjugacy classes and irreps of a symmetric group?

Symmetric groups possess a well-known bijection between conjugacy classes and irreducible representations. More precisely, both sets are indexed by Young diagrams. Question: To what extent is this ...
-1
votes
1answer
79 views

maximal subgroup of a $p$-group

Let $G$ be a $p$-group of order $p^t$, and also let $exp(G)=p$. Is there such a group $G$, such that every maximal subgroups of it, not being abelian? In fact, I want an example of such a group with ...
6
votes
2answers
263 views

Subgroup property stronger than being characteristic

In what follows, all groups are assumed to be finite. Recall that if $K \leq H \leq G$ are groups, $K$ is said to be a weakly closed subgroup of $H$ in $G$ if, for all $g \in G$, $g^{-1}Kg \leq H$ ...
2
votes
1answer
151 views

On the Suzuki group

Let $G$ be the Suzuki group over the field with $q=2^{2m+1}$ elements, $m>0$. Then, by Theorem 3.10 from B. Huppert, N. Blackburn, Finite Group III, pp 192-193, or wikipedia, the group $G$ contains ...
4
votes
1answer
140 views

Generators of Sylow subgroups

Is there a function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that for each finite supersolvable group $G$, and a Sylow subgroup $S \leq G$ we have $d(S) \leq f(d(G))$? Here $d(H)$ denotes the ...
23
votes
1answer
876 views

Enumeration of a finite group

Let $G=\{g_1,g_2,...,g_n\}$ be a group with $e=g_1$ and $n$ is odd, Set $$a_1=g_1$$ $$a_2=g_1g_2$$ $$a_3=g_1g_2g_3$$ $$a_n=g_1g_2...g_n$$ I am looking for example that all $a_i$ are different from ...
11
votes
1answer
400 views

On the order of finite simple groups

About the order of finite simple groups there exists a very interesting result which stated as follows: Let $G$ be an non-solvable simple group of order $g$. If $p\mid g$, where $p>g^{1\over 3}$ ...
2
votes
2answers
297 views

Finite Quotients and Resolutions of Singularities

So, I feel like I'm missing something obvious, but I have the following situation: Let $X\to Y$ be a finite group quotient of schemes (in fact, varieties) by the finite group $G$. Let $\tilde{Y}\to ...
1
vote
2answers
245 views

A semisimple group ring

Let $n \in \mathbb{N}$, $p$ a prime number, and $G$ a finite group of order coprime to $p$. Let $R = \mathbb{Z} /p^n \mathbb{Z}$ be the ring of integers mod $p^n$. Must $R[G]$ be semisimple? As noted ...
10
votes
2answers
253 views

Which finite nonabelian groups have all their quaternionic representations of degree one?

A finite group $G$ has a finite set of irreducible representations over the complex numbers. All of these representations are linear (that is, are maps in 1x1 complex matrices) if and only if $G$ is ...
4
votes
2answers
322 views

Finite groups factorized into two simple alternating groups

My research is somehow related to the following question : Describe and classify all finite groups $G$ such that $G=HK$ with $H \cap K=1$, where $H \cong A_m$ and $K \cong A_n$ for some integers $m, ...
3
votes
1answer
150 views

Integral representations of groups of small order

I have a problem in which it would be helpful to know about the integral representations of some groups of small order (probably of fairly low degree). From what I've gathered so far, cyclic groups of ...
6
votes
1answer
258 views

What is the Grothendieck group of the category of $\mathbf{Z}_p[G]$-modules?

Let $G$ be a finite group. Let $\mathcal{O}$ be a suitably large finite extension of the $p$-adic integers, with residue field $\mathbf{F}_q$. The Grothendieck group of the category of ...
2
votes
2answers
154 views

Number of generators of the commutator

Can one find a function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that for every finite supersolvable group $G$ we have: $d(G') \leq f(d(G))$? Here $d(K)$ is the cardinality of a minimal set of ...
0
votes
0answers
71 views

Eigenvalues of the Cayley-like graph

Let $ F_q $ be a finite field of characteristic 2. Let $ x^2 + Sx +P \in F_q[x] $ be an irreducible polynomial over $ F_q $, and let $ g $ be one of its roots in $ F_{q^2} $. Define a map $ M: ...