4
votes
4answers
77 views

Show that $Q_8$ can't be embedded in $M_{2 \times 2}(\mathbb{R})$ as a group.

So, suppose that we're working in a field $F$. Consider the ring $M_{n \times n} (F)$ which is the set all $n \times n$ matrices with entries in $F$. Is it possible to determine whether a matrix ...
1
vote
1answer
107 views

How to define a quaternion group of order 8

I'm having problems to understand the way this group (Q8) is represented. I have seen definitions using the elements i,j and k, but these same letters don't appear in another definition where each ...
0
votes
0answers
63 views

Conjugation classes and disjoint union

i have a question about group theory. Given the group $SU_2(\Bbb{C})$, then we have the (spin) homomorphism form $SU_2(\Bbb{C})$ to $SO_3(\Bbb{R})$, call it $\pi$, given by $\pi(q)x=qxq^{-1}$. I can ...
0
votes
1answer
55 views

Automorphism of $Q_8$ [duplicate]

Is there anyone could help me to prove that $Aut(Q_8)=S_4$? Someone told me that there's an isomorphism between the rigid motions of cube and $Aut(Q_8)$, any ideas? Thank you!
3
votes
2answers
196 views

Sylow 2-Groups of a Special Linear Group

Let $SL_2(\mathbb{F}_3)$ be the special linear group over the finite field $\mathbb{F}_3$. Show that any Sylow 2-group of $SL_2(\mathbb{F}_3)$ is isomorphic to the quaternion group of order 8.
1
vote
2answers
67 views

Immersion of Quaternions

Does there exist an immersion of the Quaternion Group in the Symmetric Groups $S_6$ and $S_7$? If it does exist, can you give me an explicit description of that immersion?
1
vote
1answer
90 views

faithful irreducible representation of $A_{4} \times Q_{8}$

Construct a faithful irreducible representation of the group $A_4 \times Q_8$ $A_{4}$ is the alternating group $Q_{8}$ is the quaternions
7
votes
1answer
144 views

Quaternion group associativity

Consider the eight objects $\pm 1, \pm i, \pm j, \pm k$ with multiplication rules: $ij=k,jk=i,ki=j,ji=-k,kj=-i,ik=-j,i^2=j^2=k^2=-1$, where the minus signs behave as expected and $1$ and $-1$ ...
1
vote
0answers
36 views

“adding” numbers $\in\mathbb{U\left(2\right)}\times \mathbb{R}^+_0$

Let a unitary number be one that corresponds to a matrix of the form: $$\left( \begin{array}{cc} w+i x & y+i z \\ -e^{i p} (y-i z) & e^{i p} (w-i x) \end{array} \right)$$ This is analogous to ...
8
votes
2answers
241 views

Binary tetrahedral group and $\rm{SL}_2(\mathbb F_3)$

The binary tetrahedral group $\mathbb T$ is an interesting 24-element group. For instance it can be expressed as the subgroup $$ \mathbb T = \left\{ \pm 1, \pm i, \pm j, \pm k, \dfrac{\pm 1 \pm i \pm ...
1
vote
3answers
157 views

How can we make $\mathbb{R}^n$ into a multiplicative group?

Are there any sorts of multiplicative group structures we can put on set $\mathbb{R}^n$? By multiplicative, I mean that it should be compatible with the natural scalar multiplication on ...
1
vote
1answer
315 views

Quaternions and Rotations

Two of the interesting achievements in Mathematics are Classification of platonic solids, and also classification of finite groups acting on the unit sphere in $\mathbb{R}^3$, and they are very nicely ...
2
votes
1answer
62 views

Is there a specific name and/or representation for the group of distinguishable orientations of a given shape?

Consider a 3-dimensional body $B$. The space of all orientations of $B$ in 3-space is the rotation group $SO(3)$, and is often represented in computer science applications as the quaternions with $q$ ...