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

8
votes
3answers
379 views

Finding an explicit isomorphism between $\mathbb{Z}^{\times}_n$ and $\mathbb{Z}^{\times}_{2n}$

For an odd integer $n$, find an explicit isomorphism between $\mathbb{Z}^{\times}_n$ and $\mathbb{Z}^{\times}_{2n}$. How do I do this? I don't really know where to start. I can easily find bijections ...
8
votes
2answers
339 views

Does every ring with unity arise as an endomorphism ring?

I don't believe that every ring with a $1$ is the endomorphism ring of an abelian group but I currently don't see how to produce a counterexample.
3
votes
2answers
39 views

Abelian group and morphism equivalent statement

Exercise Show that the following statements are equivalent: $(i) \space G \space \text{is abelian.}$ $(ii) \space \text{the map f: G} \to \text{G defined as} \space f(x)=x^{-1} \space \text{is a ...
2
votes
1answer
411 views

Subgroups and quotient groups of finite abelian $p$-groups

Motivation The fundamental theorem of finite abelian groups gives us a concise description of the isomorphism types of finite abelian $p$-groups $G$ (in the following, $p$ is a fixed prime). The ...
2
votes
3answers
49 views

When is a non-trivial homomorphism injective?

I noticed that over the natural numers $(\mathbb{Z},+)$ any group homomorphism $f : \mathbb{Z} \rightarrow \mathbb{Z}$ that is not the trivial one, is automatically injective. Where exactly does ...
1
vote
2answers
22 views

Does the following binary operation form a group on a set with 3 elements? (multiple identities?)

Let S = {a, b, c}. *| a b c ----------- a| a b c b| b a a c| c a a This seems to have all the desired characteristics of a group, however, both b and c ...
1
vote
1answer
18 views

Tensor product of $\mathbb{R}^d$ and $\mathbb{R}^s$ as abelian groups

It is well known (and easy to prove) that $\mathbb{R}^d\otimes_{\mathbb{R}} \mathbb{R}^s$ is isomorphic as a vector space to $\mathbb{R}^{sd}$. Now, I would like to know a simple description of the ...
1
vote
0answers
58 views

A sequence of subsets of $\Bbb Z$ not containing nontrivial subgroups

Is there a sequence $(A_n)$ of subsets of $\Bbb Z$ such that always $\{a-b\mid a,b\in A_{n+1}\}$ is a proper subset of $A_n$ and no $A_n$ contains an infinite subgroup of $(\Bbb Z,+)$?
2
votes
1answer
49 views

About a nested sequence of subsets of integers

Let $(H_n)$ be a sequence of nonempty subsets of $\Bbb Z$ such that always $\{a-b\mid a,b\in H_{n+1}\}\subsetneqq H_n$. Can we deduce that there is some $n$ such that $\{a-b\mid a,b\in H_{n}\} = ...
1
vote
1answer
34 views

Torsion subgroup of $\mathbb{C}^\times$

I need to find the torsion subgroup of the multiplicative abelian group $\mathbb{C}^\times$. This is from a homework assignment sheet, and I'm not sure what the notation $\mathbb{C}^\times$ stands ...
0
votes
0answers
30 views

If the automorphism group of a group is cyclic, then the group is commutative [duplicate]

Let $G$ be a group and the $Aut(G)$ group is cyclic $\Rightarrow$ the group $G$ is commutative. I looked at the homomorphism $\varphi : G \rightarrow Aut(G) \ g \mapsto (x \mapsto gxg^{-1})$. Let ...
8
votes
3answers
942 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 ...
4
votes
2answers
48 views

Is $<\mathbb Q^+, \times>$ the free abelian group on countably infinitely many generators?

It seems to make sense to me that it should be, with the generators being the set of primes. However, I'm not sure that my intuition is right. Additionally, would this not be contradicted by the fact ...
0
votes
1answer
39 views

easy short exact sequence question

Suppose I have have a short exact sequence of finitely generated Abelian groups $0 \longrightarrow G \overset{f}\longrightarrow H \overset{g}\longrightarrow K \longrightarrow 0$. Suppose I have a ...
1
vote
1answer
20 views

Show that it is torsion

I am trying to solve the following exercise Let $G$ be an abelian group, and let $S\subset G$ be a subgroup. If $H$ is maximal with $H\cap S=\{0\}$, prove that $G/(H+S)$ is torsion. My attempt: ...
1
vote
2answers
87 views

On finite exponent abelian $p$-groups

Let $G$ be an abelian $p$-group non-isomorphic to any group of the form $H\times K$ where $H$ and $K$ are nontrivial groups. And let $\{|a|\mid a\in G\}$ have an upper bound in $\Bbb N$ . Is $G$ ...
1
vote
1answer
58 views

Whether two quotients of $\mathbb{Z}^2$ are isomorphic.

Let $H_1$ be the subgroup of $\mathbb{Z}^2$ generated by $\{(1,2),(4,1)\}$, let $H_2$ be the subgroup of $\mathbb{Z}^2$ generated by $\{(3,2),(1,3)\}$. Is it true that $\mathbb{Z}^2/H_1\cong ...
-1
votes
3answers
57 views

$G$ is an abelian group of order a product of distinct primes $\implies G$ is cyclic?

If $G$ is an abelian group of order $p_1p_2...p_k$ , where $p_1,p_2,...,p_k$ are distinct primes , then is it true that $G$ is cyclic ?
6
votes
3answers
100 views

Automorphisms of $\mathbb{Z}/p\oplus\cdots\oplus \mathbb{Z}/p$

Consider the abelian group $$G = \underbrace{\mathbb{Z}/p\oplus\cdots\oplus \mathbb{Z}/p}_{n},$$ where $p$ is prime and $1\le n \le p$. I want to show that $G$ has no automorphism of order $p^2$. I ...
0
votes
3answers
566 views

What does it mean for a group to be Abelian?

I'm revising questions on groups for exams, and I still can't quite understand what an Abelian group is. Please help me understand, if anyone could give me a more simple explanation.
0
votes
2answers
41 views

Prove that the order of $U(n)$ is even when $n>2$.

I'm trying to provide a solution to the following claim: "The order of $U(n)$ is even when $n>2$." Note: here, $U(n)$ is the set of all positive elements that are less than and relatively prime ...
6
votes
1answer
81 views

About translating subsets of $\Bbb Z.$

This is a continuation of About translating subsets of R2. Is it possible to find a pair of sets $A,B\subseteq\Bbb Z$ such that A is a union of translated (only translations are allowed) copies of ...
1
vote
1answer
42 views

Are these exactly the abelian groups (2)?

This is a continuation of Are these exactly the abelian groups? I would like to consider another condition on a group and see if it implies commutativity. The condition is $$(\forall A,B\subseteq ...
0
votes
1answer
43 views

Under what conditions can the symmetric group be isomorphic to the abelian group?

The symmetric group is the set of all permutations. My question addresses the representability of the symmetric group using only additions. I am guessing that on the finite field $\mathbb{Z}/n ...
1
vote
2answers
27 views

Rank($U$) = Rank($U^2$) for group of units $U$

I am reading the paper "Algebraic Integers on the Unit Circle" by Ryan C. Daileda (http://www.sciencedirect.com/science/article/pii/S0022314X05002027). I am confused about how he concludes that the ...
2
votes
2answers
49 views

How to count the number of elements of given order?

I am trying to prove the following result. Let $G$ and $G'$ be two finite abelian groups. Besides, they have the same number of elements of any given order. Prove that $G\cong G'$. My attempt is ...
2
votes
4answers
160 views

there is no injective group homomorphism from $\mathbb Z\times\mathbb Z$ into $\mathbb Z$

there is no injective group homomorphism from $\mathbb Z\times\mathbb Z$ into $\mathbb Z$ But i don't know why it is true. should i investigate all group homomorphisms from $\mathbb Z\times\mathbb ...
7
votes
1answer
153 views

Let G be a group of order $n$, where $n$ is a positive integer relatively prime to $\varphi(n)$. Show that G is cyclic.

Let G be a group of order $n$, where $n$ is a positive integer relatively prime to $\varphi(n)$. Show that G is cyclic. You may only assume the Feit-Thompson theorem here and prove in the following ...
3
votes
3answers
154 views

Basic Group Theory question

This is not so much a plea of ignorance, but rather me trying to see whether intuitively I actually understand what is going on in group theory. The question asks What group is ...
3
votes
1answer
235 views

normal p-subgroups of a finite group and chief factor

Let $G$ be a finite solvable group. Let $K/H$ be a chief factor of $G$ that is not of prime order, where $K$ is a $p$-subgroup of $G$ for some prime $p$ divides the order of $G$. Let $S$ be a proper ...
0
votes
0answers
48 views

Finite generated abelian group $G$ and $H<G$. What is the rank of $(G/H)/(G/H)_t$?

I saw another question about this problem here. However there are quite different answers from my expectation. Anyway, here are my trials. Trial 1 : By structure theorem, $G\cong G_t\oplus F_1$ ...
0
votes
1answer
48 views

generators of groups from exact sequence

Suppose I have a middle term exact sequence of finitely generated abelian groups $G \longrightarrow H \longrightarrow K$. How do I get the generators of $H$ if I know the same for other two groups?
0
votes
3answers
73 views

A question on Abelian Groups

Prove that every subgroup of an Abelian group is Abelian but the converse is not true. I recently stumbled onto this question , but not able to solve it . Please help me out!
2
votes
1answer
49 views

If direct limits of matrices are isomorphic, is the direct limit of the transpose matrices also isomorphic?

On the one hand, the following conjecture seems reasonable, but on the other hand it doesn't seem natural because some objects are being dualised while others are not. I would appreciate if anyone ...
7
votes
1answer
490 views

Equivalences and isomorphisms of short exact sequences

In case it's necessary, I'm working in the category $\mathbf{Ab}$ of abelian groups. My question concerns what I find to be a strange way of viewing the elements of the Ext group $\mbox{Ext}(A,B)$ of ...
5
votes
1answer
98 views

Additive non-abelian group?

Sometimes I see in books the term "additive abelian groups". In my opinion, when we use addition to represent the group operation, we already have in mind that the operation is commutative. So ...
3
votes
5answers
88 views

Proof that a group is abelian.

If $(G,*)$ is a group and $(a * b)^2 = a^2 * b^2$ then $(G, *)$ is abelian for all $a,b \in G$. I know that I have to show $G$ is commutative, ie $a * b = b * a$ I have done this by first using ...
1
vote
1answer
49 views

Commutators Calculus

I was trying to understand the above Corollary but I have a problem, namely why in the second to last line $A_0 \leq \zeta_p(G)$? Any ideas? Definitions By recurrence we define $[x,_0\, y]=x$; ...
0
votes
1answer
110 views

Let $G$ be a finite abelian group and let $p$ be a prime that divides order of $G$. then $G$ has an element of order $p$

Let $G$ be a finite abelian group and let $p$ be a prime that divides order of $G$. then $G$ has an element of order $p$ Proof When $G$ is abelian. First note that if $|G|$ is prime, then $G \approx ...
1
vote
4answers
65 views

Proving that a group $(G, \ast)$ is abelian if $x^3=x$ for all $x\in G$

If $(G, \ast)$ is a group so that $x^3=x$ for all $x\in G$ then $G$ is abelian
4
votes
2answers
603 views

Order of products of elements in a finite Abelian group

We want to show that if $a,b\in G$ where $G$ is a finite Abelian group, we have $\operatorname{LCM}(|a|,|b|) = |ab|$ given that $ab \neq e$. How I approached this question was by saying let ...
3
votes
0answers
44 views

Commutativity of direct and inverse limits

In exercise 5.34(iv) of Homological Algebra book by Rotman one is asked to prove that direct limits and inverse limits do not necessarily commute. I have two questions : 1.) Is it true that ...
1
vote
1answer
38 views

A group with bounded element orders and its minimal and maximal subgroups.

Let $n>1$ be an integer. Is there an abelian group $G$ with all elements of order less than $n$ for which exactly one of these conditions is correct: 1) every non-trivial subgroup of $G$ contains ...
4
votes
2answers
115 views

Simple proof of the structure theorems for finite abelian groups

Many proofs of the structure theorems for finite abelian groups first reduce to the problem to $p$-groups, which is fine and is an important technique. However, it seems to me that a simple proof can ...
0
votes
0answers
18 views

maximal and minimal subgroups of torsion abelian groups

Is there a torsion abelian group $G$ for which exactly one of these conditions is correct: 1) every non-trivial subgroup of $G$ contains a minimal (non-trivial) subgroup of $G$. 2) every proper ...
7
votes
3answers
418 views

Abelian Group Element Orders

I want to show that if a finite abelian group has elements of order $m$ and $n$ then it will have an element of order $\text{lcm}(m,n)$. First I proved the lemma if $a$ has order $m$ and $b$ has ...
0
votes
2answers
51 views

What can I say about the quotient group?

Let $G$ be a group of order $24$, and let $H$ be a normal subgroup of order $6$. So the quotient group $ {G\over H} $ is Abelian group?. What can I say about the quotient group beside her order?
11
votes
2answers
831 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 ...
22
votes
2answers
948 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?
1
vote
0answers
23 views

Automorphism group of an abelian p-group

I'd like to know if it's known the structure of the automorphism group of an abelian $p$-group with the minimal condition on subgroups, for some prime number p. I know that if $A$ is an abelian ...