Understanding Additive Factor Group Q/Z

  • Thread starter Thread starter DanielThrice
  • Start date Start date
  • Tags Tags
    Group
DanielThrice
Messages
29
Reaction score
0
If we're considering the additive factor group Q/Z, can we show that Q/Z is the torsion subgroup of R/Z? I'm lost on these.
 
Physics news on Phys.org
Alright, so I showed this:


We have that if r+Z is an element of R/Z, and the order of r + Z = n, nr is an element of Z implies that r is an element of Q.

But what about this: Show that Q/Z is isomorphic to the multiplicative group U∗ consisting of all roots of unityin C. (That is, U∗ = {z ∈ C|zn=1 for some n ∈ Z+}.)
 
DanielThrice said:
Alright, so I showed this:


We have that if r+Z is an element of R/Z, and the order of r + Z = n, nr is an element of Z implies that r is an element of Q.

But what about this: Show that Q/Z is isomorphic to the multiplicative group U∗ consisting of all roots of unityin C. (That is, U∗ = {z ∈ C|zn=1 for some n ∈ Z+}.)

what can you say about the map f:Q/Z-->U* given by:

f(q + Z) = e2πiq
 
DanielThrice said:
Alright, so I showed this:


We have that if r+Z is an element of R/Z, and the order of r + Z = n, nr is an element of Z implies that r is an element of Q.

But what about this: Show that Q/Z is isomorphic to the multiplicative group U∗ consisting of all roots of unityin C. (That is, U∗ = {z ∈ C|zn=1 for some n ∈ Z+}.)

you are just restating the same question in different language.
 
DanielThrice said:
If we're considering the additive factor group Q/Z, can we show that Q/Z is the torsion subgroup of R/Z? I'm lost on these.

It is quite easy, let T be the torsion subgroup. It is easy to proove Q/Z \subseteq T.

If we have Q/Z \subset T then there is a real number r \notin Q such that r + Z has finite order. This implies r \in Q. Contradiction so Q/Z = T.
 

Thread 'Trouble understanding an online solution to an exercise in Dummit & Foote'

##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
View full post »

Thread 'Questions about non existence of GCDs vs (coimages, cokernels)'

The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
View full post »

Thread 'Decomposition into irreps of compact Lie group'

When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
View full post »

Similar threads

A Near-Rings with Noncommutative Addition and Two-Sided Distributivity
Replies
4
Views
2K
I How to show ##p(x)=g(x)x\pm 1\in\Bbb{Q}[x]## is irreducible in ##\Bbb{Q}_{\Bbb{Z}}[x]##?
Replies
48
Views
3K
I Differences between left vs right actions in some group theory questions
Replies
1
Views
64
I Proof for subgroup -- How prove it is a subgroup of Z^m?
Replies
11
Views
2K
A Structure of modulo-integer matrix group GL(r,Z(n))?
Replies
17
Views
6K
A What is the generator of the cyclic group (Z,+)?
Replies
7
Views
3K
MHB Prove R is a Sub-ring of $\mathbb{Q}$ - Prime $p \in \mathbb{Z}$
Replies
11
Views
2K
I Can a group be isomorphic to one of its quotients?
Replies
4
Views
2K
I Dfns group action & group, written in terms of the other
Replies
26
Views
379
A Classification of reductive groups via root datum
Replies
3
Views
2K

Hot Threads

Recent Insights

Back
Top