Questions tagged [group-theory]

A group is an algebraic structure consisting of a set of elements together with an operation that satisfies four conditions: closure, associativity, identity and invertibility. Group theory is the study of groups.

6,727 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
81
votes
0answers
1k views

Geometric way to view the truncated braid groups?

This is perhaps a vague question, but hopefully there exists literature on the subject. The question is motivated by an answer I gave to this question. I also asked a related question on MO, although ...
50
votes
0answers
1k views

Subgroups as isotropy subgroups and regular orbits on tuples

Is there some natural or character-theoretic description of the minimum value of d such that G has a regular orbit on Ωd, where G is a finite group acting faithfully on a set Ω? Motivation: In some ...
42
votes
0answers
590 views

Can Erdős-Turán $\frac{5}{8}$ theorem be generalised that way?

Suppose for an arbitrary group word $w$ ower the alphabet of $n$ symbols $\mathfrak{U_w}$ is a variety of all groups $G$, that satisfy an identity $\forall a_1, … , a_n \in G$ $w(a_1, … , a_n) = e$. ...
40
votes
0answers
530 views

What is $\tau(A_n)$?

Suppose G is a finite group. Define $\tau(G)$ as the minimal number, such that $\forall X \subset G$ if $|X| > \tau(G)$, then $XXX = \langle X \rangle$. What is $\tau(A_n)$? Similar problems for ...
40
votes
0answers
1k views

Is there a “ping-pong lemma proof” that $\langle x \mapsto x+1,x \mapsto x^3 \rangle$ is a free group of rank 2?

Let $f,g\colon \mathbb R \to \mathbb R$ be the permutations defined by $f\colon x \mapsto x+1$ and $g\colon x \mapsto x^3$, or maybe even have $g\colon x \mapsto x^p$, $p$ an odd prime. In the book, ...
24
votes
0answers
176 views

Iwahori versus Bruhat decompositions

I am faced with the following issue that I do not understand but seems contradictory, coming from the book of Roberts and Schmidt about $GSp(4)$. Consider a local non-archimedean field $F$, let $p$ be ...
21
votes
0answers
300 views

Can you make the triviality of $\langle a,b,c \mid aba^{-1} = b^2, bcb^{-1} = c^2, cac^{-1} = a^2 \rangle$ more trivial?

I recently learned the following pleasant fact. (It was in the proof of Proposition 3.1 of this paper - but don't worry, there's no model theory in this question.) Let $G$ be a group, and let $a,b,c\...
20
votes
0answers
400 views

Proving there is no non-abelian finite simple group of order a Fibonacci number

"Prove there does not exist a finite simple non-abelian group of order of a Fibonacci number" I would like to answer the above question, but I currently have few ideas of where to begin. I ...
20
votes
0answers
324 views

$f\colon I\rightarrow G$ and Gromov $\delta$-hyperbolicity

Please recall that $\left|\int_0^1 f(t)\,dt -w\right|\leq \int_0^1|f(t)-w|\,dt$. In general, let $(X,d)$ be a metric space. Given a function $f:I\to X$ let $m_f\in X$ be such that $d(m_f,w)\leq \int_0^...
19
votes
0answers
345 views
+300

Abstract proof that $\lvert H^2(G,A)\rvert$ counts group extensions.

$\DeclareMathOperator{\Hom}{Hom}$ $\DeclareMathOperator{\im}{im}$ $\DeclareMathOperator{\id}{id}$ $\DeclareMathOperator{\ext}{Ext}$ $\newcommand{\Z}{\mathbb{Z}}$ Let $G$ be a group, let $A$ be a $G$-...
19
votes
0answers
574 views

Description of Levi factors and unipotent radicals of parabolic subgroups in classical groups

For an algebraic group $G$ over an algebraically closed field $k$, a parabolic subgroup $P$ has factorization $P = Q \rtimes L$, where $Q$ is the unipotent radical of $P$ and $L$ is some Levi factor ...
18
votes
0answers
458 views

How big must the union of a group's Sylow p-subgroups be?

For various orders $n$ it's a common exercise to prove that a finite group $G$ of order $n$ can't be simple by using the Sylow theorems to show that there is some prime $p \mid n$ such that the number ...
17
votes
0answers
531 views

Groups of order $180$, $540$, $1080$ are not simple.

Here's how I solve the problems. Thanks for pointing out what might be the weakness of my solutions. Actually, what I want are other ways of solving this kind of problems, appart from counting the ...
17
votes
0answers
211 views

If $g$ is commutator then so is $g^m$ for $(m,o(g))=1$

There are certain theorems in finite group theory whose proofs involve character theory and for which there are still no character-free proofs. Among such is Frobenius theorem on transitive ...
16
votes
0answers
130 views

If $G \bigoplus H$ is isomorphic to a proper subgroup of itself, then must the same be true of one of $G$ and $H$?

Let $G$ and $H$ are groups. If $G \bigoplus H$ is isomorphic to a proper subgroup of itself, then must the same be true of one of $G$ and $H$? (at least H or G) I found some examples of $G$ such ...
15
votes
0answers
445 views

Maximal subgroups that force solvability.

For which finite groups $M$ is it the case that every finite group $G$ with $M$ as a maximal subgroup solvable? If $M$ satisfies this condition then $M$ is solvable. Also, if $M$ is abelian then $M$ ...
15
votes
2answers
838 views

Why is the Plancherel measure interesting?

One can average a class function $f:G\to\Bbb C$ for a finite group $G$ by interpreting $f$ as a complex-valued function on the space ${\rm cl}(G)$ of conjugacy classes and computing the expectation $\...
14
votes
0answers
694 views

Lowest dimensional faithful representation of a finite group

How does one compute the lowest dimensional faithful representation of a finite group? This question originated in the context of given a finite group $G$: trying to find the lowest dimensional shape ...
13
votes
0answers
221 views

Can the set of endomorphisms of $(\mathbb{R},+)$ have cardinality strictly between $\mathfrak c^ c$ and $\frak c $?

Let $\mathfrak{c}$ be the cardinality of the continuum. It is well known that in ZFC that the reals under addition has $\frak{ c^c}$(cardinality of maps to itself, and in ZFC this is the same as $2^\...
13
votes
0answers
142 views

Have “groupy” numbers been studied before?

In number theory, a positive integer $n$ is called highly composite if it has more divisors than any smaller positive integer. This notion has been studied by several notable mathematicians; for ...
13
votes
0answers
172 views

Subgroups of $\text{Spin}(7)$.

I am interested in subgroups of $\text{Spin}(7)$ and identifying certain elementary properties that they have. Specifically relating to commutativity. Let me apologise at this point for my ignorance ...
13
votes
0answers
667 views

Character theory of $2$-Frobenius groups.

Edit Summary: I've posted this on MO and received a partial answer there. Can anybody help me expand on this? Definition. Let $G$ be a finite group and $F_1=\text{Fit}\,G$ and $F_2/F=\text{Fit}\...
13
votes
0answers
2k views

Fundamental group of a compact manifold

In an article I am currently reading, the author tells us that for compact (finite dimensional topological) manifolds X and finite groups $\Gamma$, the set $$\mathrm{Hom}(\pi_1X,\Gamma)/\Gamma$$ where ...
12
votes
0answers
253 views

Are all verbal automorphisms inner power automorphisms?

Suppose $G$ is a group. $\DeclareMathOperator{\Wa}{Wa}\DeclareMathOperator{\Tame}{Tame}\DeclareMathOperator{\Aut}{Aut}$ Lets call $\phi \in \Aut(G)$ verbal automorphism iff $\exists n \in \mathbb{N}, ...
12
votes
1answer
262 views

Monomial characters of direct product

Let $G$ be a finite group and let $\text{Irr}(G)$ be the set of irreducible complex characters of $G$. A character $\chi\in\text{Irr}(G)$ is monomial if there exists a subgroup $H\leq G$ and a linear ...
12
votes
0answers
300 views

The division algebras arising in the Wedderburn decomposition of a finite group modulo its radical in characteristic $p$

The following question is probably straightforward for those who know. However, I am used to working either over splitting fields or in characteristic zero. Question. Let $G$ be a finite ...
12
votes
0answers
527 views

Higman group with 3 generators is trivial

The group $G$ generated by $x,y,z$ subject to the relations $[x,y]=y$, $[y,z]=z$, $[z,x]=x$ is trivial. This isn't the case for the corresponding group with 4 generators, which is the famous Higman ...
12
votes
0answers
250 views

Subgroup structure of $\mathrm{SL}(2, p^2)$ and its irreducible characters

I am taking a course in representation theory of finite groups, and somehow I ended up getting assigned to write a report on subgroup structure and irreducible characters of $\mathrm{SL}(2,7)$ and $\...
12
votes
0answers
206 views

Official name(s) for a certain type of p-group

I'm implementing a class of groups into Sage (sagemath.org), a computer algebra system, and I'm wondering if it has any official names. I found it in Gorenstein's "Finite Groups." It is there called $...
12
votes
0answers
609 views

What groups are semidirect products of simple groups?

The question I want to ask is actually slightly broader than that in the title: what is the smallest class of finite groups which contains all finite simple groups groups, and is closed under ...
11
votes
0answers
3k views

Was Atiyah's proof of the odd order (Feit-Thompson) theorem false?

I read last year that Atiyah thought he had found a proof of the odd order theorem of only 12 pages, using $K$-theory, and that people were trying to figure out if it was correct or not. But I never ...
11
votes
0answers
155 views

$\text{SL}(2, \mathbb{F}_q)$, for which characters is the $G$-representation irreducible?

Followup to here. Let $\mathbb{F}$ be a finite field with $q$ elements, and let $G = \text{SL}_2(\mathbb{F})$. The group $G$ acts linearly on the $2$-dimensional vector space $\mathbb{F}^2$ and fixes ...
11
votes
0answers
1k views

Induced representation, Ind(Res(U))

I am reading a book of Fulton and Harris "Representation theory, a first course". Now it's all about representation theory of finite groups, and there is one exercise, which I can't solve: If $U$ is ...
11
votes
1answer
172 views

Attempt to prove that every subgroup is an equalizer

I'm trying to prove: For any subgroup $H$ of $G$, there is a group $T$ and homomorphisms $f,g:G\to T$ such that $f(x)=g(x)$ iff $x\in H$. My idea is to construct a group which contains two copies ...
11
votes
0answers
764 views

How strong is the statement that Thompson F is amenable?

Justin Moore's proof turned out to have an error I just attended Justin Moore's talk on this today. Since I am neither a group theorist nor a combinatorist, and is not familiar with ultrafilters I ...
10
votes
0answers
188 views
+100

Are groups with this property already studied?

Let $\Omega$ be a finite group, let $G$ be a subgroup of $\Omega$ and let $S$ be a set of subgroups of $\Omega$ such that for $H, H'\in S$ we have $H\cap H' \in S$ and $\langle H, H' \rangle \in S$. ...
10
votes
0answers
182 views

Does asymmetric fraction of finite groups tend to $0$?

Let’s define asymmetric fraction of a finite group $G$ as the number $af(G) = \frac{|\{(g, a) \in G \times Aut(G)| a(g) = g\}|}{|G||Aut(G)|}$. Equivalently it can be defined as $P(A(X) = X)$, where $A$...
10
votes
0answers
168 views

Raising to the power of $i$

We all know the usual exponentiation $a^i$ in the complex setting; one can ask is there such a map in a given group; more specifically is there a criterion in the general sense such that given an ...
10
votes
0answers
130 views

Is there a theory of “almost symmetry” generalizing group theory?

Apologies for the inescapably soft question. Does there exist a theory that aims to develop tools analogous to those of group theory, except for the study of objects that are merely almost ...
10
votes
0answers
120 views

Is there a categorification of “(virtually) solvable”?

If this question doesn't make sense or is otherwise poor quality, then I'm sorry. Motivation: As part of my research, I study virtually solvable (1) groups. These are goups that have a solvable ...
10
votes
0answers
75 views

Small group characterizing identity matrix

I am looking for a small (say, finite and of small cardinality) subgroup of the general linear group whose centralizer consists only of scalar matrices. I work over complex numbers. A more precise ...
10
votes
0answers
307 views

Derived functors of abelianization

The abelianization functor from the category of groups to that of abelian groups is right exact in the sense that it takes a short exact sequence $$1 \to K \to G \to H \to 1$$ to a shorter exact ...
10
votes
1answer
241 views

Counting the number of elements in a double coset

Let $G$ denote the groups of $n\times n$ invertible matrices and $H$ be the subgroup of invertible upper triangular matrices. For $n=2$, by row reduction, or equivalently LU decomposition, it is ...
10
votes
0answers
978 views

Classification of triply transitive finite groups

A permutation group $G$ on a set $X$ is said to be $k$-transitive if it is both transitive on $X$ and either $k=1$ or the point stabilizer $G_x$ is $(k-1)$-transitive on $X\setminus\{x\}$. Is there ...
10
votes
0answers
353 views

Geometrical interpretation of a group action of $SU_2$ on $\mathbb S^3$

Background There're some nomenclatures from Michael Artin's Algebra to explain. 3-Sphere, or $\mathbb S^3$, is the locus of $x_0^2+x_1^2+x_2^2+x_3^2=1$, where $(x_0,x_1,x_2,x_3)\in\mathbb R^4$. $SU_2$...
10
votes
0answers
109 views

Cover and avoidance properties of chief factors: can we avoid exactly the ones we want?

If $G$ is a finite solvable group with chief series $1 = G_0 \leq \ldots \leq G_n = G$ (so each $G_i \unlhd G$ and if $G_{i-1} < H < G_i$ then $H$ is not normal in $G$) and $I \subseteq \{ 1,\...
10
votes
1answer
1k views

On group automorphism of subgroup a group $G$

Let $G$ be a group and $H$ be a subgroup of $G$. When is $\rm{Aut}(H)$ a subgroup of $\rm{Aut}(G)$?
9
votes
0answers
96 views

Is $[G_p \cap G_q:G_{pq}]$ always finite? v2.0

Suppose $G$ is a finitely generated group. $G_n = \langle\{g^n| g \in G\}\rangle$. Suppose $p$ and $q$ are coprime integers. Is the index of $G_{pq}$ in $G_p \cap G_q$ always finite? I have recently ...
9
votes
0answers
163 views

Is this specific group finite?

I have the following group presentation: $G=\left\langle a,b,c\ |\ a^2,b^{11},(ab)^{4},(ab^2)^6,ab^2abab^{-1}abab^{-2}ab^2ab^{-1},c^2,(ac)^3,(bc)^2\right\rangle$ Is $G$ finite? GAP's Size(G) runs ...
9
votes
0answers
134 views

Finite group of “linear substitutions”

From what I can tell, a linear substitution is an operation on a set of variables $x_1,\ldots,x_n$ which sends them to a new set of variables $y_1,\ldots, y_n$ via a linear transformation $$\vec{y} = ...

1 2 3 4 5 135