# Tagged Questions

Use with the (group-theory) tag. The tag "finite-groups" refers to questions asked in the field of Group Theory which, in particular, focus on the groups of finite order.

6k views

1k views

### Can I recover a group by its homomorphisms?

There is finitely generated group $G$ which I don't know. For every finite group $H$ I can think of, I know the number of homomorphisms $G \to H$ up to conjugation. (By this I mean that two ...
3k views

### Isomorphic quotients by isomorphic normal subgroups

In this recent question, Iota asked if, given a finite group $G$ and two isomorphic normal subgroups $H$ and $K$, it would follow that $G/H$ and $G/K$ are isomorphic. This is not true (a simple ...
605 views

### If $\lvert\operatorname{Hom}(H,G_1)\rvert = \lvert\operatorname{Hom}(H,G_2)\rvert$ for any $H$ then $G_1 \cong G_2$

Let $G_1$ and $G_2$ be two finite groups such that for any finite group $H$, $\lvert\operatorname{Hom}(H,G_1)\rvert = \lvert\operatorname{Hom}(H,G_2)\rvert$. How can I show that $G_1 \cong G_2$ ?
5k views

272 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 ...
562 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 ...
8k views

5k views

### Can someone explain Cayley's Theorem step by step?

This is from Fraleigh's First Course in Abstract Algebra (page 82, Theorem 8.16) and I keep having hard time understanding its proof. I understand only until they mention the map $\lambda_x (g) = xg$. ...
2k views

3k views

### Derived subgroup where not every element is a commutator

Let $G$ be a group and let $G'$ be the derived subgroup, defined as the subgroup generated by the commutators of $G$. Is there an example of a finite group $G$ where not every element of $G'$ is a ...
Suppose that $G$ is a finite group, and that $H$ and $K$ are normal subgroups of $G$ with trivial intersection, and suppose that $H$ and $K$ are isomorphic. Is it true that the quotient groups $G/H$ ...
A topology on a group is required to be compatible with the group structure (multiplication must be a continuous map $G\times G\to G$ and inversion must be continuous). I've only ever seen the ...