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 studies groups.

learn more… | top users | synonyms (2)

30
votes
4answers
1k views

Conjugate subgroup strictly contained in the initial subgroup?

Probably a very stupid question: Let $G$ be a group, $H\subset G$ a subgroup, $a\in G$ an element. Is it possible that $aHa^{-1} \subset H$, but $aHa^{-1} \neq H$? If $H$ has finite index or finite ...
54
votes
10answers
2k 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 ...
58
votes
1answer
3k views

Is Lagrange's theorem the most basic result in finite group theory?

Motivated by this question, can one prove that the order of an element in a finite group divides the order of the group without using Lagrange's theorem? (Or, equivalently, that the order of the group ...
21
votes
6answers
9k 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. ...
21
votes
2answers
4k views

$|G|>2$ implies $G$ has non trivial automorphism

Well, this is an exercise problem from Herstein which sounds difficult: How does one prove that if $|G|>2$, then $G$ has non-trivial automorphism? The only thing I know which connects a group ...
19
votes
1answer
13k 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,...
27
votes
5answers
6k views

Group of order 15 is abelian

How do I prove group of order 15 is abelian? Is there any general strategy to prove that a group of particular order(composite order) is abelian?
9
votes
3answers
2k views

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

The given question: Let $k$ be a field 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 ...
35
votes
4answers
5k views

Prove that if $(ab)^i = a^ib^i \forall a,b\in G$ for three consecutive integers $i$ then G is abelian

I've been working on this problem listed in Herstein's Topics in Algebra (Chapter 2.3, problem 4): If $G$ is a group such that $(ab)^i = a^ib^i$ for three consecutive integers $i$ for all $a, b\in ...
30
votes
6answers
8k views

Order of elements in abelian groups

How can I prove that if $G$ is an Abelian group with elements $a$ and $b$ with orders $m$ and $n$, respectively, then $G$ contains an element whose order is the least common multiple of $m$ and $n$? ...
20
votes
1answer
2k views

Group of even order contains an element of order 2

I am working on the following problem from group theory: If $G$ is a group of order $2n$, show that the number of elements of $G$ of order $2$ is odd. That is, for some integer $k$, there are $...
28
votes
5answers
4k views

Examples and further results about the order of the product of two elements in a group

Let $G$ be a group and let $a,b$ be two elements of $G$. What can we say about the order of their product $ab$? Wikipedia says "not much": There is no general formula relating the order of a ...
9
votes
1answer
8k views

Subgroup of index 2 is Normal

Please excuse the selfishness of the following question: Let $G$ be a group and $H \le G$ such that $|G:H|=2$. Show that $H$ is normal. Proof: Because $|G:H|=2$, $G = H \cup aH$ for some $a \in ...
16
votes
3answers
5k views

Finite subgroups of the multiplicative group of a field are cyclic

In Grove's book Algebra, Proposition 3.7 at page 94 is the following If $G$ is a finite subgroup of the multiplicative group $F^*$ of a field $F$, then $G$ is cyclic. He starts the proof by ...
9
votes
5answers
6k views

Prove that $(n-1)! \equiv -1 \pmod{n}$ iff $n$ is prime

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

Prove that if $g^2=e$ for all g in G then G is Abelian.

This question is from group theory in Abstract Algebra and no matter how many times my lecturer teaches it for some reason I can't seem to crack it. (please note that $e$ in the question is the group'...
12
votes
1answer
2k views

$\operatorname{Aut}(V)$ is isomorphic to $S_3$

I'm currently working my way through Harvard's online abstract algebra lectures (if you're interested, you can find them here). The lectures come complete with notes and homework problems. Of course,...
7
votes
5answers
5k views

Subgroups of a cyclic group and their order.

Lemma $1.92$ in Rotman's textbook (Advanced Modern Algebra, second edition) states, Let $G = \langle a \rangle$ be a cyclic group. (i) Every subgroup $S$ of $G$ is cyclic. (ii) If $|G|=...
14
votes
5answers
3k views

Groups of order $pq$ without using Sylow theorems

If $|G| = pq$, $p,q$ primes, $p \gt q, q \nmid p-1 $, then how do I prove $G$ is cyclic without using Sylow's theorems?
6
votes
3answers
374 views

An epimorphism from $S_{4}$ to $S_{3}$ having the kernel isomorphic to Klein four-group

Exercise $7$, page 51 from Hungerford's book Algebra. Show that $N=\{(1),(12)(34), (13)(24),(14)(23)\}$ is a normal subgroup of $S_{4}$ contained in $A_{4}$ such that $S_{4}/N\cong S_{3}$ and $...
8
votes
2answers
5k views

Show that every group of prime order is cyclic

Show that every group of prime order is cyclic. I was given this problem for homework and I am not sure where to start. I know a solution using Lagrange's theorem, but we have not proven Lagrange's ...
37
votes
3answers
7k 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 ...
9
votes
3answers
6k views

Right identity and Right inverse implies a group

Let $(G, *)$ be a semi-group. Suppose $ \exists e \in G$ such that $\forall a \in G,\ ae = a$; $\forall a \in G, \exists a^{-1} \in G$ such that $aa^{-1} = e$. How can we prove that $(G,*)$ is ...
9
votes
4answers
2k views

Showing non-cyclic group with $p^2$ elements is Abelian

I have a non-cyclic group $G$ with $p^2$ elements, where $p$ is a prime number. Some (potentially) useful preliminary information I have is that there are exactly $p+1$ subgroups with $p$ elements, ...
7
votes
1answer
2k views

If a group is the union of two subgroups, is one subgroup the group itself?

"Let $G$ be a group, and suppose $G=H \cup K$, where $H$ and $K$ are subgroups. Show that either $H=G$ or $K=G$." Let $h \in H$ and $k \in K$. Then $hk \in H$ or $hk \in K$ (since every element of $...
65
votes
2answers
2k views

Reference request for tricky problem in elementary group theory

The following could have shown up as an exercise in a basic Abstract Algebra text, and if anyone can give me a reference, I will be most grateful. Consider a set $X$ with an associative law of ...
67
votes
8answers
13k views

Are there real world applications of finite group theory?

I would like to know whether there are examples where finite group theory can be directly applied to solve real world problems outside of mathematics. (Sufficiently applied mathematics such as ...
22
votes
4answers
9k 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?
8
votes
2answers
2k views

Normal subgroups of $S_4$

Can anyone tell me how to find all normal subgroups of the symmetric group $S_4$? In particular are $H=\{e,(1 2)(3 4)\}$ and $K=\{e,(1 2)(3 4), (1 3)(2 4),(1 4)(2 3)\}$ normal subgroups?
13
votes
3answers
874 views

For what $n$ is $U_n$ cyclic?

When can we say a multiplicative group of integers modulo $n$, i.e., $U_n$ is cyclic? $$U_n=\{a \in\mathbb Z_n \mid \gcd(a,n)=1 \}$$ I searched the internet but did not get a clear idea.
19
votes
3answers
6k views

Group where every element is order 2

Let $G$ be a group where every non-identity element has order 2. If |G| is finite then $G$ is isomorphic to the direct product $\mathbb{Z}_{2} \times \mathbb{Z}_{2} \times \ldots \times \mathbb{Z}...
4
votes
1answer
1k views

Irreducible representations of a cyclic group over a field of prime order

Consider $G$ a cyclic group of order $n$ with prime $p\nmid n$. How do I construct all the irreducible representations over $\mathbb F_p$? How many irreducible representations are there and what are ...
3
votes
1answer
241 views

If $|A| > \frac{|G|}{2} $ then $AA = G $ [closed]

I'v found this proposition. If $G$ is a finite group , $ A \subset G $ a subset and $|A| > \frac{|G|}{2} $ then $AA = G $. Why this is true ?
26
votes
5answers
3k views

Intuition on group homomorphisms

So I'm studying for finals now, and came across the idea of homomorphisms again. This is not a new idea for me at all, having seen them in groups, rings, fields ect. However, on reevaluating them I ...
34
votes
4answers
2k views

Does every set have a group structure?

I know that there is no vector space having precisely $6$ elements. Does every set have a group structure?
23
votes
3answers
25k views

multiplication on permutation group written in cyclic notation

Sorry for stupid question but I didn't find any good explanation how to perform multiplication on permutation group written in cyclic notation. For example, $a=(1352)$, $b=(256)$, $c=(1634)$, $ab=(...
25
votes
2answers
1k views

Is every group the automorphism group of a group?

Suppose $G$ is a group. Does there always exist a group $H$, such that $\operatorname{Aut}(H)=G$, i. e. such that $G$ is the automorphism group of $H$? EDIT: It has been pointed out that the answer ...
18
votes
6answers
5k views

Union of the conjugates of a proper subgroup

Let G be a finite group and H be a proper subgroup. Prove that the union of the conjugates of H is not the whole of G. Thanks for any help
11
votes
4answers
3k views

Order of a product of subgroups

Let $H$, $K$ be subgroups of $G$. Prove that $o(HK) = \frac{o(H)o(K)}{o(H \cap K)}$. I need this theorem to prove something.
16
votes
2answers
3k views

Group of positive rationals under multiplication not isomorphic to group of rationals

A question that may sound very trivial, apologies beforehand. I am wondering why $( \mathbb{Q}_{>0} , \times )$ is not isomorphic to $( \mathbb{Q} , + )$. I can see for the case when $( \mathbb{Q} ,...
16
votes
1answer
929 views

Finite group with isomorphic normal subgroups and non-isomorphic quotients?

I know it is possible for a group $G$ to have normal subgroups $H, K$, such that $H\cong K$ but $G/H\not\cong G/K$, but I couldn't think of any examples with $G$ finite. What is an illustrative ...
12
votes
4answers
1k views

Prove that $(G, \circ)$ is a group if $a\circ x = b$ and $x\circ a = b$ have unique solutions

I have some difficulties with a task in algebra. I guess it's trivial and really easy but I can't figure out how to solve it. I have a set $G$ and a binary operation on it, let it be $\circ$. I have ...
10
votes
4answers
4k views

Is it true that the order of $ab$ is always equal to the order of $ba$?

How do I prove that if $a$, $b$ are elements of group, then $o(ab) = o(ba)$? For some reason I end up doing the proof for abelian(ness?), i.e., I assume that the order of $ab$ is $2$ and do the ...
2
votes
4answers
4k views

Need to prove that (S,*) defined by the binary operation a*b = a+b+ab is an abelian group on S = R \ {1}

So basically this proof centers around proving that (S,*) is a group, as it's quite easy to see that it's abelian as both addition and multiplication are commutative. My issue is finding an identity ...
23
votes
2answers
837 views

Which finite groups are the group of units of some ring?

Motivated by this question: Which finite groups are the group of units of some ring? Which finite groups are the group of units of some finite ring? Which finite abelian groups are the group of ...
26
votes
1answer
669 views

“Efficient version” of Cayley's Theorem in Group Theory

I'm considering finite groups only. Cayley's theorem says the a group $G$ is isomorphic to a subgroup of $S_{|G|}$. I think it's interesting to ask for smaller values of $n$ for which $G$ is a ...
11
votes
2answers
426 views

Known bounds for the number of groups of a given order.

The number of nonisomorphic groups of order $n$ is usually called $\nu(n)$. I found a very good survey about the values. $\nu(n)$ is completely known absolutely up to $n=2047$, and for many other ...
9
votes
2answers
519 views

A Particular Two-Variable System in a Group

Suppose $a$ and $b$ are elements of a group $G$. If $a^{-1}b^{2}a=b^{3}$ and $b^{-1}a^{2}b=a^{3}$, prove $a=e=b$. I've been trying to prove but still inconclusive. Please prove to me. Thanks very ...
5
votes
3answers
3k views

Let $G$ be a group of order $2m$ where $m$ is odd. Prove that $G$ contains a normal subgroup of order $m$

I searched in the existing post and didn't find this problem. I am sorry if someone else have already posted. Let $G$ be a group of order $2m$ where $m$ is odd. Prove that $G$ contains a normal ...
17
votes
1answer
4k 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. ...