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)

11
votes
4answers
700 views

Elementary isomorphism between $\operatorname{PSL}(2,5)$ and $A_5$

At this Wikipedia page it is claimed that to construct an isomorphism between $\operatorname{PSL}(2,5)$ and $A_5$, "one needs to consider" $\operatorname{PSL}(2,5)$ as a Galois group of a Galois cover ...
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 ...
6
votes
2answers
1k views

Show that a finite group with certain automorphism is abelian

Let $G$ be a finite group and $f:G\to G$ an isomorphism. If $f$ has no fixed points (i.e., $f(x)=x$ implies $x=e$) and if $f\circ f$ is the identity, then $G$ is abelian. (Hint: Prove that every ...
2
votes
3answers
739 views

Cancellation of Direct Products

Given a finite group $G$ and its subgroups $H,K$ such that $$G \times H \cong G \times K$$ does it imply that $H=K$. Clearly, one can see that this doesn't work out for all subgroups. Is there any ...
12
votes
1answer
565 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.
3
votes
5answers
466 views

If $P \leq G$, $Q\leq G$, are $P\cap Q$ and $P\cup Q$ subgroups of $G$?

$P$ and $Q$ are subgroups of a group $G$. How can we prove that $P\cap Q$ is a subgroup of $G$? Is $P \cup Q$ a subgroup of $G$? Reference: Fraleigh p. 59 Question 5.54 in A First Course in ...
203
votes
28answers
20k views

Nice examples of groups which are not obviously groups

I am searching for some groups, where it is not so obvious that they are groups. In the lectures script there are only examples like $\mathbb{Z}$ under addition and other things like that. I ...
35
votes
4answers
3k views

Center-commutator duality

I'm reading this article by Keith Conrad, on subgroup series. I'm having trouble with a statement he does at page 6: Any subgroup of $G$ which contains $[G,G]$ is normal in $G$. He says this as ...
76
votes
2answers
6k views

More than 99% of groups of order less than 2000 are of order 1024?

In Algebra: Chapter 0, the author made a remark (footnote on page 82), saying that more than 99% of groups of order less than 2000 are of order 1024. Is this for real? How can one deduce this result? ...
61
votes
4answers
2k views

How is a group made up of simple groups?

I've read more than once the analogy between simple groups and prime numbers, stating that any group is built up from simple groups, like any number is built from prime numbers. I've recently started ...
22
votes
2answers
2k views

Yoneda-Lemma as generalization of Cayley`s theorem?

I came across the statement, that Yoneda-lemma is a generalization of Cayley`s theorem which states, that every group is isomorphic to a group of permutations. How exactly does generalizes ...
25
votes
14answers
11k views
31
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?
14
votes
3answers
2k views

No simple group of order $300$

So I've been trying to prove that there's no simple group of order $300$. This is what I did and I was wondering if it was enough. $|G|=2^2 \cdot 3 \cdot 5^2$. Suppose $G$ is simple. Then there ...
14
votes
1answer
562 views

Does $gHg^{-1}\subseteq H$ imply $gHg^{-1}= H$? [duplicate]

Let $G$ be a group, $H<G$ a subgroup and $g$ an element of $G$. Let $\lambda_g$ denote the inner automorphism which maps $x$ to $gxg^{-1}$. I wonder if $H$ can be mapped to a proper subgroup of ...
16
votes
2answers
836 views

Has this “generalized semidirect product” been studied?

If $G$ is a finite group with subgroups $H$ and $K$ such that $HK = G$ and $H\cap K = \{1\}$ we get that every element of $G$ can be written uniquely as $hk$ with $h\in H$ and $k\in K$. This then ...
23
votes
1answer
625 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 ...
10
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.
24
votes
7answers
3k views

Product of all elements in an odd finite abelian group is 1

This should be an easy exercise: Given a finite odd abelian group $G$, prove that $\prod_{g\in G}g=e$. Indeed, using Lagrange's theorem this is trivial: There is no element of order 2 (since the order ...
15
votes
2answers
3k views

Is every quotient of a finite abelian group $G$ isomorphic to some subgroup of $G$?

I'm having difficulty with exercise 1.43 of Lang's Algebra. The question states Let $H$ be a subgroup of a finite abelian group $G$. Show that $G$ has a subgroup that is isomorphic to $G/H$. ...
12
votes
1answer
238 views

Problem on abelian group

Let $G$ be an abelian group, and $\Phi:G\to \mathbb{R}$ is a function with the following property: $$\forall a,b\in G,~~ |\Phi(a+b)-\Phi(a)-\Phi(b)|<c$$ The problem asks to prove the existence of ...
12
votes
4answers
2k views

A kind of converse of Lagrange's Theorem

Let $G$ a finite group. If $a\in G$, a consequence of the Lagrange's Theorem is that the order of $a$ divides the order of $G$. Let $p=|G|$. If $p$ is prime, it is well known that $G$ is cyclic, and ...
10
votes
4answers
4k views

Automorphism group of the quaternion group

Let $Q_8$ be the quaternion group. How do we determine the automorphism group $Aut(Q_8)$ of $Q_8$ algebraically? I searched for this problem on internet. I found some geometric proofs that $Aut(Q_8)$ ...
23
votes
2answers
3k views

Finite number of subgroups $\Rightarrow$ finite group

I'm trying to prove that any group $G$ of infinite order has an infinite number of subgroups. I think that if the group has an element of infinite order, then it's easy because I can take the groups ...
9
votes
4answers
390 views

If $[G:H]=n$, is it true that $x^n\in H$ for all $x\in G$?

Let $G$ be a group and $H$ a subgroup with $[G:H]=n$. Is it true that $x^n\in H$ for all $x\in G$? Remarks. The answer is positive whenever $H$ is normal, e.g., for $n=2$. In general, by using ...
9
votes
1answer
251 views

Isomorphism between $I_G/I_G^2$ and $G/G'$

Ok, this has been bugging me for a while, and I'm sure there's something obvious I'm missing. The references I've looked at for this result in an effort to resolve the issue didn't address it. $G$ is ...
7
votes
3answers
1k views

Show group of order $4n + 2$ has a subgroup of index 2.

Let $n$ be a positive integer. Show that any group of order $4n + 2$ has a subgroup of index 2. (Hint: Use left regular representation and Cauchy's Theorem to get an odd permutation.) I can easily ...
6
votes
3answers
383 views

Does $G\times K\cong H\times K$ imply $G\cong H$?

Let $G\times K$ be a finite group. Suppoose $G\times K\cong H\times K$. Is this sufficient to imply $G\cong H$?
4
votes
3answers
2k 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
5answers
3k views

Prove that this is a group

Let $G$ be a finite, nonempty set with an operation $*$ such that $G$ is closed under $*$ and $*$ is associative Given $a,b,c \in G$ with $a*b=a*c$, then $b=c$. Given $a,b,c \in G$ with $b*a=c*a$, ...
12
votes
1answer
419 views

When a semigroup can be embedded into a group

Under what assumptions can a semigroup $(S,*)$ be embedded into a group?
8
votes
2answers
247 views

Which groups are derived subgroups?

Let $G$ be a group. When is there a group $H$ such that $G$ is isomorphic to its derived subgroup $H'$? I only know that there is not always such a $H$; for instance, no group has its derived ...
7
votes
2answers
1k views

An element of a group has the same order as its inverse

If $a$ is a group element, prove that $a$ and $a^{-1}$ have the same order. I tried doing this by contradiction. Assume $|a|\neq|a^{-1}|$ Let $a^n=e$ for some $n\in \mathbb{Z}$ and ...
7
votes
1answer
560 views

What is $\operatorname{Aut}(\mathbb{R},+)$?

I was solving some exercises about automorphisms. I was able to show that $\operatorname{Aut}(\mathbb{Q},+)$ is isomorphic to $\mathbb{Q}^{\times}$. The isomorphism is given by $\Psi(f)=f(1)$, but ...
5
votes
2answers
596 views

free groups: $F_X\cong F_Y\Rightarrow|X|=|Y|$

I'm reading Grillet's Abstract Algebra. Let $F_X$ denote the free group on the set $X$. I noticed on wiki the claim $$F_X\cong\!\!F_Y\Leftrightarrow|X|=|Y|.$$ How can I prove the right implication ...
8
votes
6answers
855 views

In what sense of “structure” do group homomorphisms “preserve structure”?

It is commonly said that group homomorphisms "preserve the structure of the group", e.g., from Wikipedia: The purpose of defining a group homomorphism as it is, is to create functions that ...
2
votes
1answer
377 views

Another point of view that $\mathbb{Z}/m\mathbb{Z} \times\mathbb{Z}/n\mathbb{Z}$ is cyclic.

I was thinking that the product of groups $\mathbb{Z}/2\mathbb{Z} \times\mathbb{Z}/2\mathbb{Z}$ is not cyclic, but $\mathbb{Z}/2\mathbb{Z} \times\mathbb{Z}/p\mathbb{Z}$ is cyclic if p is an odd prime. ...
1
vote
3answers
223 views

An example of a residually finite group which is not Hopf

trying to think of any residually finite group which is not Hopf. Any help?
29
votes
8answers
2k views

Is symmetric group on natural numbers countable?

I guess it is too difficult a question to ask about the cardinality of $S_{\mathbb{N}}$ so I would like to ask whether it is countable or not. I tried to prove it is uncountable somewhat mimicking ...
15
votes
7answers
1k views

Why $PSL_3(\mathbb F_2)\cong PSL_2(\mathbb F_7)$?

Why are groups $PSL_3(\mathbb{F}_2)$ and $PSL_2(\mathbb{F}_7)$ isomorphic? Update. There is a group-theoretic proof (see answer). But is there any geometric proof? Or some proof using octonions, ...
17
votes
7answers
6k views

How to show every subgroup of a cyclic group is cyclic?

I'm teaching a group theory course now, and I wanted to give my students a proof that every subgroup of a cyclic group is cyclic. The easiest way I could think to do this is to say that any cyclic ...
14
votes
2answers
1k views

Theorems with the greatest impact on group theory as a whole

In his Contemporary Abstract Algebra text, Gallian asserts that Sylow's Theorem(s) and Lagrange's Theorem are the two most important results in finite group theory. He also provides this quote by ...
19
votes
4answers
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 ...
18
votes
1answer
506 views

A special subgroup of groups of order $n$

Let $G$ be a group with $|G| = n$ and let $ \emptyset \ne S \subseteq G$. I want to show that $S^n$ is a SUBGROUP of $G$ where by $S^n$ I mean the set $\lbrace s_1\cdots s_n \; | \; s_i \in S\rbrace$. ...
15
votes
5answers
5k views

How can you show there are only 2 nonabelian groups of order 8?

It's often said that there are only two nonabelian groups of order 8 up to isomorphism, one is the quaternion group, the other given by the relations $a^4=1$, $b^2=1$ and $bab^{-1}=a^3$. I've never ...
9
votes
5answers
2k views

Why the term and the concept of quotient group?

The basic concept of Quotient Group is often a confusing thing for me,I mean can any one tell the intuitive concept and the necessity of the Quotient group, I thought that it would be nice to ask as ...
21
votes
2answers
970 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 ...
20
votes
1answer
1k views

Are $(\mathbb{R},+)$ and $(\mathbb{C},+)$ isomorphic as additive groups?

Are $(\mathbb{R},+)$ and $(\mathbb{C},+)$ isomorphic as additive groups? I know that there is a bijection between $\mathbb{R}$ and $\mathbb{C}$, and this question asks whether they are isomorphic as ...
12
votes
5answers
2k views

Why is the set of commutators not a subgroup?

I was surprised to see that one talks about the subgroup generated by the commutators, because I thought the commutators would form a subgroup. Some research told me that it's because commutators are ...
8
votes
2answers
1k views

A Nontrivial Subgroup of a Solvable Group

Question: Let $G$ be a solvable group, and let $H$ be a nontrivial normal subgroup of $G$. Prove that there exists a nontrivial subgroup $A$ of $H$ that is Abelian and normal in $G$. [ref: this is ...