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

2
votes
2answers
37 views

If K and H are normal subgroups of $G$, $H \cap K = \{1\}$ and both $G/H$ and $G/K$ are abelian, then $G$ is abelian.

Let G be a group, and $H \trianglelefteq G$, $K \trianglelefteq G$. Prove that if $H \cap K = \{1\}$ and $ G / H $ and $ G/ K $ are abelian, then G is abelian. I've tried to give a proof by ...
1
vote
1answer
51 views

Quotient group(Factor group)

Prove that the quotient group $\frac{Z\times Z\times Z}{<(1,1,1)>}$ is an infinite, non-cyclic group. Here Z is the group of integers with operation of addition, $<(1,1,1)$> is the ...
0
votes
0answers
40 views

Writing an abelian group as a direct sum of cyclic groups

I have this problem Determine an isomorphic direct sum of cyclic groups, where $V$ is an abelian group generated by $x,y,z$ and subject to:: $x+y=0, 2x=0, 4x+2z=0, 4x+2y+2z=0$ So I wrote ...
1
vote
2answers
35 views

Is $\mathbb{Z}\times\mathbb{Z}/((6,5),(3,4))$ is finitely generated?

Let $A$ be the quotient of the free abelian group $\mathbb{Z}^2$ by the subgroup generated by $(6,5)$ and $(3,4)$. the question is $A$ is finitely generated? and if Yes. Can we Decompose it into a ...
0
votes
1answer
36 views

characterization of some finitely generated Z-modules

I want to characterize all finitely generated $\mathbb{Z}$-modules $M$ with the property that each submodule of $M$ is a direct summand of $M$. I think the module has to be torsion but I couldn't say ...
0
votes
3answers
44 views

An example of a group that that has an order of M that is abelian?

Theory: If G is a finite abelian group, p is prime and p divides the order of G then G has an element of order p. Can anyone think of a counter example for a number n that is not prime, divides the ...
1
vote
1answer
18 views

Uniqueness of abelian group structure on a given set and recursive algorithms

If we have some function $f$ under $\mathbb{Z}$ and $$f(a, f(b, c)) = f(f(a, b), c)$$ $$f(a, b) = f(b, a)$$ $$f(a, 0) = a$$ $$f(a, -a) = 0$$ meaning $f$ is an abelian group with an identity element of ...
1
vote
0answers
57 views

Number of group homomorphisms between two finite groups

I am confused between the Answer of this Question 1 and the Answer of this Question 2. In answer of the 1st question groups should must be Abelian whether in the answer of 2nd question there are no ...
1
vote
1answer
39 views

When is the quotient of two lattices in ${\mathbb Z}^2$ cyclic?

In this question, by a lattice I mean a full-rank subgroup of the group ${\mathbb Z}^2$. What I would like to know is: Can one give a comprehensible description of those lattices ...
1
vote
1answer
37 views

Assuming the axiom of choice ,how to prove that every uncountable abelian group must have an uncountable proper subgroup?

Assuming the axiom of choice , how to prove that every uncountable abelian group must have an uncountable proper subgroup ? Related to Does there exist any uncountable group , every proper subgroup ...
1
vote
1answer
31 views

Characteristic subgroup of an Abelian-by-Finite Group

Let $G$ be a group such that $A$ is a normal Abelian subgroup and $G/A$ is finite. Is always possible to find an Abelian characteristic subgroup $B$ such that $G/B$ is finite too? Factoring by $G^n$ ...
-2
votes
2answers
42 views

In an abelian group, prove that $x=a_1a_2\cdots a_n$ implies $x\circ x=e$ [closed]

Let $(G,\circ)$ be a group with elements $a_1,a_2,\cdots, a_n$ and $x=a_1a_2\cdots a_n$. Show that $x\circ x=e$.
3
votes
1answer
27 views

Does an injection of finitely generated abelian groups always induce a surjection via $Hom(-,U(1))$?

I was recently interested in the following conjecture, which at first sight seemed pretty elementary. Conjecture: Let $i: A \hookrightarrow B$ be an injection into a finitely generated abelian group. ...
3
votes
0answers
62 views

Why do mathematicians study elementary abelian groups?

I took two algebra courses that I liked as an undergraduate mathematics major in college, but we never covered elementary abelian groups. I recently got interested in the properties of a group I ...
0
votes
2answers
69 views

A finite abelian group has order $p^n$, where $p$ is prime, if and only if the order of every element of $G$ is a power of $p$

Suppose that G is a finite Abelian group. Prove that G has order $p^n$, where p is prime, if and only if the order of every element of G is a power of p. I tried the following route, but got stuck. ...
0
votes
1answer
64 views

If the commutator subgroup is abelian, is it necessary trivial? [closed]

Let $G$ be a group. We define the commutator of $a$, $b$ in $G$ as $[a,b]:=aba^{-1}b^{-1}$. Let $C=\langle[a,b] \mid a,b\in G \rangle$ be the commutator subgroup of $G$. Suppose that $C$ is abelian. ...
3
votes
1answer
33 views

Group ring C[Z/n] and Artin-Wedderburn decomposition

I am trying to answer the following questions, which I assume follow on from eachother each other; Write $\mathbb C$[$\mathbb Z$/n] as a product of simple rings. For abelian groups $G_1$, $G_2$, ...
3
votes
1answer
50 views

For a subgroup $H$ of a finite group $G$ , when does $|Aut(H)|$ divides $|Aut(G)|$?

Let $H$ be a subgroup of a finite group $G$, then is it true that $|Aut(H)|$ divides $|Aut(G)|$? What if we also assume $G$ is abelian? (I know that $|Aut(H)| \space \big| \space |Aut(G)|$ if $G$ is ...
-1
votes
2answers
22 views

why a finite abelian group that is not reduced to the neutral is not free Abelian? [closed]

Let $A$ be a finite abelian group s.t $A \neq \lbrace e_A \rbrace$ . How to prove that $A$ is not free ?
-1
votes
2answers
17 views

Free and infinite abelian groups and the $\mathbb{Z}$-module structure. [closed]

I want to establish a specific link between the free and infinite Abelian groups and the $\mathbb{Z}$-module structure. Let me explain: 1 - If I have a finite abelian group $A$, is it possible ...
1
vote
0answers
22 views

Naively showing that $A_n$ mod a nontrivial normal subgroup is abelian.

Suppose $H \lhd A_n$ is a nontrivial normal subgroup of the alternating group on $n$ letters. Without using the fact that $A_n$ is simple, prove that $A_n/H$ is abelian. Can this be done? I will ...
0
votes
2answers
51 views

Group Theory: Showing that a subgroup is isomorphic to a product of groups

I have the following question, where the topic being tested is cosets, order and Lagrange's theorem: Suppose that every element $x$ in a group $G$ satisfies $x^2 = e$. Prove that $G $is abelian. ...
1
vote
1answer
49 views

How to prove that a certain set is a coset of a subgroup of a group of characters mod $m$?

I have the following question: Let $m>1$ be a positive integer and $G:=G(m):={(\mathbb{Z}/m\mathbb{Z})}^{*}$. Let $p\in\mathbb{P}$ with the property $p\nmid m$. Let $\widehat{G}:=\text{Char}(G)$ ...
0
votes
2answers
30 views

Showing that the group is abelian

Let $\sigma = (123456)$ in $S_6$. And let $G = \{e, \sigma, \sigma^2, \sigma^3, \sigma^4, \sigma^5\}$ be a group under operation from $S_6$. Is $G$ abelian? Workings: A group is abelian if it is ...
0
votes
1answer
32 views

Why is the group abelian?

Lets say a group $G$ consists of 3 Sylow groups, $H_1,H_2,H_3$. Each of order $p_1,p_2,p_3$, that are prime numbers and different. Since we only have one of each Sylow group for each p, the second ...
8
votes
1answer
114 views

Are there any non-obvious colimits of finite abelian groups?

Does the forgetful functor $U : \mathsf{FinAb} \to \mathsf{Ab}$ from finite abelian groups to abelian groups preserve colimits? Morally this should be true, but it is not so easy (for me) to come up ...
1
vote
2answers
62 views

Let G be a group, where $(ab)^3=a^3b^3$ and $ (ab)^5=a^5b^5$. Prove that G is an abelian group. Want to specify.

Let $G$ be a group, where $(ab)^3=a^3b^3$ and $(ab)^5=a^5b^5$. How to prove that $G$ is an abelian group? P.S Why cannot not we just cancel ab out of the middle of these expressions? Why can we only ...
3
votes
4answers
105 views

Let $G$ be a group, where $(ab)^3=a^3b^3$ and $(ab)^5=a^5b^5$. How to prove that $G$ is an abelian group?

Let $G$ be a group, where $(ab)^3=a^3b^3$ and $(ab)^5=a^5b^5$. Prove that $G$ is an Abelian group. I know that the answer for this question has been already posted and I have seen it. However, could ...
5
votes
1answer
81 views

When the endomorphism ring of an abelian group is generated by automorphisms?

Given an abelian group $M$. First I'd like to know if $\text{End}(M)$ is generated by $\text{Aut}(M)$ (as ring, or equivalently, as additive group). Second I'd like to know if it doesn't hold ...
1
vote
1answer
37 views

How to classify all the abelian groups with finite exponent?

Let $A$ be an abelian group, the exponent exp$A$ is the least natural number $n$ (if exists) such that $nA=0$ or $+\infty$. The question can be reduced to the case exp$A=p^n$ for a certain prime ...
5
votes
1answer
78 views

Intuition for an abelian fundamental group

Any topological group has an abelian fundamental group by the Eckmann-Hilton argument. Is there some intuition behind the fundamental group being abelian that would enable one to predict this ...
0
votes
1answer
42 views

Faithfully Flat Abelian Groups

I need some help to find faithfully flat abelian groups. Flat abelian groups are torsion free $\mathbb{Z}$-modules. But what about faithfully flat abelian groups. $\mathbb{Q}$ is an example that is ...
0
votes
1answer
30 views

List all abelian groups that have order 81 and contain an element of order 27

List all abelian groups that have order 81 and contain an element of order 27. For each, give the primary decomposition and a specific element having order 27. I know $81 = 3^{4}$ so the abelian ...
2
votes
0answers
40 views

Graph Jacobian (Sandpile group) usages

Let $\Gamma$ be a graph (say, finite) and $S_\Gamma$ be it's Jacobian (also known as the sandpile group or Picard group). I'm wondering about what fundamental things one can learn about $\Gamma$ from ...
0
votes
2answers
33 views

Give a specific example to show that $\mathbb Z_{2}$ × $S_{4}$ is not abelian.

Give a specific example to show that $\mathbb Z_{2}$ × $S_{4}$ is not abelian. I know that $S_{4}$ is not abelian and therefore $\mathbb Z_{2}$ × $S_{4}$ is not abelian. I'm not sure how to show this ...
4
votes
2answers
128 views

On subgroups of abelian groups

Let $G$ be a product of $n$ finite cyclic groups. Is every subgroup of $G$ also a product of (at most) $n$ finite cyclic groups ? I do not know the answer to this question, but I'm tempted to say ...
4
votes
1answer
38 views

Determining the multiplicative group of a ring of polynomials

Let us say that we have the polynomial ring R[x]. Would it be possible to determine the order of the multiplicative group of R[x] modulo a polynomial f?
2
votes
1answer
44 views

If order of group is $p^2$, where $p$ is prime, how can you deduce $G$ is isomorphic to $C_{p^2}$ or $C_p \times C_p$?

Given $|G|=p^2$ then how can you deduce $G\cong C_{p^2}$ or $G \cong C_p \times C_p$ I have shown that G is abelian, not sure what to do next
0
votes
1answer
21 views

Given a group is finite and non-abelian, why is the left coset with the centre of the group non-cyclic?

Assume $T$ is finite and non-abelian then why is $T/Z(T)$ non-cyclic? Where $Z(T)$ is the centre of the group $T$. I've shown $Z(T)$ is a normal subgroup of T, but not sure what to do next or if ...
0
votes
0answers
27 views

homorphisms of abelian groups

Please help me with resolving this problem from Romanian "Gazeta Matematica": "a finite Abelian group $G$ such that $|\text{End } G |$ and $|\text{Aut } G |$ are coprime numbers. Show that $G$ is ...
0
votes
1answer
18 views

Equivalence of definitions of injective modules

Wikipedia article gives a number of definitions of injective modules, namely: If $Q$ is a submodule of some other left $R$-module $M$, then there exists another submodule $K$ of $M$ such that $M$ is ...
1
vote
1answer
28 views

Countable LCA groups

Is it true that a countable LCA group can only be discrete ? This question is related to a comment here : A theorem on LCA group - is the uncountability necessary?
0
votes
2answers
71 views

Example of an infinite abelian group having a non-cyclic finite subgroup [closed]

Give example (if exists) of an infinite abelian group having a non-cyclic finite subgroup . Please help
8
votes
1answer
157 views

A group whose automorphism group is cyclic

Is there an Abelian group $A$ which is not locally cyclic whose automorphism group is cyclic ?
1
vote
2answers
31 views

Abelian group, inverse element

What would be the inverse element for this abelian group $[1,2,3,4,...,p-1]$ , in which p is a prime number, with this operation $(a*b)mod.p$? For all $a$ and $b$ of the set. I know the inverse ...
1
vote
1answer
39 views

Center of an abelian group

Prove if $G$ is non abelian group, then exists an abelian subgroup $H$ which contains $Z(G)$ and $H≠Z(G)$.
0
votes
1answer
19 views

Inverse element of the abelian group (P(M),symmetric difference)

What would be the inverse element in this abelian group: $(P(M),\triangle)$? I know the neutral element is the empty set and I thought the inverse element would be $A^{c}$ for every $A$. Turns out ...
1
vote
1answer
32 views

Why homomorph and not isomorph?

Why are the groups $\mathbb{R},+$ and $\mathbb{R}_0^+,*$ homomorph, their mapping function being $ f: x \rightarrow e^x $? Why is this not an isomorphism?
1
vote
1answer
45 views

finetely generated Abelien -by-nilpotent group

Let G finetely generated Abelien -by-nilpotent group (i.e there existe a abelien subgroup H in G and G/H is nilpotent )With each of its two-generator is nilpotent-by-finite show that G is ...
-3
votes
1answer
64 views

Show there is no non-abelian group of order 9 [duplicate]

I want to show there is no non-abelian group of order 9. How should I attempt this?