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

3
votes
3answers
67 views

Strange question about free abelian group

I was given the following question for homework, but it makes no sense to me. Since when are free abelian groups constructed w.r.t maps? Isn't the set $S$ all that matters? I don't understand what ...
2
votes
1answer
29 views

Let $G$ be an abelian group can we always construct a quasi projective variety $X$ such that Cl$(X)=G$

Recall that for a quasi projective variety $X$ one can define the Divisor Class Group denoted by Cl$(X)$ Let $G$ be an abelian group. Can we always construct a quasi projective variety $X$ such ...
0
votes
0answers
34 views

A question about groups

$H$ is called $s$-permutable in $G$ if it permutes with every Sylow subgroup of $G$. $H$ is called $s$-permutably embedded in $G$ if each Sylow subgroup of $H$ is a Sylow subgroup of some ...
0
votes
0answers
117 views

What is the range of this function?

What is the range of $h$? $f(x)=4x+1$ $g(x)=(x-1)/3$ Let $h=\{f^n(g^m(1)):n,m\in\mathbb{N}\geq0\}$ What is the range of $h$? Show that $(2\mathbb{N}-1)\subset H$. ... okay I've done a bit more: ...
3
votes
2answers
54 views

Show that open interval $(-1,1)$ is isomorphic to $(\mathbb{R},+)$

Define group structure on $G=(-1,1)$ by $$a*b=\frac{a+b}{1+ab}$$ for any $a,b\in G$. Show that $G$ is isomorphic to $\mathbb{R}$ under addition. I've tried the obvious maps $f:G\rightarrow ...
12
votes
2answers
416 views

Does an abelian subgroup inject into the abelianisation of the whole group? [closed]

If $H <G $ are groups and H is abelian, do we get an injection from H into $G/[G,G] $?
0
votes
1answer
19 views

$|\hom(G, \Bbb Z/2)|>1 \iff |G:[G,G]|$ is even

Let $G$ be a finite group. My problem is: $$|\hom(G, \Bbb Z/2)|>1 \iff |G:[G,G]| \mbox{ is even}.$$ I know that $\hom(G, \Bbb Z/2)=\hom(G^{ab}, \Bbb Z/2)$, where $G^{ab}:=G/[G,G]$. If ...
3
votes
2answers
45 views

Are these conditions sufficient for a $\mathbb{Z}$-module to be free?

There exist modules over the integers that, like $\mathbb{Q}$, manage to be torsion-free without being free. Ergo, its probably worth looking for conditions $P$ such that "$P$ + torsion-free" is ...
0
votes
1answer
23 views

Why if $Z/m\oplus Z/n = Z/mn$ then $(n,m)=1$ [duplicate]

Prove that if $Z/m\oplus Z/n = Z/mn$ then $(n,m)=1$. I have proved the converse, but here there is something I am missing. Hints instead of full answers are appreciated. Thanks.
2
votes
1answer
48 views

Determining the number of subgroups of $\Bbb Z_{14} \oplus \Bbb Z_{6}$

I want to determine how many subgroups does the additive group $G:=\Bbb Z_{14} \oplus \Bbb Z_{6}$ have? There are many related posts in our site, for instances: here and there. However, it ...
-3
votes
0answers
38 views

No idea why and cannot prove

Can't find any theorem or helpful ideas that might link to this. In all honestly, I am very lost in this topic. If $H$ is finite abelian group and some $a$ such that $a|\exp(H)$ then $H$ has an ...
2
votes
2answers
67 views

All subgroups normal $\implies$ abelian group

This is , I think an easy problem just that I am not getting the catch of it. How to show whether or not the statement is true? All subgroups of a group are normal$\implies$ the group is an abelian ...
1
vote
1answer
11 views

Subgroup with order =LCM of two subgroups

The following is a question that was asked by my teacher as a ponder-upon question:to which unfortunately I have not been able to put a single forward step. If an abelian group has subgroups of order ...
4
votes
3answers
55 views

Abelian finite group [duplicate]

This is a (maybe be simple) problem from Group Theory, but being a beginner, I am unable to take even a first step forward. Let $G$ be a finite group whose order is not divisible by $3$.Suppose that ...
1
vote
2answers
14 views

Showing that the primary component $G_p$ is a subgroup of $G$

For a finite abelian group $G$ and a prime number $p$ with $p \mid |G|$, we define $G_p$ as the subset of $G$ that contains all elements of $G$ with order $p^k$ for a $k \in \mathbb{N}_0$. We call ...
1
vote
2answers
46 views

Prove that G is an Abelian Group

Let G = {x in Q : 0≤x<1}. Define the operation on G: a•b = a+b if 0≤a+b<1, a+b-1 if a+b≥1 Prove that (G,*) is an Abelian group. Attempt: (commutativity was easy). For associativity I got a+b≥1 ...
1
vote
0answers
18 views

Groups and queues and stacks

As I review my elementary CS material to prepare for an interview I cannot help but think that I missed a key connection when studying this prior: I think I missed the relationship between operations ...
2
votes
1answer
32 views

Prove that the group of the rational points on the conic $u^2-Av^2=1$ is not finitely generated.

This is an exercise from Rational Points on Elliptic Curves by Silverman. Let $H$ be the conic $u^2-Av^2=1$ where $\sqrt{A}\notin \mathbb{Q}$. If $(u_1,v_1), (u_2,v_2)$ are two points in ...
0
votes
0answers
45 views

A Group G is abelian $\Leftrightarrow$ $ Inn(G)$ is a normal subgroup of Sym(G)

First of all I don´t think that this question is answered here If $G$ is non-abelian, then $Inn(G)$ is not a normal subgroup of the group of all bijective mappings $G \to G$ because in my opinion ...
0
votes
0answers
24 views

Criterion for a group $G$ to be abelian using $Inn(G)$ [duplicate]

Let $(G, *)$ be a group. Let $\mathcal S(G)=\{f:G\to G\space|f\space is\space bijective\}$ be the symmetric group and $Inn(G)=\{\kappa_{a}\space|\space a\in G\}$ the inner automorphisms. Now I want to ...
0
votes
1answer
40 views

Fundamental group of a tree?

Find the fundamental group of the space $C(T)=\{(x,y) \in T \times T \mid x\neq y\}$. $C(T)=\{(x,y) \in T \times T \mid x\neq y\}$ where $T$ is a graph $T$ is the graph made of $3$ edges with a ...
0
votes
0answers
15 views

Conjugacy Class Equation for $\mathbb{Z_{25}}$

I'm suposed to find the conjugacy class equation for $\mathbb{Z_{25}}$. Since $\mathbb{Z_{25}}$ is Abelian, that means that $gxg^{-1}=xgg^{-1}=x$ so $Z(\mathbb{Z_{25}})=\mathbb{Z_{25}}$ and every ...
0
votes
1answer
33 views

Homomorphism $f:M \to M$ such that $\mathrm{im}(f) = L$ and $f \circ f = f$ where $L \le M$ and $M$ abelian

Let $M$ be an abelian group. For any subgroup $L$ of $M$, can you find a homomorphism $f:M \to M$ such that $\mathrm{im}(f) = L$ and $f \circ f = f$? This was an attempt to find an idempotent ...
0
votes
0answers
26 views

Fun($\mathbb N$, $\mathbb Z$) is not a free abelian group [duplicate]

Question Prove that the set of functions from $\mathbb N$ to $\mathbb Z$, denoted as Fun($\mathbb N$, $\mathbb Z$), with function addition + is not a free abelian group. I think we should ...
1
vote
0answers
27 views

Does $\phi: A \otimes \mathbb{Q} \to B \otimes \mathbb{Q}$ surj. imply that for $b \in B$, $b = n \phi(a)$ for some $n \in \mathbb{Z}$, $a \in A$?

Let $A$ and $B$ be abelian groups. Suppose that we have a morphism $\phi: A \to B$ and that $\phi \otimes_\mathbb{Z} \mathbb{Q}: A \otimes_\mathbb{Z} \mathbb{Q} \to B \otimes_\mathbb{Z} \mathbb{Q}$ is ...
1
vote
0answers
42 views

Why abelian groups instead of modules in Algebraic Topology

I am studying Algebraic Topology, homology and cohomology to be concrete. I am reading\working through Hatcher, Rotman, Harper and sometimes I combine them with other books when none of them give a ...
2
votes
1answer
31 views

Regarding those $\mathbb{Z}$-modules whose every finite subset generates a finite submodule.

Let $X$ denote a $\mathbb{Z}$-module (aka an abelian group). Then $X$ may or may not satisfy: $(*)$ for all finite sets $F \subseteq X$, the module generated by $F$ is finite. This properly ...
1
vote
1answer
30 views

Proving that a normal, abelian subgroup of G is in the center of G if |G/N| and |Aut(N)| are relatively prime.

I was trying to prove that a normal, abelian subgroup of $G$, $N$ is in the center of $G$ given that $|\operatorname{Aut}(N)|$ and $|G/N|$ are relatively prime. The official question: Let $N$ be ...
-1
votes
2answers
96 views

Does $(\mathbb{Z} \times \mathbb{Q})/M$ have any element of infinite order? [on hold]

Let $\mathbb{Z} \times \mathbb{Q}$ be the group of ordered pairs $(x, y)$ with $x \in \mathbb{Z}, y \in \mathbb{Q}$ under component-wise addition. Fix $m \in \mathbb{Q}$ and let $M \subset \mathbb{Z} ...
0
votes
2answers
60 views

Can Lagrange's Theorem for algebraic structure apply here?

For a positive integer $n$ let $Φ(n)$ denote the number of elements $r∈\mathbb Z_n$ such that $\gcd(r,n)=1$. Show $Φ(mn)=Φ(m)Φ(n)$ for all $m, n∈\mathbb N$ such that $\gcd(m,n)=1$. The only thing I ...
2
votes
1answer
38 views

$G$ is an infinite abelian group such that $G \cong H$ for every non trivial subgroup $H$ of $G$ , then is $G$ cyclic?

If $G$ is an infinite abelian group such that $G \cong H$ for every non trivial subgroup $H$ of $G$ , then is $G$ cyclic , or equivalently asking , then is $[G:H]$ finite for every non trivial ...
2
votes
1answer
70 views

$G$ be an infinite group such that $|Aut (G)|=2$ , then is $G$ cyclic ?

Let $G$ be an infinite group such that $|Aut (G)|=2$ , then is $G$ cyclic ? Since $Aut(G)$ is cyclic here , I know that $G$ is abelian , but this is as far as I can get . Please help . Thanks in ...
8
votes
1answer
74 views

Automorphisms of infinite abelian groups

It is well-known that the map $Aut$ from the class of groups to itself has fixed points. For $n \neq 2$ or $6$, $Aut(S_n) \cong S_n$, $Aut(D_4) \cong D_4$ and if $G$ is a finite non-abelian simple ...
4
votes
1answer
62 views

Why do the characters of an abelian group form a group?

I was reading through Serre's Linear Representation Theory book and encountered a question to show that the set of all irreducible characters of an abelian group form a group. The proof of closure ...
0
votes
0answers
32 views

Fundamental theorem of finitely generated abelian groups query

Just had a question about how to apply this theorem. If I am only told that a group is of finite order and is Abelian can we use this theorem? Is there a way to ensure it is finitely generated, or do ...
2
votes
2answers
24 views

Question to the proof of: Let $A$ be a finite abelian group and let $g \in A$. Suppose that $\chi(g)=1$ for every $\chi \in \hat A$. Then $g=1$.

Good day, Currently I am working with the book "A First Course in Harmonic Analysis" by A. Deitmar and I am stuck in the beginning of Chapter 5 on the proof to Lemma 5.1.5. I am repeating the few ...
3
votes
0answers
32 views

On describing a sort of “well-behaved” subgroups of a free abelian group.

I found this question when I tried to figure out what kind of subgroups of a free abelian group behave just as well as in the finite generated case. Let $M$ be an free abelian group, $N$ a subgroup ...
3
votes
1answer
49 views

Is the following equation equivalent to the 2-cocycle condition?

Given a finite abelian group $G$, I'm looking for functions $\rho:G \times G \to U(1)$ such that 1) $~~~~~\rho(g,e) = 1 = \rho(e,g)$, where $e\in G$ is the unit element and such that 2) ...
2
votes
1answer
54 views

Show that $U_{14}\cong U_{18}$?

Because $|U_{14}|=|U_{18}|$ and both of them is cyclic and commutative, so i just need define a function $f : U_{14}\to U_{14}$ that f is homomorphism and bijective. $f(1)=1, f(3)=5, f(5)=7, f(9)=11, ...
-4
votes
1answer
34 views

Let $D(G)$ the conmutator subgroup of $G$. If $H$ is a subgroup of $G$ such that $D(G)\subset H$ show $H$ is normal to $G$ [closed]

Let $D(G)$ the conmutator subgroup of $G$. If $H$ is a subgroup of $G$ such that $D(G)\subset H$ show $H$ is normal to $G$. Please, I appreciate any help, since I have some ideas, but those are ...
1
vote
2answers
68 views

Abstract Mathematics - Group theory and isomorphism

I have been trying to solve two problems, but I am stuck. Can anybody provide me with some links or theory to solve the following problems? The problems are from a study guide and the test exercises ...
0
votes
2answers
39 views

when is a finitely generated abelian group finite?

I've been asked to show that a finitely generated abelian group G is finite iff $G/pG = \{0\}$ for some prime number $p$, and to find a group such that that is true for all prime $p$. Not really sure ...
0
votes
1answer
32 views

Abelian group structure and structure of Z[i]

Let $F = \Bbb{Z_p}$. For which prime integers $p$ does the additive group $F^1$ have a structure of $\Bbb{Z}[i]$-module? How about for $F^2$? I'm not really sure on how to approach this question, do ...
0
votes
1answer
37 views

Identify the abelian group that has the given presentation matrix

For the presentation matrices $$ \begin{bmatrix} 0 \\ 5\\ \end{bmatrix} , \begin{bmatrix} 1 & 0 \\ 0 & 1\\ 0 & 0 \end{bmatrix}$$ identify the abelian group they represent. For the ...
3
votes
1answer
34 views

When is a centerless group characteristic in direct product with $\mathbb{Z}^n$?

Consider an abelian group $A$ and a centerless group $B$. We can construct the direct product $A \times B$ of these groups, and $Z(A \times B) = Z(A) \times Z(B) = A \times 1 \cong A$. Now, the center ...
4
votes
1answer
55 views

Endomorphism Ring - Definition

Let $G$ be an Abelian group. We may consider the group $\big(\operatorname{End}(G), +\big)$. Next we may endow $\operatorname{End}(G)$ with the composition of functions to make it a ring. Anyway, it ...
1
vote
1answer
15 views

Construct a free chain complex K

Let $(A_{n})_{n \in \mathbb{Z}}$ be a set of finitely presented abelian groups. Construct a chain complex $\mathbf{K}$, with each $K_{n}$ a free abelian group, such that for each $n \in \mathbb{Z}$, ...
0
votes
0answers
31 views

Is there a nice characterization for when the torsion subgroup of a group $G$ is a direct summand?

Pretty much just the title. I'm reading Rotman's Introduction to the Theory of Groups, and he gives an example of an abelian group $G$ such that the torsion subgroup (which he denotes $tG$) is not a ...
1
vote
0answers
22 views

Equivalent conditions for a group being divisible

I'm being asked to show the following are equivalent conditions of an abelian group $G$: (i) $G$ is divisible (ii) Every nonzero quotient of $G$ is infinite (iii) $G$ has no maximal subgroup I've ...
2
votes
2answers
41 views

Subgroups of $\mathbb{Z}_p^n$

Is there a nice characterization or construction to list the subgroups of $\mathbb{Z}_p^n$, that is, $\mathbb{Z}_p \times \cdots \times \mathbb{Z}_p$ where $\mathbb{Z}_p$ is the cyclic group of prime ...