The study of symmetry: groups, subgroups, homomorphisms, and group actions.

learn more… | top users | synonyms (2)

21
votes
0answers
250 views

Projective profinite groups

I'm reading the first chapter of Serre's Galois Cohomology. On p. 58, He gives two examples of projective profinite groups: the profinite completion of free (discrete) groups; the cartesian product ...
17
votes
0answers
558 views

Rotman's exercise 2.8 “$S_n$ cannot be imbedded in $A_{n+1}$”

This question is about the (in)famous Rotman's exercise 2.8 in "An Introduction to the Theory of Groups." I've searched and found similar questions here and in MO, but none of them contains a valid ...
17
votes
0answers
193 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 ...
17
votes
0answers
256 views

Existence of a certain functor $F:\mathrm{Grpd}\rightarrow\mathrm{Grp}$

Let $\mathrm{Grpd}$ denote the category of all groupoids. Let $\mathrm{Grp}$ denote the category of all groups. Are there functors $F\colon\mathrm{Grpd}\rightarrow \mathrm{Grp}, ...
17
votes
0answers
423 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 ...
16
votes
0answers
180 views

References on the theory of $2$-groups.

Many theorems about odd order $p$-groups fail miserably for $2$-groups. These can range from simple $2$-group exceptions (e.g. Frobenius complements can be either cyclic or generalized quaternion) to ...
15
votes
0answers
217 views

Two groups that are the automorphism groups of each other

Let $H,K$ be two non-isomorphic groups such that $H\cong Aut(K)$ and $K\cong Aut(H)$. Is there any example of such groups ?
14
votes
0answers
295 views

On distributivity of lattice of group topologies

Let $\frak L$ be the set of all topologies $\mathcal T$ on $\Bbb Q$ (the additive group of all rational numbers) such that $(\Bbb Q,\mathcal T)$ is a topological group. Then $(\frak L,\subseteq)$ is a ...
14
votes
0answers
265 views

Taking the automorphism group of a group is not functorial.

Once upon a time I proved that there is no functorial 'association' $$F:\ \mathbf{Grp}\ \longrightarrow\ \mathbf{Grp}:\ G\ \longmapsto\ \operatorname{Aut}(G).$$ A few days ago I casually mentioned ...
13
votes
0answers
251 views

A question about Sylow subgroups and $C_G(x)$

Let $G=PQ$ where $P$ and $Q$ are $p$ and $q$-sylow subgroups of $G$ respectivly. In addition suppose that $P\unlhd G$, $Q\ntrianglelefteq G$, $C_G(P)=Z(G)$ and $C_G(Q)\neq Z(G)$ where $Z(G)$ is the ...
13
votes
0answers
426 views

Normalizers of automorphism groups

In abstract groups $\Gamma$ the normalizer $N_\Gamma(S)$ of a subset $S\subseteq\Gamma$ is the subgroup of all $x \in \Gamma$ that commute with $S$, i.e. $xS = Sx$, i.e. $x\ y\ x^{-1} \in S $ for all ...
13
votes
0answers
230 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 ...
12
votes
0answers
287 views

Values attained by $|G/Z(G)|$?

So I was working through some problems in a book on $p$-groups and noticed that $p$-groups have some really nice properties. So I started computing what the values of $|G/Z(G)|$ for $p$-groups. I ...
12
votes
0answers
262 views

On solvable quintics and septics

Here is a nice sufficient (but not necessary) condition on whether a quintic is solvable in radicals or not. Given, $x^5+10cx^3+10dx^2+5ex+f = 0\tag{1}$ If there is an ordering of its roots such ...
11
votes
0answers
143 views

Cogroup structures on the profinite completion of the integers

Let $\mathsf{ProFinGrp}$ be the category of profinite groups (with continuous homomorphisms). This is equivalent to the Pro-category of $\mathsf{FinGrp}$. Notice that $\widehat{\mathbb{Z}} = ...
11
votes
0answers
357 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 ...
10
votes
0answers
223 views

Kernels in $\mathbf{Top}$

There is a following well-known theorem for abelian categories (at least the ones I know, Ab, $R$-mod and so on... not so familiar with categorical language to be honest) which states the following : ...
10
votes
0answers
220 views

How confident can we be about the validity of the classification of finite simple groups?

The completion of the classification of finite simple proofs was first announced in 1983. However, as late as 2008 minor gaps were still found and closed. How certain can we be that The proof of ...
10
votes
0answers
150 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 ...
10
votes
0answers
156 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 ...
10
votes
0answers
178 views

Group of isometries of $\mathbb{R}^n$

Determine the group of isometries of $\mathbb{R}^n$ equipped with the sup metric. My wild guess is $(a_1,\ldots,a_n)\mapsto(\pm a_{\sigma(1)},\ldots,\pm a_{\sigma(n)})+(c_1,\ldots,c_n)$ where ...
9
votes
0answers
181 views

Writing this $G$-set explicitly as union of orbits

Let $G$ be a finite abelian group, and let $A$ and $B$ be subgroups. I'm interested in $G/A\times G/B$ with its natural $G$-set structure. In $G/A\times G/B$, the stabilizer of any element is $A\cap ...
9
votes
0answers
139 views

Variational formulations in group theory?

I apologise if this is a naïve question. Are there any known / widely applicable / important variational formulations in (finite) group theory? That is, a relationship of the form $$\alpha(G) = ...
9
votes
0answers
104 views

A group acting on functions of functions of functions

Given a group acting on a set $X$, there is a standard way to define an action of the group on the set of functions of $X$. This can be extended to the set of functions of functions of $X$ as I show ...
9
votes
0answers
137 views

How useful are geometric aspects when studying finite groups?

My newbie impression when studying finite group theory is that geometric aspects are not very prevalent. Cayley graphs play quite some role for visualising finite groups, but compared to the study of ...
9
votes
0answers
140 views

Central Quotients of Finite Groups

There are more than 50 groups of order 48, and among them 16 groups have center of order 2, let $G$ be among such groups. Then $G/Z(G)$ is a group of order 24. What is this group of order 24? There ...
9
votes
0answers
107 views

Conditions for a group to admit the structure of a Lie group

This question is motivated by a previous one: Conditions for a smooth manifold to admit the structure of a Lie group and wants to be a sort of "converse". Here I am taking an abstract group $G$ and ...
9
votes
0answers
272 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
931 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 ...
8
votes
0answers
65 views

Can we find a bound so that we can conclude $G$ is a $p$ group?

Let $n_p$ be number of the elements of order $p$ in a group $G$, My motivation is that if $n_2\ge\dfrac 34 |G|$ then $G$ is $2$ group. You can check it from this. Is there such general bound for ...
8
votes
0answers
145 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 ...
8
votes
0answers
249 views

$G$ is finite, $A \leq G$ and all double cosets $AxA$ have the same cardinality, show that $A \triangleleft G$

If $G$ is a finite group and $A$ is a subgroup of $G$ such that all double cosets $AxA$ have the same number of elements, show that $gAg^{-1}=A$ for all $g \in G$. Here is my attempt, I guess it's ...
8
votes
0answers
235 views

What do linearly ordered abelian groups look like?

Recently a post on MathOverflow connected a theorem about ordered abelian groups to the axiom of choice, and it made me want to try and play with these objects a bit. But it appears to me that I ...
8
votes
0answers
205 views

How is $\mathrm{PGL}(V)$ a subgroup of $\mathrm{P\Gamma L}(V)$?

I've stumbled upon a strange exercise while reading "Notes on Infinite Permutation Groups" by Bhattacharjee, Möller, Macpherson and Neumann. If you have the book, the exercise is 7(ix) on page 66. ...
8
votes
0answers
445 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 ...
7
votes
0answers
182 views

Problems from the Kourovka Notebook that undergraduate students can fully appreciate

The Kourovka Notebook is a collection of open problems in Group Theory. My question is: could you point out some (a "[big-list]" of) problems [by ...
7
votes
0answers
47 views

Is $SL(2, 3) $ a subgroup of $SL(2, p)$ for $ p>3$?

As the title says, I was wondering whether $SL(2,3)$ is a subgroup of $SL(2,p)$ for $p>3$. I know that it is for $p=5$ (it can be found explicitly using the quaternionic representation), and I ...
7
votes
0answers
68 views

Wreath product (Rotman, p.173)

I have a question about the explanation of wreath product in Rotman's "An introduction to the theory of groups (4th ed.)." Let $D$ and $Q$ be groups, $\Lambda$ be a $D$-set, $\Omega$ be a finite ...
7
votes
0answers
83 views

Automorphisms of $GL_2(\mathbb{Z}/p^{n}\mathbb{Z})$

Let $p$ a prime and $n$ a positive integer, What are the outer automorphisms of the finite linear group $GL_2(\mathbb{Z}/p^{n}\mathbb{Z})$? do we know a complete list of them? Is there any thing on ...
7
votes
0answers
77 views

Find all subgroups of $\mathbb{Z_2} \times \mathbb{Z_2} \times \mathbb{Z_4}$ isomorphic to the Klein $4$-group - Fraleigh p. 110 Exercise 11.12

I tried to fill in the steps but I'm still confounded by this solution. $|\mathbb{Z_2} \times \mathbb{Z_2} \times \mathbb{Z_4}| = 2\cdot2\cdot4$. $order(\mathbb{Z_2} \times \mathbb{Z_2} \times ...
7
votes
0answers
181 views

The order of $H$ is relatively prime to its index $[G:H]$

Suppose that a subgroup $H$ of a finite group $G$ satisfies one of the following two conditions: (i) For any nonidentity element $x$ of $H$ we have $C_{G}(x) \subset H$ (ii) If $K$ is a subgroup of ...
7
votes
0answers
102 views

A connection between nonplanar complete graphs and the alternating group?

I went to an undergrad's senior honors thesis presentation a few days ago. She was discussing crossing numbers and mentioned that complete graphs $K_n$ are nonplanar iff $n \geq 5$. ?Coincidentally? ...
7
votes
0answers
185 views

Orbit space of a free, proper G-action principal bundle

Let $G$ be a topological group and let $r \colon E \times G \to E$ be a continuous right-action on a topological space $X$. If $p\colon E \to B$ is a continuous map into a topological space $B$ such ...
7
votes
0answers
217 views

Is there some sort of correspondence between groups and partitions of a set?

Every group action on a set $S$ partitions the set into orbits. Conversely, for every partition of $S$ is there a group action such that the set of orbits of the group action equals the partition? ...
7
votes
0answers
423 views

How do the infinitesimal generators generate the whole compact Lie group?

Suppose that $G$ is a connected compact Lie group, $g(a)\in G$ is its element, and $a=(a_1,a_2,...,a_r)$ is the parameter of the group element $g(a)$. Then the infinitesimal generator of the group can ...
7
votes
0answers
63 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 \{ ...
7
votes
0answers
144 views

Orders of elements and homomorphisms.

Corollary 4.6.8 There is a group $G$ of order $n^3$ given by $G= \{b^ic^ja^k \mid 0 ≤ i, j, k < n\}$, where $a$, $b$, and $c$ all have order $n$, and $b$ commutes with $c$, $a$ commutes with ...
7
votes
0answers
358 views

Why is the Monster group the largest sporadic finite simple group?

I do know that there is a "long proof" (I have read that it is +1000pages) that the Monster group is the largest sporadic simple group. My question is: Why can we be sure that there is no other ...
7
votes
0answers
231 views

Way to Tietze's Transformation Theorem

during our knot-theory lecture we have talking about the following theorem: Given two finite presentations of the same group, one can be obtained from the other by a finite sequence of Tietze ...
7
votes
0answers
203 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 ...