Should be used with the (group-theory) tag. A group $(G,*)$ is said to be abelian if $a*b=b*a$ for all $a,b\in G.$

learn more… | top users | synonyms

62
votes
4answers
8k views

The direct sum $\oplus$ versus the cartesian product $\times$

In the case of abelian groups, I have been treating these two set operations as more or less indistinguishable. In early mathematics courses, one normally defines $A^n := A\times A\times\ldots\times A$...
34
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 ...
31
votes
2answers
1k views

In a group we have $abc=cba$. Is it abelian?

Let $G$ be a group such that for any $a,b,c\ne1$: $$abc=cba$$ Is $G$ abelian?
29
votes
2answers
3k views

Structure Theorem for abelian torsion groups that are not finitely generated

I know about the structure theorem for finitely generated abelian groups. I'm wondering whether there exists a similar structure theorem for abelian groups that are not finitely generated. In ...
26
votes
2answers
634 views

New twist on a Putnam problem

A recent Putnam problem: Let $f$ be a real-valued function on the plane such that for every square $ABCD$ in the plane, $f(A)+f(B)+f(C)+f(D)=0$. Does it follow that $f$ is identically zero? The ...
23
votes
1answer
794 views

Recovering a finite group's structure from the order of its elements.

Suppose you know the following two things about a group $G$ with $n$ elements: the order of each of the $n$ elements in $G$; $G$ is uniquely determined by the orders in (1). Question: How ...
21
votes
3answers
1k views

How “abelian” can a non-abelian group be?

Something I have been wondering: in general, is there a bound for how many elements in a finite non-abelian group $G$ can commute with every other element? Equivalently, is there is a bound for the ...
21
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 ...
21
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 $\{(e_{\...
19
votes
2answers
490 views

If the tensor power $M^{\otimes n} = 0$, is it possible that $M^{\otimes n-1}$ is nonzero?

Let $M$ be a module over a commutative ring $R$. It is possible that $M \otimes M = 0$ if $M$ is nonzero, for example when $R = \mathbb{Z}$ and $M = \mathbb{Q}/ \mathbb{Z}$. What about when higher ...
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,...
18
votes
2answers
283 views

Are these exactly the abelian groups?

I'm thinking about the following condition on a group $G$. $$(\forall A\subseteq G)(\forall g\in G)(\exists h\in G)\ Ag=hA.$$ Obviously every abelian group $G$ satisfies this condition. Are ...
16
votes
2answers
2k views

Why is every abelian group the direct limit of its finitely generated subgroups?

I'm taking classes in homological algebra now, and the book (together with the lecturer) seem to assume more category theory than I already know. A "fact" that is used freely in the book ("...
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} ,...
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'...
14
votes
4answers
3k views

Show that $({\mathbb{Q}},+)$ is not finitely generated using the Fundamental Theorem of Finitely Generated Abelian Groups.

Can anyone please help me out on how to use the fundamental theorem of finitely generated abelian groups to prove that $({\mathbb{Q}},+)$ is not finitely generated?
14
votes
2answers
2k views

Find an abelian infinite group such that every proper subgroup is finite

I found this question in Arhangel'skii and Tkachenko's book Topological Groups and Related Structures. The first chapter of the book is devoted to algebraic preliminaries. The question actually reads:...
14
votes
2answers
974 views

Status of the classification of non-finitely generated abelian groups.

From the Wikipedia on abelian groups: By contrast, classification of general infinitely-generated abelian groups is far from complete. How far are we from a classification exactly? It seems ...
14
votes
4answers
1k views

How many non-isomorphic abelian groups of order $\kappa$ are there for $\kappa$ infinite?

Let $\kappa$ be an infinite cardinal. How many non-isomorphic abelian groups of order (cardinality) $\kappa$ are there? For finite $\kappa,$ we can use the classification theorem and obtain the ...
14
votes
2answers
268 views

How to recognize a finitely generated abelian group as a product of cyclic groups.

Let $G$ be the quotient group $G=\mathbb{Z}^5/N$, where $N$ is generated by $(6,0,-3,0,3)$ and $(0,0,8,4,2)$. Recognize $G$ as a product of cyclic groups. Honestly, I do not know how to solve these ...
13
votes
5answers
867 views

Prove that $(a_1a_2\cdots a_n)^{2} = e$ in a finite Abelian group

Let $G$ be a finite abelian group, $G = \{e, a_{1}, a_{2}, ..., a_{n} \}$. Prove that $(a_{1}a_{2}\cdot \cdot \cdot a_{n})^{2} = e$. I've been stuck on this problem for quite some time. Could someone ...
13
votes
3answers
534 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. ...
13
votes
3answers
5k views

Let $C$ be the commutator subgroup of $G$. Prove that $G/C$ is abelian

Trying to get my head around the commutator subgroup. This is an excercise from Artin's Algebra: Let $C$ be the commutator subgroup of $G$. Prove that $G/C$ is abelian. Here is what I've done: Let $...
13
votes
1answer
414 views

Is there a topological group that is connected but not path-connected?

Is there a $\big($T$_0$$\hspace{-0.02 in}\big)$ topological group that is connected but not path-connected? If yes: $\quad$ Can it be complete? $\:$ (with respect to the two-sided uniform structure) ...
13
votes
3answers
374 views

A group such that $a^m b^m = b^m a^m$ and $a^n b^n = b^n a^n$ ($m$, $n$ coprime) is abelian?

Let $(G,.)$ be a group and $m,n \in\mathbb Z$ such that $\gcd(m,n)=1$ and $$ \forall a,b \in G, \,a^mb^m=b^ma^m,$$ $$\forall a,b \in G, \, a^nb^n=b^na^n.$$ Then how prove $G$ is an abelian group? ...
12
votes
4answers
1k views

Non-abelian group with infinitely many abelian subgroups

I'm looking for a non-abelian group which has infinitely many abelian subgroups. Do you know any examples of such groups?
12
votes
2answers
420 views

Does an abelian subgroup inject into the abelianisation of the whole group? [closed]

If $H <G $ are groups and H is abelian, do we get an injection from H into $G/[G,G] $?
12
votes
1answer
253 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
2answers
3k views

Proving that a subgroup of a finitely generated abelian group is finitely generated

A question says: Using the isomorphism theorems or otherwise, prove that a subgroup of a finitely generated abelian group is finitely generated. I would say that for a finitely generated abelian ...
12
votes
3answers
2k views

A nonsplit short exact sequence of abelian groups with $B \cong A \oplus C$

A homework problem asked to find a short exact sequence of abelian groups $$0 \rightarrow A \rightarrow B \rightarrow C \rightarrow 0$$ such that $$B \cong A \oplus C$$ although the sequence does ...
11
votes
1answer
7k views

Computing the Smith Normal Form

This question is related to the Smith Normal Form of Matrices: Let $A_R$ be the finitely generated abelian group, determined by the relation-matrix $R :=$ $$ \begin{bmatrix} -6 & 111 & -...
11
votes
4answers
767 views

Additive group of rationals has no minimal generating set

In a comment to Arturo Magidin's answer to this question, Jack Schmidt says that the additive group of the rationals has no minimal generating set. Why does $(\mathbb{Q},+)$ have no minimal ...
11
votes
3answers
364 views

Non-Abelian groups and subgroups

Need to find example for non-abelian group $G$ for which $A \subset G,\;A=\{g\in G \mid g^{-1}=g\}$ is not a subgroup of $G$. Can you please help me find such a $G$?
11
votes
2answers
2k views

Can the semidirect product of two groups be abelian group?

while I was working through the examples of semidirect products of Dummit and Foote, I thought that it's possible to show that any semdirect product of two groups can't be abelian if the this ...
11
votes
2answers
401 views

Applications of the fact that a group is never the union of two of its proper subgroups

It is well-known that a group cannot be written as the union of two its proper subgroups. Has anybody come across some consequences from this fact? The small one I know is that if H is a proper ...
11
votes
2answers
309 views

$G$ abelian group with $\vert G\vert =mn$ and $\gcd(m,n)=1$.

I hope this is not a duplicate. First of all, in what follows I'm not allowed (unfortunately) to use the structure theorem for abelian groups. I'm asked to prove the following: Let $G$ be an ...
10
votes
6answers
8k views

Are cyclic groups always abelian?

If a group $C$ is cyclic, is it also abelian (commutative)? If so, is it possible to give an “easy” explanation of why this is? Thanks in advance!
10
votes
6answers
1k views

Is $\mathbb{Z}^2$ cyclic?

Is $\mathbb{Z}^2$ cyclic? What does it mean for a group to be cyclic? Is it just that it has one generator? Thanks
10
votes
4answers
732 views

Coproducts in $\text{Ab}$

I am currently trying to understand why finite products and coproducts in the category $\text{Ab}$ coincide. In fact, I'm not even sure I can show it. My question is the following: Is there an ...
10
votes
2answers
117 views

Does there exist an $n$ such that all groups of order $n$ are Abelian?

I know that all groups of order $\leq$ 5 are Abelian and all groups of prime order are Abelian. Are there any other examples? If so is there something special about the orders of these groups?
10
votes
2answers
195 views

The existence of a group automorphism with some properties implies commutativity.

Let $G $ be a finite group, $T$ be an automorphisom of $ G $ st $ Tx = x \iff x=e $. Suppose further that $ T^2 =I $. Prove that $ G $ is abelian. I was thinking if I show $ T aba^{-1} b^ {-1}=aba^...
10
votes
1answer
130 views

For abelian groups: does knowing $\text{Hom}(X,Z)$ for all $Z$ suffice to determine $X$?

Let $X$ and $Y$ be abelian groups. Suppose $\text{Hom}(X,Z)\cong \text{Hom}(Y,Z)$ for all abelian groups $Z$. Does it follow that $X \cong Y$? It has been answered before that this is true if the ...
10
votes
1answer
219 views

Writing $G/A\times G/B$ explicitly as union of orbits

Let $G$ be a finite abelian group, and let $A$ and $B$ be subgroups. I'm interested in $G/A\times G/B$ with its natural $G$-set structure. In $G/A\times G/B$, the stabilizer of any element is $A\cap ...
9
votes
4answers
147 views

Why are there $12$ automorphisms of $\Bbb Z\oplus \Bbb Z_{3}$?

Let $A:=\Bbb Z\oplus \Bbb Z_{3}$, then what is $|\text{Aut}(A)|$? My answer is $4$ but the correct answer (without explanation) turns out to be $12$! How come? Well my understanding is, it just ...
9
votes
2answers
217 views

Is $\Bbb Q/\Bbb Z$ artinian as a $\Bbb Z$-module?

I'm confused. Is $\Bbb Q/\Bbb Z$ artinian as a $\Bbb Z$-module? We know that $\Bbb Z_{p^{\infty}} \subset \Bbb Q/\Bbb Z$ is artinian. The following argument is true or not ? $\mathbb Q / \...
9
votes
1answer
171 views

Prove $G$ is abelian if $f(f(x)) = x$?

Let $G$ be a finite group and $f$ an automorphism such that $f(f(x)) = x$, and $f(x) = x$ if and only if $x=e$. Prove that $G$ is abelian and $f(x) = x^{-1}$. My attempt: Since $...
9
votes
1answer
205 views

For which $n$, $G$ is abelian?

My question is: For Which natural numbers $n$, a finite group $G$ of order $n$ is an abelian group? Obviouslyو for $n≤4$ and when $n$ is a prime number, we have $G$ is abelian. Can we consider ...
9
votes
1answer
384 views

Finding the order of the automorphism group of the abelian group of order 8.

So I am given an abelian group of order $8$ such that for all non-identity elements $x^2 = e$ (all elements have order two). So I know the answer is gonna be $168$, but I gotta prove this. So far I ...
9
votes
3answers
1k views

Finite abelian $p$-group with only one subgroup size $p$ is cyclic

My goal is to prove this: If $G$ is a finite abelian $p$-group with a unique subgroup of size $p$, then $G$ is cyclic. I tried to prove this by induction on $n$, where $|G| = p^n$ but was not ...
9
votes
1answer
471 views

Does the splitting lemma hold without the axiom of choice?

In part of the proof of the splitting lemma (a left-split short exact sequence of abelian groups is right-split) it seems necessary to invoke the axiom of choice. That is, if $0\to A\overset{f}{\to} B\...