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
votes
1answer
32 views

conjugacy classes and order of group

Suppost that $k_G(A)$ denotes the number of conjugacy classes of $G$ that intersects $A$ non-trivially ($A$ is an arbitrary subset of $G$) and $M=G^{'}Z(G)$. Also suppose that $G$ is non-solvable, ...
0
votes
0answers
15 views

Identifying the abelian group with a presentation matrix

I am doing problems from Artin: \begin{bmatrix} 2 \\ 1\\ \end{bmatrix} and \begin{bmatrix} 2 & 4\\ 1 & 4\\ \end{bmatrix} For the First one after manipulating rows I ...
2
votes
1answer
50 views

Isomorphisms between finite abelian groups and cyclic groups

If G is abelian of order 175 and H is cyclic of order 25 and there is a homomorphism from G onto H then what is G isomorphic to? I can see how G is isomorphic to either $C_{25} * C_7$ or to $C_5 * ...
1
vote
0answers
46 views

Prove that a(mn)=a(m)a(n), (n,m)=1

Given a positive integer $n$ where $a(n)$ is the number of non-isomorphic abelian groups of order n. 1) Prove that $a(mn)=a(m)a(n), (n,m)=1$ 2) Prove that $a(p^k)$ is the number of partitions of k, ...
1
vote
4answers
13 views

Subset of elements of a given order in a group

I'm almost certain this is true (I have even given a proof) but I keep getting this strange feeling that something is not quite right so I will ask... Let $G$ be an abelian group and let $r$ be a ...
0
votes
2answers
41 views

If $G$ is non-abelian, then $Inn(G)$ is not a normal subgroup of the group of all bijective mappings $G \to G$

Let $(G,\cdot)$ be a group and let $\mathfrak{S}(G)$ be the set of all bijective mappings from $G$ to $G$. Show that: If $G$ is non-abelian, then $Inn(G):=\{\kappa_a \vert a\in G\}$ is not a ...
2
votes
1answer
20 views

if $G' <H < G$ then $H$ is normal in $G$.

if $G' <H < G$ then $H$ is normal in $G$. ($G'$ is the commutator subgroup of $G$.) This is what I do: because $G' < H$ we have $\frac{H}{G'} \triangleleft \frac{G}{G'}$. because ...
0
votes
1answer
22 views

Are the generators of the subgroup defining tensor products linearly independent over $\mathbb Z$?

Let $S$ be a (commutative) ring with identity, and let $M$, $N$ be $S$-modules. (I guess if $S$ isn't commutative, I want $M$ to be a right $S$-module an $N$ a left $S$-module.) In the definition of ...
1
vote
1answer
33 views

Number of elements in a group

The group $G$ consists of the binary strings of length $5$ under addition $\mod 2$ in each component. (It is isomorphic to $(\mathbb Z_2)^5$, the direct product of $5$ copies of $\mathbb Z_2$.) Let ...
2
votes
2answers
77 views

How many subgroups of $\Bbb{Z}_4 \times \Bbb{Z}_6$?

I have been trying to calculate the number of subgroups of the direct cross product $\Bbb{Z}_4 \times \Bbb{Z}_6.$ Using Goursat's Theorem, I can calculate 16. Here's the info: Goursat's Theorem: Let ...
4
votes
1answer
118 views

Subgroups of abelian $p$-groups

Let $A$ be an Abelian group of prime power order. It can be expressed as a (unique) direct product of cyclic groups of prime power order: $A = \mathbb{Z}_{p^{n_1}} \times \cdots \times ...
0
votes
0answers
15 views

Fourier Analysis and applications to Abels groups

Find all functions $f:A\rightarrow C$ such that: $$\sum_{x\in A}|(f*f)(x)|^2 = |A|(\sum_{x\in A}|f(x)|^2)^2$$
1
vote
2answers
64 views

$g\in G$ maximal order in $G$ abelian then $G=\left<g\right>\oplus H$

If $g\in G$ is an element of maximal order in a finite abelian group $G$ then exists $H\leq G$ such that $G=\left<g\right>\oplus H$ Attempt: Using fundamental theorem I know that ...
0
votes
1answer
49 views

Subgroups of finite Abelian groups

I am interested in finding all of the subgroups (up to isomorphism) of a finite Abelian group $A$. I know the following: -- A finite Abelian group $A$ can be represented as a direct product of ...
-2
votes
0answers
19 views

Path-connected Space. Show abelian iff.

Let $x_0$ and $x_1$ be points of a path-connected space $X$. Show that $π_1(X,x_0 )$ is abelian if and only if for every pair $α$ and $β$ of paths from $x_0$ to $x_1$, we have $\bar α = \bar β$ .
2
votes
1answer
36 views

Let $G$ be an Abelian group with odd order. Show that $\varphi : G \to G$ such that $\varphi(x)=x^2$ is an automorphism

Let $G$ be an Abelian group with odd order. Show that $\varphi : G \to G$ such that $\varphi(x)=x^2$ is an automorphism. I was able to show that the $\varphi$ function is a homomorphism and ...
2
votes
1answer
37 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.

Let G be a group, where $(ab)^3=(a^3)(b^3)$ and $(ab)^5=(a^5)(b^5)$. Prove that $G$ is abelian group. Thank you in advance. Any help is appreciated.
10
votes
1answer
107 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 ...
1
vote
1answer
23 views

Does this condition gaurantee the cyclicity of a finite abelian group?

Let $G$ be a finite abelian group in which there are at most $n$ solutions of the equation $x^n = e$ for each posivite integer $n$. How to determine if $G$ is cyclic or not?
0
votes
1answer
42 views

Which elements of this cyclic group would generate it?

Let $n$ be a given arbitrary positive integer, and let $U_n$ denote the group of all the positive integers less than $n$ and relatively prime to $n$ under multiplication mod $n$. Then for which values ...
0
votes
2answers
65 views

Possible difference between $\mathbb{Z}$-modules and vector spaces

Suppose $G$ is a free abelian groups, i.e. a free $\mathbb{Z}$-module; we have a set $S \subset G $ such that $S$ spans $G$. Can we conclude that the rank of $G$ as a $\mathbb{Z}$-module is $ \leq ...
0
votes
2answers
37 views

Abelian and residually finite groups

If $G$ is a finitely generated abelian group then $G$ is residually finite. I don't know if the result holds or not. I tried to follow the definition but could not go far. Any hint will be highly ...
2
votes
1answer
48 views

Maximal $\mathbb{Z}$-submodules in $\mathbb{Q}$

Is it true that $\mathbb{Q}$ viewed as $\mathbb{Z}$-module ( i.e. abelian group ) has not maximal $\mathbb{Z}$-submodules ? Why ?
0
votes
1answer
38 views

Commutative group

Let $A$ be an nonempty set, and $f: A^3 \rightarrow A$ mapping which satisfies: $f(x,y,y)=f(y,y,x)$ for each $x,y \in A$ ...
0
votes
1answer
23 views

Order of elements in a disjoint cycle

What's the difference between a subgroup and a cyclic subgroup? $A_4 = \{e,(123),(132),(124),(142),(134),(143),(234),(243),(12)(34),(13)(24),(14)(23)\}$ And if I was looking for a subgroup of order ...
2
votes
4answers
79 views

Order of elements in a disjoint cycle

Just wondering how to find the order of each element in this group: $A_4 = \{e,(123),(132),(124),(142),(134),(143),(234),(243),(12)(34),(13)(24),(14)(23)\}$ I tried writing each elements not in ...
1
vote
1answer
24 views

Let $A$ finitely generated abelian group, and $A_1 \le A$. I have to prove that $rk(A)=rk(A_1)+ rk(A/A_1)$

Let be $A$ a finitely generated (f.g.) abelian group, and let be $T$ its torsion, then by the structure theorem of f.g. abelian gruops we have that $A/T \simeq \mathbb{Z}^d$, so we can define $b$ the ...
4
votes
1answer
38 views

uniqueness of groups in an exact sequence

I was wondering how unique are the groups making up to an exact sequence. Suppose we have three groups $A, B, C$ such that the sequence $$ A \rightarrow B \rightarrow C $$ is exact. I wanted to know ...
6
votes
2answers
57 views

If $G$ is a finite union of some of its abelian subgroups, then the index of the center of the group is finite

If $G$ is a finite union of some of its abelian subgroups, then the index of the center of the group is finite Would I not simply state that by Lagrange's theorem, $Z(G)$ can divide into the ...
3
votes
1answer
30 views

Shorter proof for some equvalences

Let $(G,\cdot)$ be a group show that A) $G$ is abelian B) For all $x,y\in G: (xy)^{-1}=x^{-1}y^{-1}$ C) For all $x,y\in G: (xy)^{2}=x^{2}y^{2}$ D) There existst an $n\in \mathbb{Z}$ such that for ...
3
votes
1answer
108 views

Is the group $(G,*)$ abelian?

Let $(G,*)$ be a finite group in which the sets $C_a$={$x\epsilon G$|$ax=xa$} have the same cardinality, for all $a \epsilon G$ \{e}. My question is: is the group abelian?
7
votes
1answer
44 views

Equality of rank for homology and cohomology groups via the universal coefficient theorem

I'm having trouble understanding a passage from the proof of Corollary 3.37 in Hatcher's Algebraic Topology, namely the fact that the universal coefficient theorem implies $$ ...
1
vote
2answers
73 views

Using the Fundamental Theorem of Finite Abelian Groups

Let $G$ be a finite abelian group and let $p$ be a prime that divides the order of $G$. Use the Fundamental Theorem of Finite Abelian Groups to show that $G$ contains an element of order $p$. The ...
4
votes
2answers
100 views

Explicitly computing the isomorphism class of the tensor product of two finite abelian groups

How do I compute the isomorphism class of $A\otimes_\mathbb{Z} B$, where $A$ and $B$ are abelian of finite order? I can do this for a few examples, but I am unsure of how to proceed in the ...
5
votes
1answer
141 views

Show from the axioms: Addition in a quasifield is abelian

According to wikipedia a quasifield is an algebraic structure $(Q,+,\cdot)$ such that $(Q,+)$ is a group. (As usual, we denote its identity element by $0$.) $(Q\setminus\{0\},\cdot)$ is a loop. (Its ...
1
vote
1answer
53 views

Do the circle groups have any interesting stand-alone descriptions?

By the circle groups, I mean firstly the circle group $\mathbb{T} \subseteq \mathbb{C}$ of all complex numbers having modulus $1$, and secondly the commutative group $\mathbb{S} = \mathbb{T} \cap ...
3
votes
1answer
50 views

isomorphism between divisible, totally ordered, abelian groups

Let $G$, $H$ be divisible, abelian, linearly ordered groups, whose cardinalities are equal and satisfy $\mu := |G|=|H|>\aleph_{0}$. These are supposed to be (order!) isomorphic. And just about ...
2
votes
1answer
43 views

Relating Ext groups of abelian groups and group cohomology

One can define $\mathrm{Ext}$-groups in the category of abelian groups (not $\mathbb{Z}[G]$-modules) and group cohomology in very similar ways. The second, group cohomology, can be computed in the ...
0
votes
1answer
59 views

Using the conjugacy class equation [duplicate]

Let $G$ be a group of order $p^2$. Use the class equation to prove that $G$ is abelian. The conjugacy class equation, at least how I remember it, is $$ |G| = |Z(G)|+\sum_{x\in I \backslash Z(g)} ...
3
votes
2answers
46 views

Give an example of a non-abelian group G containing a proper normal subgroup N such that $G/N$ is abelian.

Give an example of a non-abelian group G containing a proper normal subgroup N such that $G/N$ is abelian. I KNOW THERE IS A QUESTION OF THE SAME NAME. However, I need more involved assistance. My ...
0
votes
1answer
30 views

Subgroups of a finite abelian group

Let $G$ be a finite abelian group, and let $K$ be a subgroup of $G$. Does $G$ necessarily have a subgroup $H$ such that $H\cong G/K$ and $H\cap K=\langle 0\rangle$? I'm not sure where to start.
0
votes
2answers
56 views

Abstract Algebra. Let $\mathit{G} $ be an abelian group. Show that the elements of finite order in $\mathit{G}$ form a subgroup of $\mathit{G}$.

Let $\mathit{G} $ be an abelian group. Show that the elements of finite order in $\mathit{G}$ form a subgroup of $\mathit{G}$, called the torsion subgroup of $\mathit{G}$. let $g \in G$ I know that ...
2
votes
1answer
96 views

Classifying abelian groups up to isomorphism

List all abelian groups (up to isomorphism) of the given orders: a) $144$, b) $600$ a) For order $144$, I feel confident with this one so far: $\mathbb{Z}_4 \oplus \mathbb{Z}_{36}$ Elementary ...
0
votes
1answer
52 views

Doubt about the tensor product

Suppose $M$ is an abelian group and $F(X)$ is the free abelian group over $X$. Is it true that any element of $M\otimes F(X)$ can be written as a finite sum $$m_{1}\otimes x_{1}+ \cdots+m_{n}\otimes ...
0
votes
1answer
46 views

Show that any subgroup of a finitely generated abelian group is finitely generated?

I am working through Rotman 2.89 and I can't seem to solve this one. Note: Please do not link me to the related questions such as Proving that a subgroup of a finitely generated abelian group is ...
3
votes
1answer
74 views

Finite abelian p-group and an element of maximal order

I'm studying for an exam and I'm having trouble understanding the proof given for the following statement: Suppose $G$ is a finite abelian $p$-group and $a \in G$ has maximum order, then there ...
0
votes
2answers
36 views

Basic proof of statement in abstract algebra?

http://www.proofwiki.org/wiki/Abelian_Quotient_Group The third step (in both proofs) is something I am having trouble seeing. The theorem itself is not difficult to prove, but it is much cleaner this ...
-2
votes
1answer
36 views

Prove that the following are equivalen for abelian group

Let $(G, *)$ be a group. Prove that the following are equivalent: a. $G$ is abelian. b. $aba'b' = e$ for all $a,b \in G$. c. $(ab)^{2}$ = $a^2b^2$ for all $a, b \in G$.
1
vote
1answer
48 views

subgroup proof.

Prove that if $G$ is an abelian group, then $H =\{ x \in G\mid x^{2} = e \}$ is a subgroup of $G$. I did show that $H$ is close, associative, have identity and inverse element. Then my prof said I ...
2
votes
1answer
106 views

Is there a name for the generalization of the concept “Abelian group” where the axiom $-x+x = 0$ is weakened to the following?

Is there a name for the generalization of the concept "Abelian group" where the axiom $−x+x=0$ is replaced by the following list? $−0=0$ $−(x+y)=−x+−y$ $−(−x)=x$ $x+(-x)+x = x$ In multiplicative ...