# Tagged Questions

34 views

### Intuition - $fr = r^{-1}f$ for Dihedral Groups - Carter p. 75

Name $r$ = clockwise 90 deg. rotation and $f$ = flip across the square's vertical axis = the brown $\color{brown}{f}$ in my picture underneath. Zev Chonoles's $f$ is different. Carter fleshes out why ...
44 views

### Nontrivial Homomorphism(s) from $\mathbb{Z_3}$ to $S_3$ - Fraleigh p. 134 13.37

Reference: http://users.humboldt.edu/pgoetz/Homework%20Solutions/Math%20343/hwsome number 1 to 17 that I forgotsolns.pdf There are exactly two nontrivial ...
80 views

### In a finite cyclic group of order n, number of solutions to $x^m = e$ - Fraleigh p. 68 6.53,54

(53.) Show that in a finite cyclic group G of order n, written multiplicatively, the equation $x^m = e$ has exactly m solutions $x$ in G for each $m \in \mathbb{N}$ that divides n. (54.) With ...
46 views

### Image of Group Homomorphism is Finite and Divides |Domain of Group| - Fraleigh p. 135 13.44

Let $\phi: G \rightarrow G'$ be a homomorphism. Show that if $|G|$ is finite, then $|\phi[G]|$ is finite and divides $|G|$. Because $φ[G] = \{φ(g) \, | \, g ∈ G\}$, we see $|φ[G]| ≤ \quad |G|$ which ...
39 views

166 views

### Intuition and Tricks - Hard Overcomplex Proof - Order of Subgroup of Cyclic Subgroup - Fraleigh p. 64 Theorem 6.14

Update Dec. 28 2013. See a stronger result and easier proof here. I didn't find it until after I posted this. This isn't a duplicate. Proof is based on ProofWiki. But I leave out the redundant $a$. ...
155 views

### Could we reasonably classify finite groups?

So I have been reading some work on $p$-groups, and I noticed a particularly disturbing sentence: "There is no hope of finding a finite set of invariants that will define every p-group up to ...
183 views

### If $G$ is a finite group, $H$ is a subgroup of $G$, and $H\cong Z(G)$, can we conclude that $H=Z(G)$?

If $G$ is a finite group, $H$ is a subgroup of $G$, and $H\cong Z(G)$, can we conclude that $H=Z(G)$? I learnt that if two subgroups are isomorphic then it's not true that they act in the same ...
154 views

### The relationship between inner automorphisms, commutativity, normality, and conjugacy.

An inner automorphism of a group $G$ is defined to be a function $f: G \to G$ such that for $x\in G$ $f(x) = a^{-1}xa.$ I have three somewhat broad questions about this: Why is it related to ...
224 views

### What are central automorphisms used for?

A central automorphism is an automorphism $\theta$ for which $x^{-1}\theta(x)\in Z(G)$ for each $x\in G$. It's not difficult to prove that the set of central automorphisms forms a subgroup of ...
329 views

### Intuition behind Maschke's theorem

I'm an undergraduate learning about group representations and Young tableaux, and have came across Maschke's theorem stating; If $G$ is a finite group and $F$ is a field who's characteristic does ...
124 views

### What is a minimal polynomial of a group element, and why would we care if it was quadratic?

EDIT: the $p$-stable definition I give below is incorrect. I have included the correct definition as an answer to this question. I am trying to understand the definition of a p-stable group. The ...
92 views

### A few questions about nonabelian cohomology of finite groups.

I apologize in advance if these questions are broad or basic. I tried to read about them at the Wikipedia, but everything is written in the language of category theory, in which I have had no formal ...
240 views

### Why are only the first four alternating groups are non-simple?

I know asking for intuition in math is a generally flawed approach, but can anyone give any reason why only the first four alternating groups are non-simple?
183 views

### What does Frattini length measure?

I have heard derived length, for example, described as a measure of "how non-commutative" the group is. An abelian group will have derived length $1$, whereas a non-solvable group will be so ...
54 views

### Something behind the substitution $h^0=\frac{1}{|G|}\sum_{t\in G}\rho^2_{t^{-1}}h\rho^2_{t}$?

I am quite new to representation theory and I reading Serre's Linear Representation of Finite Groups. In the first and second chapter, one trick he uses quite often is the substitution ...
Given a finite group $G$ and a field $K$, one can form the group ring $K[G]$ as the free vector space on $G$ with the obvious multiplication. This is very useful when studying the representation ...