Results 1 to 3 of 3

Math Help - Prove that matrix W is a field

  1. #1
    Member
    Joined
    Jan 2010
    Posts
    232

    Prove that matrix W is a field

    Let W=\left\{ \left[ \begin{matrix} a & -b \\ b  &  a \end{matrix} \right] : a,b\in R \right\} together with the usual operations of matrix addition and matrix multiplication in R^{2\times 2}. Prove that W is a field.

    A hint was provided as follows:
    Prove that W is closed under addition and multiplication and then go through each axiom of a field. You may simply reference well-known facts about matrix multiplication, i.e. (A+B)+C=A+(B+C) \forall A,B,C\in R^{2\times 2}.

    This is probably easier than I think it is, but I'm still highly uncertain when it comes to fields and matrices.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor undefined's Avatar
    Joined
    Mar 2010
    From
    Chicago
    Posts
    2,340
    Awards
    1
    Quote Originally Posted by Runty View Post
    Let W=\left\{ \left[ \begin{matrix} a & -b \\ b  &  a \end{matrix} \right] : a,b\in R \right\} together with the usual operations of matrix addition and matrix multiplication in R^{2\times 2}. Prove that W is a field.

    A hint was provided as follows:
    Prove that W is closed under addition and multiplication and then go through each axiom of a field. You may simply reference well-known facts about matrix multiplication, i.e. (A+B)+C=A+(B+C) \forall A,B,C\in R^{2\times 2}.

    This is probably easier than I think it is, but I'm still highly uncertain when it comes to fields and matrices.
    There are lots of field axioms, and you just have to go through them one by one and prove that they hold.

    Field Axioms -- from Wolfram MathWorld

    Closure is pre-supposed and thus not included in the table.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Member
    Joined
    Sep 2010
    Posts
    185
    Thanks
    13
    Its a simple walk through axioms of field.
    (W,+)
    Comutativity, associativity are easily established. Inherited elementwise. Unique neutral element with respect to + operation: nullmatrix. Every element has a unique inverse with respect to + operation. for A in W, -A is inverse.

    Commutativity easily checked, also check for associativity. Unique neutral element with respect to matrix multiplication: identity matrix.
    For every element a unique inverse with respect to matrix multiplication can be found: \left[\begin{array}{cc}\frac{a}{a^2+b^2} & \frac{b}{a^2+b^2} \\ -\frac{b}{a^2+b^2}  &  \frac{a}{a^2+b^2}\end{array}\right].


    EDIT: I forget the distributivity. I peeked behind the link undefined posted above.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Matrix element of a field
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: September 25th 2011, 04:29 AM
  2. question on matrix ring over a field
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: January 30th 2010, 09:36 AM
  3. Prove that Z_m is a field iff m is a prime.
    Posted in the Advanced Algebra Forum
    Replies: 5
    Last Post: January 10th 2010, 12:05 AM
  4. Field: If A=B; Prove A+C = B+C
    Posted in the Advanced Algebra Forum
    Replies: 8
    Last Post: April 10th 2009, 03:21 AM
  5. Prove it is a field
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: December 7th 2008, 07:53 PM

Search Tags


/mathhelpforum @mathhelpforum