# 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.

4,241 questions
37k views

### If $G/Z(G)$ is cyclic, then $G$ is abelian

Continuing my work through Dummit & Foote's "Abstract Algebra", 3.1.36 asks the following (which is exactly the same as exercise 5 in this related MSE answer): Prove that if $G/Z(G)$ is cyclic, ...
26k views

### Normal subgroup of prime index

Generalizing the case $p=2$ we would like to know if the statement below is true. Let $p$ the smallest prime dividing the order of $G$. If $H$ is a subgroup of $G$ with index $p$ then $H$ is normal.
3k views

### Conjugate subgroup strictly contained in the initial subgroup?

Let $G$ be a group, $H\subseteq G$ a subgroup and $a\in G$ an element of the group. Is it possible that $aHa^{-1} \subset H$, but $aHa^{-1} \neq H$? If $H$ has finite index or finite order, this is ...
4k views

### Does $G\cong G/H$ imply that $H$ is trivial?

Let $G$ be any group such that $$G\cong G/H$$ where $H$ is a normal subgroup of $G$. If $G$ is finite, then $H$ is the trivial subgroup $\{e\}$. Does the result still hold when $G$ is infinite ? In ...
6k views

5k views

### The Center of $\operatorname{GL}(n,k)$

The given question: Let $k$ be a ﬁeld and $n \in \mathbb{N}$. Show that the centre of $\operatorname{GL}(n, k)$ is $\lbrace\lambda I\mid λ ∈ k^∗\rbrace$. I have spent a while trying to prove this ...
9k views

10k views

### Prove that $(n-1)! \equiv -1 \pmod{n}$ iff $n$ is prime [Wilson's Theorem]

How can I show that $(n-1)!$ is congruent to $-1 \pmod{n}$ if and only if $n$ is prime? Thanks.
15k views

### Why do we define quotient groups for normal subgroups only?

Let $G \in \mathbf{Grp}$, $H \leq G$, $G/H := \lbrace gH: g \in G \rbrace$. We can then introduce group operation on $G/H$ as $(xH)*(yH) := (xy)H$, so that $G/H$ becomes a quotient group when $H$ is a ...
22k views

### Why are two permutations conjugate iff they have the same cycle structure?

I have heard that two permutations are conjugate if they have the same cyclic structure. Is there an intuitive way to understand why this is?
20k views

9k views

### A group $G$ with a subgroup $H$ of index $n$ has a normal subgroup $K\subset H$ whose index in $G$ divides $n!$

I would be very thankful if someone could give me a hint with proving this. It's a very common exercise in abstract algebra textbooks. If $G$ is a group with a subgroup $H$ of finite index $n$, ...
10k views

### A $p$-group of order $p^n$ has a normal subgroup of order $p^k$ for each $0\le k \le n$

This is problem 3 from Hungerford's section about the Sylow theorems. I have already read hints saying to use induction and that $p$-groups always have non-trivial centres, but I'm still confused. ...
7k views

### Groups of order $pq$ are cyclic

I don't know about the Sylow Theorems. But I have been wondering about a proof of the fact that a group or order $pq$ where $p$ and $q$ are distinct primes must be cyclic. I can't quite work out the ...
### Nonabelian semidirect products of order $pq$?
I just constructed the semidirect product in Lang, and I'm trying to tie some facts together. From Ash's Algebra, I know that if $p\lt q$ are distinct primes, if $q\not\equiv 1\pmod{p}$, then any ...