11.2: Algebraic Systems
- Page ID
- 80545
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)An algebraic system is a mathematical system consisting of a set called the domain and one or more operations on the domain. If \(V\) is the domain and \(*_1, *_2, \ldots , *_n\) are the operations, \(\left[V;*_1, *_2, \ldots , *_n\right]\) denotes the mathematical system. If the context is clear, this notation is abbreviated to \(V\text{.}\)
Monoids at Two Levels
Consider the following two examples of algebraic systems.
- Let \(B^*\) be the set of all finite strings of 0's and 1's including the null (or empty) string, \(\lambda\text{.}\) An algebraic system is obtained by adding the operation of concatenation. The concatenation of two strings is simply the linking of the two strings together in the order indicated. The concatenation of strings \(a\) with \(b\) is denoted \(a+b\text{.}\) For example, \(01101+101 =01101101\) and \(\lambda +100 = 100\text{.}\) Note that concatenation is an associative operation and that \(\lambda\) is the identity for concatenation.
A note on notation: There isn't a standard symbol for concatenation. We have chosen \(+\) to be consistent with the notation used in Python and Sage for the concatenation. - Let \(M\) be any nonempty set and let * be any operation on \(M\) that is associative and has an identity in \(M\text{.}\) Any such system is called a monoid. We introduce monoids briefly here, but will discuss them further in Chapter 14
Our second example might seem strange, but we include it to illustrate a point. The algebraic system \(\left[B^*;+\right]\) is a special case of \([M;*]\text{.}\) Most of us are much more comfortable with \(B^*\) than with \(M\text{.}\) No doubt, the reason is that the elements in \(B^*\) are more concrete. We know what they look like and exactly how they are combined. The description of \(M\) is so vague that we don't even know what the elements are, much less how they are combined. Why would anyone want to study \(M\text{?}\) The reason is related to this question: What theorems are of interest in an algebraic system? Answering this question is one of our main objectives in this chapter. Certain properties of algebraic systems are called algebraic properties, and any theorem that says something about the algebraic properties of a system would be of interest. The ability to identify what is algebraic and what isn't is one of the skills that you should learn from this chapter.
Now, back to the question of why we study \(M\text{.}\) Our answer is to illustrate the usefulness of \(M\) with a theorem about \(M\text{.}\)
Theorem \(\PageIndex{1}\): A Monoid Theorem
If \(a\text{,}\) \(b\) are elements of \(M\) and \(a * b = b * a\text{,}\) then \((a * b) * (a * b) = (a * a) * (b * b)\text{.}\)
- Proof
-
\begin{equation*} \begin{split} (a*b)*(a*b) &=a*(b*(a*b))\quad \textrm{ Why?} \\ &=a* ((b*a)*b)\quad \textrm{ Why?}\\ &= a*((a*b)*b)\quad \textrm{ Why?}\\ &= a*(a*(b*b))\quad \textrm{ Why?}\\ &= (a*a)*(b*b)\quad \textrm{ Why?} \end{split} \end{equation*}
The power of this theorem is that it can be applied to any algebraic system that \(M\) describes. Since \(B^*\) is one such system, we can apply Theorem \(\PageIndex{1}\) to any two strings that commute. For example, 01 and 0101. Although a special case of this theorem could have been proven for \(B^*\text{,}\) it would not have been any easier to prove, and it would not have given us any insight into other special cases of \(M\text{.}\)
Example \(\PageIndex{1}\): Another Monoid
Consider the set of \(2\times 2\) real matrices, \(M_{2\times 2}(\mathbb{R})\text{,}\) with the operation of matrix multiplication. In this context, Theorem \(\PageIndex{1}\) can be interpreted as saying that if \(A B = B A\text{,}\) then \((A B)^2= A^2B^2\text{.}\) One pair of matrices that this theorem applies to is \(\left( \begin{array}{cc} 2 & 1 \\ 1 & 2 \\ \end{array} \right)\) and \(\left( \begin{array}{cc} 3 & -4 \\ -4 & 3 \\ \end{array} \right)\text{.}\)
Levels of Abstraction
One of the fundamental tools in mathematics is abstraction. There are three levels of abstraction that we will identify for algebraic systems: concrete, axiomatic, and universal.
Concrete Level
Almost all of the mathematics that you have done in the past was at the concrete level. As a rule, if you can give examples of a few typical elements of the domain and describe how the operations act on them, you are describing a concrete algebraic system. Two examples of concrete systems are \(B^*\) and \(M_{2\times 2}(\mathbb{R})\text{.}\) A few others are:
- The integers with addition. Of course, addition isn't the only standard operation that we could include. Technically, if we were to add multiplication, we would have a different system.
- The subsets of the natural numbers, with union, intersection, and complementation.
- The complex numbers with addition and multiplication.
Axiomatic Level
The next level of abstraction is the axiomatic level. At this level, the elements of the domain are not specified, but certain axioms are stated about the number of operations and their properties. The system that we called \(M\) is an axiomatic system. Some combinations of axioms are so common that a name is given to any algebraic system to which they apply. Any system with the properties of \(M\) is called a monoid. The study of \(M\) would be called monoid theory. The assumptions that we made about \(M\text{,}\) associativity and the existence of an identity, are called the monoid axioms. One of your few brushes with the axiomatic level may have been in your elementary algebra course. Many algebra texts identify the properties of the real numbers with addition and multiplication as the field axioms. As we will see in Chapter 16, “Rings and Fields,” the real numbers share these axioms with other concrete systems, all of which are called fields.
Universal Level
The final level of abstraction is the universal level. There are certain concepts, called universal algebra concepts, that can be applied to the study of all algebraic systems. Although a purely universal approach to algebra would be much too abstract for our purposes, defining concepts at this level should make it easier to organize the various algebraic theories in your own mind. In this chapter, we will consider the concepts of isomorphism, subsystem, and direct product.
Groups
To illustrate the axiomatic level and the universal concepts, we will consider yet another kind of axiomatic system, the group. In Chapter 5 we noted that the simplest equation in matrix algebra that we are often called upon to solve is \(A X = B\text{,}\) where \(A\) and \(B\) are known square matrices and \(X\) is an unknown matrix. To solve this equation, we need the associative, identity, and inverse laws. We call the systems that have these properties groups.
Definition \(\PageIndex{1}\): Group
A group consists of a nonempty set \(G\) and a binary operation \(*\) on \(G\) satisfying the properties
- \(*\) is associative on \(G\text{:}\) \((a*b)*c=a*(b*c)\) for all \(a, b, c \in G\text{.}\)
- There exists an identity element, \(e \in G\text{,}\) such that \(a*e=e*a=a\) for all \(a \in G\text{.}\)
- For all \(a \in G\text{,}\) there exists an inverse; that is, there exists \(b\in G\) such that \(a *b = b*a=e\text{.}\)
A group is usually denoted by its set's name, \(G\text{,}\) or occasionally by \([G; * ]\) to emphasize the operation. At the concrete level, most sets have a standard operation associated with them that will form a group. As we will see below, the integers with addition is a group. Therefore, in group theory \(\mathbb{Z}\) always stands for \([\mathbb{Z}; +]\text{.}\)
Note \(\PageIndex{1}\): Generic Symbols
At the axiomatic and universal levels, there are often symbols that have a special meaning attached to them. In group theory, the letter \(e\) is used to denote the identity element of whatever group is being discussed. A little later, we will prove that the inverse of a group element, \(a\text{,}\) is unique and its inverse is usually denoted \(a^{-1}\) and is read “\(a\) inverse.” When a concrete group is discussed, these symbols are dropped in favor of concrete symbols. These concrete symbols may or may not be similar to the generic symbols. For example, the identity element of the group of integers is 0, and the inverse of \(n\) is denoted by \(-n\text{,}\) the additive inverse of \(n\text{.}\)
The asterisk could also be considered a generic symbol since it is used to denote operations on the axiomatic level.
Example \(\PageIndex{2}\): Some Concrete Groups
- The integers with addition is a group. We know that addition is associative. Zero is the identity for addition: \(0 + n = n + 0 = n\) for all integers \(n\text{.}\) The additive inverse of any integer is obtained by negating it. Thus the inverse of \(n\) is \(-n\text{.}\)
- The integers with multiplication is not a group. Although multiplication is associative and 1 is the identity for multiplication, not all integers have a multiplicative inverse in \(\mathbb{Z}\text{.}\) For example, the multiplicative inverse of 10 is \(\frac{1}{10}\text{,}\) but \(\frac{1}{10}\) is not an integer.
- The power set of any set \(U\) with the operation of symmetric difference, \(\oplus\text{,}\) is a group. If \(A\) and \(B\) are sets, then \(A\oplus B=(A\cup B)-(A\cap B)\text{.}\) We will leave it to the reader to prove that \(\oplus\) is associative over \(\mathcal{P}(U)\text{.}\) The identity of the group is the empty set: \(A\oplus \emptyset = A\text{.}\) Every set is its own inverse since \(A \oplus A = \emptyset\text{.}\) Note that \(\mathcal{P}(U)\) is not a group with union or intersection.
Definition \(\PageIndex{2}\): Abelian Group
A group is abelian if its operation is commutative.
Note \(\PageIndex{2}\): Abel
Most of the groups that we will discuss in this book will be abelian. The term abelian is used to honor the Norwegian mathematician N. Abel (1802-29), who helped develop group theory.
Exercises
Exercise \(\PageIndex{1}\)
Discuss the analogy between the terms generic and concrete for algebraic systems and the terms generic and trade for prescription drugs.
- Answer
-
The terms “generic” and “trade” for prescription drugs are analogous to “generic” and “concrete” algebraic systems. Generic aspirin, for example, has no name, whereas Bayer, Tylenol, Bufferin, and Anacin are all trade or specific types of aspirins. The same can be said of a generic group \([G; *]\) where \(G\) is a nonempty set and \(*\) is a binary operation on \(G\text{,}\) When examples of typical domain elements can be given along with descriptions of how operations act on them, such as \(\mathbb{Q}\)* or \(M_{2\times 2}(\mathbb{R})\text{,}\) then the system is concrete (has a specific name, as with the aspirin). Generic is a way to describe a general algebraic system, whereas a concrete system has a name or symbols making it distinguishable from other systems.
Exercise \(\PageIndex{2}\)
Discuss the connection between groups and monoids. Is every monoid a group? Is every group a monoid?
Exercise \(\PageIndex{3}\)
Which of the following are groups?
- \(B^*\) with concatenation (see Subsection 11.2.1).
- \(M_{2\times 3}(\mathbb{R})\) with matrix addition.
- \(M_{2\times 3}(\mathbb{R})\) with matrix multiplication.
- The positive real numbers, \(\mathbb{R}^+\text{,}\) with multiplication.
- The nonzero real numbers, \(\mathbb{R}^*\text{,}\) with multiplication.
- \(\{1, -1\}\) with multiplication.
- The positive integers with the operation \(M\) defined by \(a M b = \textrm{ the larger of } a \textrm{ and } b\text{.}\)
- Answer
-
The systems in parts b, d, e, and f are groups.
Exercise \(\PageIndex{4}\)
Prove that, \(\oplus\text{,}\) defined by \(A \oplus B = (A \cup B) - (A \cap B)\) is an associative operation on \(\mathcal{P}(U)\text{.}\)
The following problem supplies an example of a non-abelian group. A rook matrix is a matrix that has only 0's and 1's as entries such that each row has exactly one 1 and each column has exactly one 1. The term rook matrix is derived from the fact that each rook matrix represents the placement of \(n\) rooks on an \(n\times n\) chessboard such that none of the rooks can attack one another. A rook in chess can move only vertically or horizontally, but not diagonally. Let \(R_n\) be the set of \(n\times n\) rook matrices. There are six \(3\times 3\) rook matrices:
\(\begin{array}{ccc} I=\left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \\ \end{array} \right) & R_1=\left( \begin{array}{ccc} 0 & 1 & 0 \\ 0 & 0 & 1 \\ 1 & 0 & 0 \\ \end{array} \right) & R_2=\left( \begin{array}{ccc} 0 & 0 & 1 \\ 1 & 0 & 0 \\ 0 & 1 & 0 \\ \end{array} \right) \\ F_1=\left( \begin{array}{ccc} 1 & 0 & 0 \\ 0 & 0 & 1 \\ 0 & 1 & 0 \\ \end{array} \right) & F_2=\left( \begin{array}{ccc} 0 & 0 & 1 \\ 0 & 1 & 0 \\ 1 & 0 & 0 \\ \end{array} \right) & F_3=\left( \begin{array}{ccc} 0 & 1 & 0 \\ 1 & 0 & 0 \\ 0 & 0 & 1 \\ \end{array} \right) \\ \end{array}\)
- List the \(2\times 2\) rook matrices. They form a group, \(R_2,\) under matrix multiplication. Write out the multiplication table. Is the group abelian?
- Write out the multiplication table for \(R_3\) . This is another group. Is it abelian?
- How many \(4\times 4\) rook matrices are there? How many \(n\times n\) rook matrices are there?
- Answer
-
- Elements are \(I=\left( \begin{array}{cc} 1 & 0 \\ 0 & 1 \\ \end{array} \right)\text{,}\) and \(T=\left( \begin{array}{cc} 0 & 1 \\ 1 & 0 \\ \end{array} \right)\text{,}\) the group is abelian. Operation table is \(\begin{array}{c|cc} \cdot & I & T\\ \hline I & I & T\\ T & T & I\\ \end{array}\)
- \begin{equation*} \begin{array}{c|c} & \begin{array}{cccccc} I & R_1 & R_2 & F_1 & F_2 & F_3 \\ \end{array} \\ \hline \begin{array}{c} I \\ R_1 \\ R_2 \\ F_1 \\ F_2 \\ F_3 \\ \end{array} & \begin{array}{cccccc} I & R_1 & R_2 & F_1 & F_2 & F_3 \\ R_1 & R_2 & I & F_2 & F_3 & F_1 \\ R_2 & I & R_1 & F_3 & F_1 & F_2 \\ F_1 & F & F_2 & I & R_2 & R_1 \\ F_2 & F_1 & F_3 & R_1 & I & R_2 \\ F_3 & F_2 & F_1 & R_2 & R_1 & I \\ \end{array} \\ \end{array} \end{equation*}
This group is non-abelian since, for example, \(F_1 F_2=R_2\) and \(F_2 F_1=R_2\text{.}\) - 4! = 24, \(n!\text{.}\)
Exercise \(\PageIndex{6}\)
For each of the following sets, identify the standard operation that results in a group. What is the identity of each group?
- The set of all \(2\times 2\) matrices with real entries and nonzero determinants.
- The set of \(2 \times 3\) matrices with rational entries.
Exercise \(\PageIndex{7}\)
Let \(V = \{e,a,b, c\}\text{.}\) Let \(*\) be defined (partially) by \(x * x = e\) for all \(x \in V\text{.}\) Write a complete table for \(*\) so that \([V; * ]\) is a group.
- Answer
-
The identity is \(e\text{.}\) \(a*b = c\text{,}\) \(a*c= b\text{,}\) \(b*c = a\text{,}\) and \([V; *]\) is abelian. (This group is commonly called the Klein-4 group.)
Exercise \(\PageIndex{8}\)
Consider the following set of six algebraic expressions, each defining a function on the set of real numbers excluding the numbers 0 and 1.
\begin{equation*} \mathcal{H}=\left\{x,1-x,\frac{1}{1-x},\frac{1}{x},\frac{x-1}{x},\frac{x}{x-1}\right\} =\left\{y_1,y_2,y_3,y_4,y_5,y_6\right\} \end{equation*}
We can operate on any two of these expressions using function composition. For example,
\begin{equation*} (y_3 \circ y_4)(x) = y_3(y_4(x))=y_3(\frac{1}{x})=\frac{1}{1-\frac{1}{x}}=\frac{x}{x-1}=y_6(x) \end{equation*}
Therefore, \(y_3 \circ y_4 = y_6\text{.}\) Complete the following operation table for function composition on \(\mathcal{H}\text{.}\)
Is \([\mathcal{H},\circ]\) a monoid? Is it a group?
- Answer
-
Yes, this is a group. You might see some similarities with the group of three by three rook matrices.