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

4
votes
1answer
36 views

Cubic Planar Graphs have $2^m-1$ Hamilton Cycles

I looked at the symmetric difference of hamilton cycle (HC) in cubic planar graphs and found that, together with the empty graph, they build a subgroup of the abelian group $\Omega$ of symmetric ...
2
votes
2answers
103 views

How to prove the group $G$ is abelian?

Question: Assume $G$ is a group of order $pq$, where $p$ and $q$ are primes (not necessarily distinct) with $p\leqslant q$. If $p$ does not divide $q-1$, then $G$ is Abelian. I know that if the ...
18
votes
2answers
423 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 ...
12
votes
3answers
290 views

How to prove that a group with some properties 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 ? Thanks ...
2
votes
1answer
24 views

A question on finite abelian groups

Let $m_1,\dots,m_k$ be positive integers. Are there positive integers $d_1,\dots,d_k$ such that $d_i|d_{i+1}$ and $$ \oplus_{i=1}^k \mathbb{Z}/m_i\mathbb{Z}\cong \oplus_{i=1}^k ...
1
vote
1answer
17 views

Definition of quasi-cyclic and full rational groups

In Unit Groups of Classical Rings by Karpilovsky, p.96, we can see this theorem: Let $G$ be a divisible abelian group. Then $G$ is a direct product quasi-cyclic and full rational groups. I want ...
-1
votes
2answers
98 views

Finite Abelian Groups question [closed]

Let A be a finite abelian group. Let m be the smallest natural number such that ma=0 for every a in A. Prove that there is an element in A of the order m
0
votes
1answer
29 views

Exsitence of element of a certain order in an infinite abelian group

I came up with the following question reading this(Finite Abelian Groups question). Let $G$ be an abelian group. Suppose there is an integer $n \ge 1$ such that $nG = 0$. Let $m$ be the smallest ...
2
votes
1answer
67 views

Prove G is Abelian

Let $G$ be a group and $a,b\in G$. given that $(ab)^k=a^k b^k$ and $(ab)^{k+2}=a^{k+2} b^{k+2}$ for some $k\in \mathbb N$. prove that $G$ is abelian. So far my attempt was: ...
0
votes
1answer
32 views

Quotient group of free groups

Let $G=\langle g_1,\ldots,g_k\rangle$ be a free abelian group generated with $g_1,\ldots,g_k$ and let $H=\langle g_{r+1},\ldots,g_k\rangle$ be a free abelian subgroup of $G$. Is it then the case that ...
0
votes
1answer
46 views

characterisation of direct sum of abelian groups

The direct sum of abelian groups can be defined in several equivalent ways, but I have some problem proving the equivalence. Definition 1: Given abelian groups $A$ and $B$, the direct sum is defined ...
3
votes
1answer
40 views

Given $K(\alpha)/K$ and $K(\beta)/K$ abelian extensions, prove that $K(\alpha + \beta)/K$ is an abelian extension.

Problem: Let $K(\alpha)/K$ and $K(\beta)/K$ algebraic field extensions so that their respective Galois groups are abelian. Prove that the Galois group of the field extension $K(\alpha + ...
4
votes
3answers
100 views

Representation of an abelian group

Without using the structure theorem, how do I prove b? I struggle with the proof of injectivity. Any tips? Problem: Let $G$ be a finite Abelian group. (a) Prove that the group homomorphisms $\chi ...
3
votes
4answers
123 views

Prove that $\mathbb Z^n$ is not isomorphic to $\mathbb Z^m$ for $m\neq n$

Prove that groups $\mathbb Z^n$ is not isomorphic to $\mathbb Z^m$ for $m\neq n$ My try: Let $\mathbb Z^n\cong \mathbb Z^m $ .To show that $m=n$. Case 1:Let $m>n$.Now that $\mathbb Z^m$ has $m$ ...
2
votes
1answer
49 views

Matrix and Abelian groups question

Let $A$ be a Matrix: $$ A=\begin{pmatrix} 1 & 2\\ 4 & 1 \end{pmatrix} $$ Let $f\colon v\to Av$ be a homomorphism from $Z^2$ to $Z^2$. Find a base $(v_1,v_2)$ to $Z^2$ and $2$ integers ...
1
vote
1answer
90 views

Why is $G$ abelian?

If $|G|=pq^2$ with $p,q$ primes and if $p<q$, with $q\not\equiv\pm1\mod p$, why is $G$ abelian ? The $3^{rd}$ Sylow theorem implies that $n_p|q^2$ and $n_p\equiv 1 \mod p$, By hypothesis, ...
3
votes
0answers
29 views

Which abelian groups have only a single composition series?

Cyclic groups of composite powers don't: for example, $1=C_1\triangleleft C_3\triangleleft C_6 $ and $1=C_1\triangleleft C_2\triangleleft C_6 $ are both composition series for $C_6$. But cyclic ...
2
votes
2answers
46 views

Rank-complement subgroup existence

Let $G$ be a finitely generated Abelian group. For each subgroup $H$ of $G$, does there exist another subgroup $K$ of $G$ such that $\text{rank}(G)=\text{rank}(H)+\text{rank}(K)$ and ...
1
vote
1answer
70 views

How can I prove that this Group is Abelian? [duplicate]

$(G,\cdot)$ a group. If $\exists n\in \mathbb{Z} $ such that $(a\cdot b)^{n+i}=a^{n+i}\cdot b^{n+i}$ for $i=0,1,2.$ $\forall a,b \in G$. Prove that $(G,\cdot)$ is Abelian. I'm not sure how to prove ...
12
votes
4answers
6k 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 ...
3
votes
1answer
26 views

Describing all elements in a factor group using the structure theorem for finitely generated abelian groups

On an exam I took a couple of weeks ago there was this question, which I would like to review as I did not figure it out during the exam. We were given the matrix $$A = \begin{bmatrix} 1 & 2 & ...
-5
votes
3answers
66 views

Prove that $G=\{z \in \mathbb{C}: |z|=1\}$ is an abelian group [closed]

Prove that $G=\{z \in \mathbb{C}: |z|=1\}$ is an Abelian group with the multiplication operation of complex numbers. In other words, we want to prove that: $$\begin{align} &(G_1).\; ...
1
vote
1answer
36 views

Reference Request: Subgroup of free abelian group is free abelian

I have the following reference Question, meaning that I search for a reference for the following statement: Let $F$ be a free abelian group of finite rank and $U$ be a subgroup. Then there is a basis ...
1
vote
0answers
35 views

Direct sum notation

I was reading the direct sum of the groups and the index notation looks little bit strange for me. Group $G = \bigoplus_{\alpha < \beta}\mathbb Zx_{\alpha},$ where $\beta$ be an ordinal. Is this ...
2
votes
2answers
50 views

Finitely generated abelian group with certain properties

Problem Characterize all finitely generated abelian $G$ such that every proper subgroup of $G$ is cyclic, $G$ contains exactly two proper subgroups, and for each pair of subgroups $S$,$T$ in $G$ ...
2
votes
1answer
42 views

Subgroup proof verification.

Let $G$ be an abelian group, K is a fixed positive integer. $H$={$a\in$ $G$ $|$ $|a|$ divides K} . Prove that $H$ is a subgroup of $G$. My way of proving (Let me know how I could make it better or ...
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
4
votes
1answer
85 views

Let $G$ to be abelian group and $|G|=mn$ when $(m,n)=1$. $G_m=\{g\mid g^m=e\}$,$G_n=\{g\mid g^n=e\}$, prove isomorphism

I want to prove $ f:G_n\times G_m\rightarrow G$ when $f(g,h)=gh $ is an isomorphism. First of all I showed that $G_m,G_n$ are subgroups of $G$ (easy). Now I want to show that for every $ a,b, ...
3
votes
1answer
139 views

Which of the following abelian groups are cyclic groups?

Given the abelian groups of order $7425$: $$Z_{33} \times Z_{15} \times Z_{15} , \ Z_{25} \times Z_{297} , \ Z_{45} \times Z_{165} , Z_{55}\times Z_9 \times Z_{15}$$ Which of these groups, if ...
1
vote
1answer
70 views

Structure of the unit group $(\mathbb{Z}[i]/8\mathbb{Z}[i])^\times$

I know that $\mathbb{Z}[i]/8\mathbb{Z}[i]=\{a+ib \mid a,b\in\mathbb{Z}_8\}$. But I'm not able to comprehend what $(\mathbb{Z}[i]/8\mathbb{Z}[i])^\times$ is. Can someone please help me get its ...
0
votes
0answers
10 views

A representative subspace for the cosets of another subspace $H$.

Suppose I have a subspace $H \leq V$ over a commutative ring (or if I can't get what I want with that generality, a field). I would like to specify a subspace $K$ such that: -$K \cap H = \{ \vec{0} ...
3
votes
0answers
39 views

Nontrivial homomorphisms from G to T

Let $G$ be a compact metric abelian group. $T$ be the circle group. Let $\mathcal{A}$ be the set of all finite linear combinations of continuous homomorphisms from $G \to T$. I want to show ...
0
votes
2answers
14 views

Conjugate closure and factor group

Let $N\unlhd K$ be a normal subgroup of a given group $K$ and let $$q:K\to K/N$$ be the natural quotient map. Let $A\subseteq K$ be a subset of $K$ and let the conjugate closure of $A$ in $K$ be ...
3
votes
1answer
51 views

Prove the group is a direct product [closed]

Let $G$ be an abelian group of finite order $n = mk$ with gcd$(m,k) = 1$. For $r=m,k$, let $G(r) = \{g \in G: g^r = 1 \}$ . Prove that $G = G(m) \times G(k)$.
2
votes
1answer
64 views

Showing that the product $x*y := \frac{x+y}{xy+1}$ is a group operation on $(-1, 1)$ [duplicate]

I need to show that the following is an abelian group: $$x*y = \frac{x+y}{xy+1}$$ on the set $\{x \in \Bbb R \,|\, -1 < x < 1\}$. I have been working on this problem, trying to show ...
2
votes
0answers
336 views

Find order of given factor group

I'm trying to find the order of this factor group: $$(\mathbb Z_{12}\times\mathbb Z_{18}) / \langle (4,3)\rangle.$$ The order of the factor group is just the number of elements in it (aka the ...
1
vote
1answer
23 views

Showing that compact metrizable abelian group has enough characters

I wanted to know if anybody has some clue as why a compact metrizable abelian group has enough characters to sepatare points. (a character on a topological group is a continuous homomorphism from the ...
3
votes
3answers
94 views

Example where a finite group $G$ of order $n$ has no subgroup of order $m$

Using the Fundamental Theorem of Abelian Groups, one can prove that if $G$ is a finite abelian group of order $n$ such that $m$ is a positive integer that divides $n$, then $G$ contains a subgroup of ...
0
votes
1answer
38 views

Prove that $C_8\times C_2$ has an isomorphic subgroup U and $G/U$ is isomorphic to $C_4$.

Let $G=C_{p^{k_1}}\times C_{p^{k_2}}\times ... \times C_{p^{k_n}}$ an abelian $p$ group, while $k_1,...,k_n\in\mathbb{N}$ and $k_1\geq k_2 \geq ...\geq k_n$. A group $U\cong C_{p^{l_1}}\times ...
2
votes
1answer
59 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 ...
2
votes
2answers
206 views

Number of elements in a finite abelian groups

Is the following true? Let $G$ be a finite abelian group with a minimal generating set $S$. By minimal generating set I mean we cannot reduce the cardinality further. Let $S=\{a_1,a_2,\ldots ,a_k\}$ ...
2
votes
1answer
45 views

Subgroups of Abelian Group of order 1000

Suppose you have an abelian group of size 1,000. How many subgroups does it have? I know there are 9 such groups from $1,000 = 2^3 \times 5^3$ giving us 3 of order $2^3 \times$ 3 of order $5^3$ ...
1
vote
4answers
37 views

Prove that $(G, *)$ is abelian group, for $ x * y = \tan^{-1}(tan(x) + tan(y))$

I have some troubles solving this problem. In order to prove that $(G, *)$ is an abelian group I have to find the identity element of the group, first; $\exists \ e \in \ G \ and \ x \in G$ such that ...
2
votes
1answer
38 views

Question about the assumptions to have $G \simeq H\times K$

I've been looking this fact: Let $G$ be a group, with $G$ abelian. Let $H$, $K \leq G$, with $G=HK$ and $H\cap K=\{e\}$. Then, we have that $G \simeq H\times K$. And my question is: We know ...
1
vote
0answers
60 views

Characterizing the cosets of a cycle of a finite abelian group with a linear combination of floor functions

Prelude Cconsider the finite abelian group $\mathcal G = \prod_{i=1}^A \mathbb Z_{a_i}$ and let $\mathbf s \in \mathcal G$. Let $\mathcal H = \operatorname{grp}({\mathbf s})$ be the subgroup of ...
7
votes
2answers
2k 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 ...
1
vote
1answer
47 views

If $a\otimes(b\otimes c)=0$ then $(a\otimes b)\otimes c=0$

I'm trying to prove the identity above, while the tensor product is between members of abelian groups $A,B,C$. This seemed trivial to me at first but since the tensor products are quotient groups I ...
2
votes
0answers
166 views

Cardinality relation between subsets of a group

$G$ is an abelian group, $A$ and $B$ are non empty finite subsets of $G$. Set $A+B := \{a+b\mid a\in A, b\in B\}$ and $H := \mathrm{stab}(A+B)=\{g\in G \mid g+A+B = A+B\}$. Prove that $$ ...
-2
votes
2answers
80 views

what is the way to reach apropriate answer about my question about group in algebra [duplicate]

Assume there exist $2$ natural numbers that are coprime ($m$ and $n$ such that $(m,n)=1$) such that for each $g$, $h \in G$ we have $g^m h^m = h^m g^m$ and $g^n h^n = h^n g^n$. Then $G$ is abelian ...