Ask your own question, for FREE!
Mathematics 20 Online
OpenStudy (jango_in_dtown):

Help

OpenStudy (jango_in_dtown):

OpenStudy (jango_in_dtown):

@ganeshie8

OpenStudy (jango_in_dtown):

@texaschic101

OpenStudy (jango_in_dtown):

@Zarkon

OpenStudy (jango_in_dtown):

@Michele_Laino

OpenStudy (michele_laino):

yes the set of rotation of the \(x,y-\)plane is a group, for example, consider this rotation around the \(z-\)axis \[\left\{ {\begin{array}{*{20}{c}} {x' = x\cos \alpha + y\sin \alpha } \\ {y' = - x\sin \alpha + y\cos \alpha } \\ {z' = z} \end{array}} \right.\]

OpenStudy (michele_laino):

or, in a more compact form: \[\left( {\begin{array}{*{20}{c}} {x'} \\ {y'} \\ {z'} \end{array}} \right) = {R_\alpha }\;\left( {\begin{array}{*{20}{c}} x \\ y \\ z \end{array}} \right) \Rightarrow R = \left( {\begin{array}{*{20}{c}} {\cos \alpha }&{\sin \alpha }&0 \\ { - \sin \alpha }&{\cos \alpha }&0 \\ 0&0&1 \end{array}} \right)\]

OpenStudy (jango_in_dtown):

HI... The group is already defined .. And the rotation is taken about (0,0)

OpenStudy (michele_laino):

even if the elements of a general group of rotation need not commute, namely: \[{R_i}{R_j} \ne {R_j}{R_i}\]

OpenStudy (michele_laino):

In your case, please try to verify the axioms of a group, using my formulas above

OpenStudy (michele_laino):

if you prefer you can consider the case when z=0, namely a rotation of the \(x,y-\)plane

OpenStudy (jango_in_dtown):

Yes... It will be a subgroup then. What about the cyclic part?

OpenStudy (michele_laino):

I'm thinking....

OpenStudy (michele_laino):

I think that the rotations of a polygon, around the origin are a cyclic group

OpenStudy (jango_in_dtown):

For a cyclic group we need a generator.. In this case the angles are takes from the set of all real numbers...

OpenStudy (michele_laino):

I know, nevertheless if we can find a cyclic group with respect to our group is a subgroup, we have the thesis

OpenStudy (jango_in_dtown):

You mean isomorphic to our group?

OpenStudy (michele_laino):

I mean if \(R_1\) is a cyclic group, such that \(R\) is included in \(R_1\) then also \(R\) is cyclic

OpenStudy (jango_in_dtown):

I am not getting th cyclic part

OpenStudy (michele_laino):

whe we are in quantum mechanics we can speak about the generator of rotations, and if we consider the rotation around the \(z-\)axis, then such generator is the \(z-\)component of angular momentum of our mechanical system: \(J_z\)

OpenStudy (michele_laino):

when*

OpenStudy (jango_in_dtown):

I mean the group mentioned in the question.. HOw is it having a generator, that part I am not getting

OpenStudy (michele_laino):

for example, the \(n-\)th roots of unity are a cyclic group

OpenStudy (jango_in_dtown):

Yeah I know that its a cyclic group, I meant the given group is cyclic or not

OpenStudy (michele_laino):

and as a generator I can take any one of that roots, of course the order of such group is \(n\) Yes I think so, nevertheless I'm not able to justify it

OpenStudy (michele_laino):

If we consider the set of symmetry rotations, then we have a cyclic group, since such group is isomorphic to the group of integers modulo n, where \(2\pi/n\) is the littlest rotation

OpenStudy (michele_laino):

so, if we define an infinitesimal rotation, namely \(\delta \theta\), also our group is a cyclic group

OpenStudy (jango_in_dtown):

Then how can we represent any rotation which is less than it but greater than 0?

OpenStudy (michele_laino):

good question

OpenStudy (michele_laino):

I consider the matrix: \[R = \left( {\begin{array}{*{20}{c}} {\cos \alpha }&{\sin \alpha } \\ { - \sin \alpha }&{\cos \alpha } \end{array}} \right)\]

OpenStudy (jango_in_dtown):

ok

OpenStudy (michele_laino):

Using the induction principle, we can write: \[{R^n} = \left( {\begin{array}{*{20}{c}} {\cos \left( {n\alpha } \right)}&{\sin \left( {n\alpha } \right)} \\ { - \sin \left( {n\alpha } \right)}&{\cos \left( {n\alpha } \right)} \end{array}} \right)\]

OpenStudy (michele_laino):

since not all real numbers are in the form \(n\alpha\) because the real line is a vector space on the re4al set, then our group is not cyclic

OpenStudy (michele_laino):

real* set

OpenStudy (jango_in_dtown):

OK thanks...:)

OpenStudy (michele_laino):

:)

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!