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)

55
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 ...
52
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 ...
16
votes
1answer
11k 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 ...
27
votes
4answers
993 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 ...
19
votes
5answers
7k 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. ...
34
votes
4answers
4k 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 ...
23
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?
20
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 ...
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 ...
13
votes
5answers
9k 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 ...
14
votes
3answers
4k 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 ...
19
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 ...
29
votes
6answers
7k 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$? ...
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 ...
6
votes
2answers
330 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 ...
6
votes
1answer
6k 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 ...
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 ...
35
votes
3answers
6k 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 ...
8
votes
2answers
1k 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?
8
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, ...
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.
64
votes
8answers
11k 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 ...
14
votes
3answers
1k views

Problem from Herstein on group theory

The problem is: If $ G $ is a finite group with order not divisible by $ 3 $, and $ (ab)^{3} = a^{3} b^{3} $ for all $ a,b \in G $, then show that $ G $ is abelian. I have been trying this for a ...
10
votes
3answers
4k views

Does the intersection of two finite index subgroups have finite index?

Let $(G,*)$ be a group and $H,K$ be two subgroups of $G$ of finite index (the number of left cosets of $H$ and $K$ in $G$). Is the set $H\cap K$ also a subgroup of finite index? I feel like need that ...
59
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 ...
25
votes
5answers
2k 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 ...
24
votes
5answers
3k 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 ...
7
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 ...
11
votes
2answers
369 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 ...
7
votes
2answers
4k 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 ...
10
votes
4answers
3k 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 ...
21
votes
4answers
21k 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)$, ...
15
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?
13
votes
3answers
514 views

If $|\lbrace g \in G: \pi (g)=g^{-1} \rbrace|>\frac{3|G|}{4}$, then $G$ is an abelian group.

Assume that $\pi$ is an automorphism of a finite group $G$. Let $S$ denote the set $\lbrace g \in G: \pi (g)=g^{-1} \rbrace$. Show that if $|S|>\frac{3|G|}{4}$, then $G$ is an abelian group. ...
23
votes
4answers
8k 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?
12
votes
3answers
4k views

A normal subgroup intersects the center of the $p$-group nontrivially

If $G$ is a finite $p$-group with a nontrivial normal subgroup $H$, then the intersection of $H$ and the center of $G$ is not trivial.
6
votes
3answers
2k views

Finite Index of Subgroup of Subgroup

Prove the following: If $H$ is a subgroup of finite index in a group $G$, and $K$ is a subgroup of $G$ containing $H$, then $K$ is of finite index in $G$ and $[G:H] = [G:K][K:H]$. So this is ...
7
votes
2answers
1k views

Product of elements of a finite abelian group

Suppose $G=\{a_1,...,a_n\}$ is a finite abelian group, and let $x=a_1a_2\dotsm a_n$. Prove that if there is more than one element of order $2$ then $x=e$. What I've done so far: (#1 is just for ...
2
votes
1answer
220 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 ?
13
votes
1answer
577 views

If a group satisfies $x^3=1$ for all $x$, is it necessarily abelian?

I know that any group satisfying $x^2=1$ for all $x$ is abelian. Is the same true if $x^3=1$? I don't think it is, but I can't find a basic counterexample.
6
votes
5answers
4k 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 ...
8
votes
3answers
10k views

Prove that the center of a group is a normal subgroup

Let $G$ be a group. We define $H$ where $H$ is the center of/centralizer of $G$: $$H=\{h\in G| \forall g\in G: hg=gh\}.$$ Prove that $H$ is a (normal) subgroup of $G$.
20
votes
1answer
2k views

Is it true that $\mathbb{R}$ and $\mathbb{R}^2$ are isomorphic as abelian groups?

I think the answer is yes. Sketch of the proof Consider $\mathbb{R}$ as a vector space over $\mathbb{Q}$. Let $\{e_\lambda:\lambda\in\Lambda\}\subset\mathbb{R}$ be its Hamel basis. Then ...
14
votes
1answer
828 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 ...
13
votes
2answers
4k views

Are normal subgroups transitive?

Suppose $G$ is a group and $K\lhd H\lhd G$ are normal subgroups of $G$. Is $K$ a normal subgroup of $G$, i.e. $K\lhd G$? If not, what extra conditions on $G$ or $H$ make this possible? Applying the ...
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 ...
16
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 ...
3
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 ...
2
votes
4answers
3k 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 ...
1
vote
2answers
392 views

Showing that $G$ is a group under an alternative operation.

Let $G$ be a group and let $c$ be a fixed elements of $G$. Now, I'm going to define a new operation "*" on $G$ by $a*b=ac^{-1}b$ How do I prove that the set $G$ is a group under *. Thanks for ...