Skip to main content

Section Week 1 (8/25 - 8/29)

This week we covered the following topics:
  1. Operations and their properties.
  2. Associative, commutative, and distributive properties.
  3. Identities and inverses.
  4. How this relates to β€œsolving equations”.

Handout Monday, 8/25

Today we will introduce the class and work on the first activity, Algebra, Abstracted.
But first, solve for \(x\text{:}\)
\begin{equation*} x^5 - 10x + 2 = 0\text{.} \end{equation*}
Our goal this semester is to at least try to understand why you cannot.
But first, we need to step way way back to some basics. Let’s study operations and how they impact solving equations.
  • Notice how the operation tables work. These are called Cayley tables.
  • For the second group of tasks, you can try to solve these by guess and check, but what if you wanted to use the regular rules of algebra? What is required.

Handout Wednesday, 8/27

We discussed solving equations inside \(\Z_5\) (although did not call it that). Next time we will carefully define an operation and name some properties.

Handout Friday, 8/29

We will continue our discussion on operations and their properties.
  • First, an operation is a function from pairs of elements to elements of that set. What does it mean to be a function? List the properties that make it a function in this case.
  • Is subtraction an operation? Is division? Well, on what set? To be an operation, you are always an operation on some set, and that set must be closed under that operation. In other words, if you apply the operation to elements of the set, you must get an element of the set.
  • Consider the operation \(*\) on \(\Z\) (the set of integers) given by \(a * b = a + 2b + ab\text{.}\) Check this really is an operation.
  • Last time we saw that in order to solve equations, we needed to have some basic properties. Let \(*\) be an operation on a set \(S\text{.}\)
    • We say \(*\) is associative provided that for all \(a\text{,}\) \(b\text{,}\) and \(c\) in the set, \(a * (b * c) = (a * b) * c\text{.}\)
    • We say \(*\) is commutative provided that for all \(a\) and \(b\) in the set, \(a * b = b * a\text{.}\)
    • We call an element \(e\) in \(S\) an identity for \(*\) if for all \(a\) in \(S\text{,}\) \(e * a = a * e = a\text{.}\)
    • We say that an element \(a \in S\) has an inverse for \(*\) if there exists an element \(b \in S\) such that \(a * b = b * a = e\text{,}\) where \(e\) is the identity element for \(*\text{.}\)
  • Sets for which there is an operation that is associate, contains an identity, and for which every element has an inverse, are called groups.
Let’s look at some examples of supposed operations to investigate their properties.
  • Is division an operation on \(\Z\text{?}\) No, because the set is not closed under division.
  • Is subtraction an operation on \(\Z\text{?}\) Yes. But note that it is not associative or commutative.
  • What about the operation \(*\) on \(\Z\) given by \(a * b = a + 2b - ab\text{?}\) It is an operation. Is it associative? Commutative? Does it have an identity? Do all elements have inverses?