Homework #4, due Feb 26th:
  • 1.7 #8,15,16,17,23
  • 2.1 #2,5,6,9,10,11

  • 1.7 #8. Let B = k-element subsets of A, and let S_A act on B in the obvious way.

    a. To show it's an action, we need to check two things:

  • 1 . {a_1,...,a_k} = {1.a_1, ..., 1.a_k} = {a_1,...,a_k}. So the identity does act as the identity.
  • (gh) . {a_1,...,a_k} = {(gh).a_1, ..., (gh).a_k} = {g.h.a_1, ...} = g.{h.a_1,...}