Yahoo Answers is shutting down on May 4th, 2021 (Eastern Time) and beginning April 20th, 2021 (Eastern Time) the Yahoo Answers website will be in read-only mode. There will be no changes to other Yahoo properties or services, or your Yahoo account. You can find more information about the Yahoo Answers shutdown and how to download your data on this help page.

Show that the set: {I, -I, X, -X, Y, -Y, Z, -Z} form a group under matrix multiplication.?

I = matrix(1,0,0_0,1,0_0,0,1)

X = matrix(-1,0,0_0,1,0_0,0,1)

Y = matrix(1,0,0_0,-1,0_0,0,1)

Z = matrix(1,0,0_0,1,0_0,0,-1)

2 Answers

Relevance
  • 9 years ago
    Favorite Answer

    To show closure, you have to do a bunch of grunt work. Multiply all possible pairs of matrices (although you can cut down the work by factoring out negative signs)

    so for example:

    XY= - Z

    X(-Y)= Z

    XX=I

    YY=I

    ZZ=I

    X(-X)= - I

    etc. I won't do all of them.

    As for associativity, you can appeal to the fact that multiplication is associative for ALL 3x3 matrices, so in particular it is associative for THESE 3x3 matrices.

    the set contains an identity element, names the identity matrix I.

    And while you check closure, you end up seeing that every element is its own inverse. that is, every element multiplied by itself gives I.

    so you have a group.

  • ?
    Lv 7
    9 years ago

    an easier way to show closure, without doing a lot of "grunt work"

    notice all matrices are diagonal. the product of two diagonal matrices is again diagonal, the entries on the diagonal of the product being the products of the diagonal entries.

    so every product is of the form diag(a,b,c), where a,b, and c = ±1.

    but these 8 matrices form every possible matrix of that form:

    I = diag(1,1,1)

    X = diag(-1,1,1)

    Y = diag(1,-1,1)

    Z = diag(1,1,-1)

    -X = diag(1,-1,-1)

    -Y = diag(-1,1,-1)

    -Z = diag(-1,-1,1)

    -I = diag(-1,-1,-1)

    so the set is closed under multiplication.

    but this is a subset of the group GL(3,F) (in any field for which -1 ≠ 1), and since it is finite, is a subgroup of that group (the general linear group of degree 3 over F).

Still have questions? Get your answers by asking now.