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

1
vote
0answers
28 views

divisible subgroup without axiom of choice

the theorem asserting that the divisible subgroup of an Abelian group is a direct summand depends on Zorn's lemma. in ZF without AC is there a construction which yields a model of an Abelian group ...
1
vote
1answer
49 views

Exercise on characterization of free abelian groups

I was wondering if someone can please check my work on a homework problem. This is from the graduate Hungerford text. Chapter 2.1, number 3. Let $X=\{a_i\ |\ i\in I\}$ be a set. Then the free abelian ...
3
votes
3answers
72 views

An epimorphism from $\mathbb Z⊕\mathbb Z⊕\cdots$ to $\mathbb Q$

I want an explicit example of an epimorphism from $\mathbb Z⊕\mathbb Z⊕\cdots$ to $\mathbb Q$. Thanks.
1
vote
1answer
23 views

Rational group algebras and maximal orders

Let $G$ be a finite group, and $\mathbb{Q}[G]$ be the rational group algebra. Then the group ring $\mathbb{Z}[G]$ is an order in $\mathbb{Q}[G]$, but is not in general a maximal order. What can we ...
3
votes
2answers
41 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
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
24 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
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,+)$?
1
vote
1answer
19 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 ...
2
votes
1answer
50 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}\} = ...
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 ...
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 ...
4
votes
2answers
53 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
40 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
21 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
88 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$ ...
3
votes
4answers
193 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
58 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
2answers
42 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
83 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
44 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
162 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 ...
3
votes
3answers
156 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 ...
0
votes
1answer
49 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
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$ ...
2
votes
1answer
50 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 ...
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 ...
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!
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$; ...
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
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 ...
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 ...
0
votes
2answers
52 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?
1
vote
0answers
24 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 ...
4
votes
4answers
72 views

$n$th power map is an automorphism implies abelian group?

If $G$ is a finite group and $\phi(x) = x^n$ is an automorphism of $G$ does this imply $G$ is abelian? I've been reading this page. Def: A group $G$ is said to be $n$-abelian if $(ab)^n=a^nb^n$ ...
1
vote
2answers
37 views

A finite $\mathbb{Z}$-module whose submodules are totally ordered by inclusion.

I have the following problem: Let $M$ be a finite $\mathbb{Z}$-module such that set of the submodules is totally ordered by inclusion. Prove that there exist a prime $p$ such that $|M|=p^\alpha$ ...
2
votes
1answer
37 views

Show that, given an element $\bar{x}\in\mathbb{Q}/\mathbb{Z}$, there is an integer $n \ge 1$ such that $n\bar{x} = 0$. [duplicate]

Consider $\mathbb{Z}$ as a subgroup of the additive group $\mathbb{Q}$ of rational numbers. >Show that, given an element $\bar{x}\in\mathbb{Q}/\mathbb{Z}$, there is an integer $n \ge 1$ such that ...
2
votes
1answer
55 views

How to prove that $\mathbb Z/p$ is not a direct summand of any direct sum of copies of $\mathbb Z/n$?

How can I prove that $\mathbb Z/p$ ($p$ is a prime) cannot be a direct summand of any arbitrary direct sum of copies of $\mathbb Z/n$, where $p^2$ divides $n$?
5
votes
1answer
44 views

Let $G$ be a group and $a,b,c \in G$. Given that $abc$ and $cba$ are conjugated, prove that $G$ is abelian.

Let $G$ be a group and $a,b,c \in G$. Given that $abc$ and $cba$ are conjugated, prove that $G$ is abelian. In other words, if for any $a,b,c \in G$ there is a $g \in G$ so that $a b c = g c b a ...
2
votes
1answer
43 views

$\operatorname{Hom}(G,\Bbb C\setminus \{0\})$ non- isomorphic to $\operatorname{Hom}(G, \Bbb T)$?

Do you have an example of an abelian group $G$ for which $\operatorname{Hom}(G,\Bbb C\setminus \{0\})$ is not isomorphic to $\operatorname{Hom}(G, \Bbb T)$? $\Bbb C$ is the complex plane and $\Bbb ...
2
votes
2answers
62 views

The factor group $\mathbb{R}^{*}/\{-1,1\}$ is isomorphic to $\mathbb{Z}_{2}$. True or False.

I have been told that the answer for this question is False. And I'm trying to understand why. For what I understand so far, $\mathbb{Z} _2$ is an abelian group. I also understand that for a group ...
2
votes
1answer
76 views

What we know about $\mathbb{Q}/\mathbb{Z}$ as a group? [closed]

What we know about $\mathbb{Q}/\mathbb{Z}$ as a group? Are there any interesting properties? Best regards.
0
votes
1answer
55 views

Self-dualiy of the subgroup lattice of finite abelain groups

For each abelain finite group $G$ let $\mathcal L(G)$ be the lattice of all subgroups of $G$. For which abelian finite groups $G$, is $(\mathcal L(G),\subseteq)$ order-isomorphic to $(\mathcal ...
0
votes
0answers
59 views

Free groups vs. free abelian groups

I'm trying to solve this question in page 74 of Hungerford's book: A free abelian group is a free group (Section I.9) if and only if it is cyclic. I have no idea how to proceed, a solution or a ...