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
1answer
38 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
44 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
58 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
28 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
101 views

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

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
20 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
55 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
1answer
90 views

A sequence of subsets of $\Bbb Z$ [closed]

Is there a sequence $(A_n)$ of nonempty subsets of $\Bbb Z$ such that for each $n$, $$\{a-b\mid a,b\in A_{n+1}\}\subsetneqq A_n$$ ?
0
votes
0answers
32 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
45 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
60 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
46 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
24 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: ...
2
votes
2answers
102 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
209 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
66 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
101 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
61 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
44 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
47 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
29 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
60 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
209 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
182 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
53 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
50 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
53 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
103 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
74 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
92 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
52 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
70 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
48 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
40 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
19 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
28 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
89 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
41 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
38 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
59 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
50 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
44 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
64 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
78 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
59 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
67 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 ...
1
vote
1answer
21 views

Proof about existence of subgroups in finite abelian group

I am trying to understand the proof of the following theorem. Theorem: If $G$ is a finite abelian group and $d$ is a divisor of $|G|$, then $G$ contains a subgroup of order $d$. Proof: Let ...
0
votes
3answers
593 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.