What is the subgroup and order of a matrix group generated by A and B?

[burak100]

Homework Statement

A= \left( \begin{matrix}<br /> i &amp; 0 \\<br /> 0 &amp;-i<br /> \end{matrix} \right)
, B= \left( \begin{matrix}<br /> 0 &amp; 1 \\<br /> 1 &amp; 0<br /> \end{matrix} \right)
\\
Show that \langle A, B \rangle is subgroup of GL_2(\mathbb{C}). And Show that \langle A, B \rangle generated by A and B, and order of \langle A, B \rangle is 8 ?

Homework Equations

GL_2(\mathbb{C}) = \big\lbrace X \in M_2(\mathbb{C}) ~~\vert ~~ \exists Y\in M_2(\mathbb{C}) ~ with~ XY=YX=I \big\rbrace \\
which Y is inverse of X

The Attempt at a Solution

 

[Robert1986]

And what have you done?? What do you have to do to show something is a subgroup?

 

[burak100]

\langle A, B \rangle = \left( \begin{matrix} 0 &amp; i \\ -i &amp; 0 \end{matrix} \right) and det(<A,B>)=-1, hence det(<A,B>) in GL_2(\mathbb{C}). right?

on the other hand, if we want to show \langle A, B \rangle generated by A and B,
we need to show that A and B are linear independent ?

 

[burak100]

I am confused, because
\langle A, B \rangle= \Big\langle \left( \begin{matrix} i &amp; 0 \\ 0 &amp; -i \end{matrix} \right) \left( \begin{matrix} 0 &amp; 1 \\ 1 &amp; 0 \end{matrix} \right)\Big\rangle= \left( \begin{matrix} 0 &amp; i \\ -i &amp; 0 \end{matrix} \right) right?

and this is just an element of GL_2{\mathbb{C}}, not a group of GL_2{\mathbb{C}}, right?

 

[Dick]

I am confused, because
\langle A, B \rangle= \Big\langle \left( \begin{matrix} i &amp; 0 \\ 0 &amp; -i \end{matrix} \right) \left( \begin{matrix} 0 &amp; 1 \\ 1 &amp; 0 \end{matrix} \right)\Big\rangle= \left( \begin{matrix} 0 &amp; i \\ -i &amp; 0 \end{matrix} \right) right?

and this is just an element of GL_2{\mathbb{C}}, not a group of GL_2{\mathbb{C}}, right?

Right. I'm not sure what <A,B> is supposed to mean, but I think you just supposed to check that the group generated by all possible products of A and B is a subgroup of order 8.

 

[burak100]

So , should I try to find all possible products of A and B , or is there some trick to find it?

 

[Dick]

So , should I try to find all possible products of A and B , or is there some trick to find it?

Well, A^4=I and B^2=I, right? Showing AB=(-BA) would also help a lot.

 

[burak100]

Well, A^4=I and B^2=I, right? Showing AB=(-BA) would also help a lot.

I try to calculate possibilities,

I, A, B, AB, BA, AAB, AAA, BAA

and there are 8 elements , is it the answer?

 

[Dick]

I try to calculate possibilities,

I, A, B, AB, BA, AAB, AAA, BAA

and there are 8 elements , is it the answer?

The answer would be a PROOF that those 8 elements form a group. Just listing them isn't enough. Besides, I don't think all of those are different. Isn't AAB=BAA?