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

0
votes
0answers
34 views

Order of center of a p-group deduce abelian [duplicate]

Let $G$ be a group of order $p^n$, $p$ a prime. Suppose the center of G has order at least $p^{(n−1)}$. Prove that G is abelian. Attempt: use the class equation $|G|=|Z(G)|+ \sum_{i \in ...
1
vote
3answers
86 views

$G/Z(G)$ is cyclic useful for proving groups abelian?

It's a common exercise to prove in an abstract algebra book that if $G/Z(G)$ is cyclic then $G$ must be abelian. But I've always found the exercise strange because if $G$ is abelian then $Z(G)=G$ and ...
2
votes
0answers
22 views

Direct product of groups and isomorphism [duplicate]

Let $A, B, C$ three groups such that $A \times C \cong B \times C$. I already know that if $A, B$ and $C$ are abelian and finite, then $A \cong B$. I think this result does not hold anymore if they ...
0
votes
1answer
33 views

Finding/Creating a Modern Algebra theorem

The question I'm trying to prove is this one: The subgroup $<G,S>$ generated by $G$ and $S$ is abelian and of order $9$. My Work: $G=(123)(456)(789)\ \text{and} \ S=(147)(258)(369)$ ...
0
votes
0answers
55 views

group without involution is 2-divisible

Let $G$ be an arbitrary torsion group without involutions. Show that $G$ is 2-divisible. I think it is enough to show $G$=$2G$ but i can't show why $2G$ can't be proper subgroups of $G$ ? Please ...
8
votes
1answer
101 views

Maps to all finite cyclic groups factor implies map to integers factors

Let $G$, $H$ be groups (we lose nothing here if we assume they're abelian), let $f:G\to H$ and $g:G\to \mathbb{Z}$ be homomorphisms. This last map gives us homomorphisms $g_n:G\to {\mathbb{Z}}/{n ...
7
votes
1answer
203 views

Five lemma: unique isomorphism?

Consider the Five lemma with abelian groups. If $l$, $m$, $p$, and $q$ are isomorphisms, then $n$ is an isomorphism. Let $n'\colon C\to C'$ be a second homomorphism such that $ n' \circ g=s\circ m$ ...
1
vote
1answer
69 views

A4 is a normal subgroup of A5

The problem is that: How to check, if $A_{4}$ is normal (or not) subgroup of $A_{5}$? We know that $|A_{5}|=60$ - i suppose that we shouldn't find all left and right conjugate classes, because it's a ...
0
votes
1answer
26 views

Existence of integer $n > 2$ such that for any abelian group $G$ , $G_n:=\{e\} \cup \{a \in G :o(a)=n \} $ is a subgroup of $G$ [closed]

Does there exist an integer $n > 2$ such that for any abelian group ( or at-least any finite abelian group ) $G$ , the set $G_n:=\{e\} \cup \{a \in G :o(a)=n \} $ is a subgroup of $G$ ?
2
votes
1answer
76 views

Automorphisms of the Prüfer group

Let $p$ be a prime number. Can you give me a few examples of automorphisms of $\Bbb Z_{p^\infty}$ other than the identity function? I'm looking for an elemetary way to construct them. It can be ...
1
vote
2answers
47 views

Determing whether (S, *) is an Abelian group

Given a set defined as $S=\{(a,b) | a,b \in \mathbb{Q} \land a^2+b^2=1 \}$ and a binary operation $*$ defined as $(\forall(a,b),(c,d) \in S) ((a,b)*(c,d) = (ac-bd, bc+ad))$, determine whether $(S,*)$ ...
0
votes
1answer
21 views

for abelian $A\ncong \mathbb Z_2 ,\{e\} $ to finde a automorphism that is not trivial

let $A\ncong \mathbb Z_2 , \{e\}$ abelian group, i want to find a automorphism $\varphi\neq Id_A$. i tried to define it such that for every $a\in A $ , $\varphi (a)=-a$. this definition will do ...
10
votes
1answer
214 views

Writing $G/A\times G/B$ explicitly as union of orbits

Let $G$ be a finite abelian group, and let $A$ and $B$ be subgroups. I'm interested in $G/A\times G/B$ with its natural $G$-set structure. In $G/A\times G/B$, the stabilizer of any element is $A\cap ...
2
votes
1answer
88 views

Every nonabelian group of order divisible by 6 contains a subgroup of order 6

I have a question I was hoping for help on: Prove or disprove every nonabelian group of order divisible by 6 contains a subgroup of order 6 I would guess that this statement is true based on a ...
1
vote
2answers
54 views

Showing that the product group of $G$ and $H$ satisfies the universal property for coproducts in the category of abelian groups $\mathbf{Ab}$

I'm working on another problem of Aluffi's Algebra. Given the category $\mathbf{Ab}$ of abelian groups, the problem is to show that for any two groups $G$ and $H$ the product group $G\times H$ ...
1
vote
0answers
38 views

Automorphisms of $Z_{p^{i_1}}*Z_{p^{i_2}}*…*Z_{p^{i_n}}$

If $Z_{p^{i_1}}\times Z_{p^{i_2}}\times\cdots\times Z_{p^{i_n}}=\langle a_1,...,a_n\rangle$, then each automorphism of this group is the forms as follows, $$\sigma:a_j\rightarrow ...
4
votes
1answer
66 views

Existence of projectives in the category of torsion abelian groups

Consider the category of torsion abelian groups. This category doesn't have enough projectives by the following argument. Suppose $C_2$ (cyclic group of order 2) is the homomorphic image of a ...
0
votes
1answer
38 views

Rubik's Slide Proof's and Symmetries in a Rubik's Slide

$\quad$In the February edition of The Mathematical Association of America Monthly there is a article called "$\mathit{Rubik's\ on\ the\ Torus}$". Where they are dealing with solving problems involving ...
-1
votes
1answer
55 views

Isomorphisms based on Conjugacy Classes

For what groups of the same order are not isomorphic and contain the same conjugacy class? I as well have a more detailed question: For which of those groups are not abelian. The only example I know ...
1
vote
2answers
46 views

Show that $G' = \bigcap_{C\subseteq N \triangleleft G} N$

I am asked to show that $G' = \bigcap_{C\subseteq N \triangleleft G} N$, where $G'$ is the commutator subgroup of $G$, and $C :=\{aba^{-1}b^{-1}\mid a,b\in G\}$. Showing $\bigcap_{C\subseteq N ...
1
vote
1answer
49 views

Error in Cariolaro's Unified Signal Theory

From what I understand, in the category $\mathsf {LCA}$ of lca groups, isomorphisms should respect both topology and group structure, hence they are continuous homomorphisms. I'm trying to learn ...
5
votes
2answers
71 views

To prove , if Aut$ (G)$ is trivial then $x^2=e , \forall x \in G$

If for a group $G$ the only automorphism is the identity automorphism , then how do we prove that $x^2=e ,\forall x \in G $ ? I have only been able to prove that $G$ is abelian ; Please Help .
0
votes
0answers
44 views

group of order $36$ abelian

Let $G $ be a group of order $36$.How to conclude whether it is abelian or not .I tried using Sylow's theorems by calculating the number of subgroups of order $4$ and $9$ but I am getting so many ...
1
vote
1answer
83 views

Internal and Direct Product question, need help with explanation

I am asked to express a group G={1,7,17,23,49,55,65,71} under multiplication modulo 96 as an external and internal direct product of cyclic groups. However I also have an example to help with it, but ...
0
votes
1answer
48 views

If Abelian Group $G \cong G^3$, does it follow $G \cong G^2$?

If an Abelian Group $G$ satisfies $G \cong G^{3}$, does it follow that $G \cong G^2$ ? It seems elementary but I can't find it on a standard textbook exercise, and maybe simply because it's false. ...
6
votes
1answer
57 views

If N and every subgroup of N is normal in G then G/N is abelian .

Let $N$ be a normal subgroup of $G$ such that every subgroup of $N$ is normal in $G$ and $C_G(N)\subseteq N $ .Prove that $G/N$ is abelian. I think we need to use that every subgroup of $N$ is ...
1
vote
1answer
77 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
58 views

Power series modulo polynomials

I apologize for the lengthy introduction. It is mainly for context and to introduce a certain phenomenon. $\newcommand{\Z}{\mathbb{Z}}$ Consider the groups $\Z[[x]]$ of formal power series and ...
4
votes
1answer
63 views

Finite abelian groups and subgroups.

Let $G$ be a finite abelian group of order $n=p_1^{a_1}\cdot \cdot \cdot p_k^{a_k}$ and $H$ a subgroup of $G$ of order $m=p_1^{b_1}\cdot \cdot \cdot p_k^{b_k}$. By Theorem 5 on page 161 of Dummit ...
2
votes
2answers
115 views

Prove that $G$ has a subgroup isomorphic to $G/H$.

Let $G$ be a finite abelian group of order $n$ and let $H$ be a subgroup of $G$ of order $m$. Show that $G$ has a subgroup isomorphic to $G/H$. Here are my thoughts: Define $\mu_n := \{z \in ...
1
vote
2answers
37 views

Show G is abelian iff the componentwise product homomorphism condition is satisfied:

Let $(G, \cdot, e)$ be a group. For homomorphisms $\theta: \mathbb{Z} \rightarrow G$, $\psi: \mathbb{Z} \rightarrow G$, define the componentwise product as $\theta \cdot \psi: \mathbb{Z} \rightarrow ...
1
vote
2answers
51 views

Subgroup of finite abelian group of order m

I am trying to prove the below statement: Let G be an abelian group of order m. If n divides m, show that G has a subgroup of order n. I think the classification theorem for finite abelian groups ...
0
votes
1answer
45 views

Characters of Finite Abelian Groups

I am studying this proof in my algebra notes, and I would like some help regarding the requirements of the proof. The statement of the proof is: For each finite abelian group G and each h in G with ...
0
votes
1answer
16 views

trying to find associativity

Is the binary operation define by: $x*Y = x+y-1$ what my tutor has done: $x*(y*z) = x *(y+z -1) = x+(y+z-1) = x+y+z-2$ My question: how did he get $x+y+z$-2 Where did the '-2' come from? I am ...
4
votes
2answers
122 views

Is there a finite abelian group $G$ such that the product of the orders of all its elements is $2^{2013}$?

Is there a finite abelian group $G$ such that the product of the orders of all its elements is $2^{2013}$? Clearly, we can assume the Structure Theorem for finite abelian groups. Edited Later: All I ...
0
votes
0answers
46 views

Show that $a\mapsto a^n$ is an isomorphism when $\gcd(|G|,n)=1$.

Let G be a finite abelian group and let n be a positive integer that is relatively prime to $|G|$. Show that the mapping $\phi:G\to G$ given by $a\mapsto a^n$ is an isomorphism. I solved homomorphism ...
0
votes
2answers
100 views

How many subgroups or order 8 an abelian Group of order 72 can have

Let $G$ be an abelian group of order 72.How many subgroups of order 8 and 4 can have?? I have listed all possible abelian groups there are 6.Then i said that if im lookin for an abelian group of order ...
1
vote
1answer
41 views

Subgroups of Order $p^2$ in $\mathbb{Z}_p \oplus \mathbb{Z}_p$

Hello Mathematics Community. I am unsure about how to solve this problem involving the number of subgroups in an abelian group. How many subgroups of order $p^2$ does the abelian group $\mathbb{Z}_p ...
2
votes
2answers
86 views

Properties possessed by $H , G/H$ but not G

i) Does there exist a group $G$ with a normal subgroup $H$ such that $H , G/H$ are abelian but $G$ is not ? ii) Does there exist a group $G$ with a normal subgroup $H$ such that $H , G/H$ are cyclic ...
0
votes
1answer
69 views

Any two abelian group of order 8 must be isomorphic

TRUE/FALSE :Any two abelian group of order 8 must be isomorphic SOLUTION: True The problem of finding all abelian groups of order 8 is impossible to solve, because there are infinitely many ...
3
votes
1answer
66 views

On the Definition of multiplication in an abelian group

In class we had the following Definition: Let $(A,+)$ be an abelian Group with $a \in G$. We define: $$na:= \begin{cases}na, \ \forall n \in \mathbb{N} \\ |n|(-a), \ \forall n \in ...
2
votes
0answers
53 views

Classify $\mathbb{Z_6} \times \mathbb{ Z_{24}} / \langle(3,2)\rangle$ according to fundamental theorem of finitely generated abelian group

The order of $G/H = 12$ So it can be isomorphic to $\mathbb{Z_3} \times \mathbb{Z_4}$ or $\mathbb{Z_3} \times \mathbb{Z_2} \times \mathbb{Z_2}$ $(0,1)$ has order of 4, $(1,0)$ has order of 12, ...
0
votes
1answer
91 views

If G is abelian and simple ,then G is cyclic

True /False .IF G is abelian and simple ,then G is cyclic Solution True If G is an abelian simple group then G is isomorphic to Zp for some prime p
0
votes
1answer
35 views

On the construction of an $R$-Module

Let $X \neq \emptyset$ be a set and $(R,+, \cdot)$ a commutative Ring with $\mathbb{1}$ and $(N,+, \cdot)$ an $R$-Module. Show that $(\text{map}(X,N), +, \cdot)$ is an $R$-Module where for $A= ...
1
vote
1answer
67 views

Why is the character group defined as $\mathsf{Hom}(G,\mathbb T)$, i.e why is the codomain specifically $\mathbb T$?

In the paper Category Theory Applied to Pontryagin Duality by Roeder, the character group of an lca group is defined as the topological (under the compact-open topology) abelian group of continuous ...
0
votes
1answer
54 views

abelian group as Z module

How Would you prove that every abelian group can be understood as a Z-Module in a unique way? I would guess that you would have to prove its bijective, but not sure how to go about this
1
vote
1answer
37 views

Eigenspace of finite abelian group

Let $\rho: G\to {\rm GL}_n(\mathbb{C})$ be faithfull representation of finite abelian group $G$ and $V$ is the eigenspace of some $g\in G$. Is it true that $V$ is also eigenspace for all $G$ (that ...
0
votes
1answer
40 views

Calculate factor group $(\mathbb{Z} \times \mathbb{Z} \times \mathbb{Z})/\langle(1,1,1)\rangle$

My instructor's said at the lecture that you basically set one of the dimensions to $0$ and hence you get $\mathbb{Z} \times \mathbb{Z}$. Again, is there a better way to think about this problem and ...
2
votes
1answer
63 views

Let $R$ be a $M\times N$ matrix with rational entries. Is $|(R\mathbb{Z}^N)/\mathbb{Z}^M|=|(R^T\mathbb{Z}^M)/\mathbb{Z}^N|$?

Let $R$ be a $M\times N$ matrix with rational entries, $R\mathbb{Z}^N$ be the image of $\mathbb{Z}^N$ under $R$. Consider an equivalence relation on $R\mathbb{Z}^N$ defined by $a\sim b$ if $a-b\in ...
0
votes
0answers
53 views

Non finitely-generated projective $\mathbb{Z}$-module [duplicate]

Let $M$ be a projective $\mathbb{Z}$-module. Must $M$ be free? It is easy to see that the answer is yes if $M$ is finitely generated, but I do not know about the general case. If the answer ...