Introducing Operations
Addition of whole numbers is an example of an operation because for each pair of whole numbers the sum is a unique whole number. Subtraction of integers is an operation because if one integer is subtracted from another the result is an integer. In general, a binary operation on a set is a mapping that assigns to each ordered pair a unique value that is in the set. Operations on sets are the most important concept in modern abstract algebra. This topic defines and illustrates the notions of associative and commutative operations and shows that composition of mappings is an associative binary operation on the set of mappings of a given set.
Definition (Operation) A mapping
that assigns to each ordered pair of elements of
a uniquely determined element of
is a binary operation on
In order for an operation to be well-defined it is essential that for every ordered pair
there must exist an element in
that is the image of
This property is called closure; or in other words, the set
is closed with respect to the operation
when precisely,
for all
Definition (Cayley Tables) If
is a finite set, then specifying an operation by means of a Cayley table is done as follows: Form a square by listing the elements in
across the first row and also down the first column. Then fill in every entry in the table from the images of the column and row ordered pairs. Operations on
with the same Cayley table are considered equivalent operations on
Example (Operations On Two Element Sets) List all possible operations on the finite set
There are
of them and they are:
![introducing operations _gr_18.gif]](pages/introducing-operations/Images/introducing-operations_gr_18.gif)
![introducing operations _gr_19.gif]](pages/introducing-operations/Images/introducing-operations_gr_19.gif)
![introducing operations _gr_20.gif]](pages/introducing-operations/Images/introducing-operations_gr_20.gif)
![introducing operations _gr_21.gif]](pages/introducing-operations/Images/introducing-operations_gr_21.gif)
Definition (Associative Law) An operation
on a set
is said to be associative if it satisfies the condition
for all
Definition (Identity Law) An element
in a set
is an identity for an operation
on
if
for all
Proposition (Unique Identity Element) There is at most one identity element under a binary operation
on a set
![introducing operations _gr_33.gif]](pages/introducing-operations/Images/introducing-operations_gr_33.gif)
Proof. Suppose there is at least one identity element on
with respect to the operation
and assume that
and
are identity elements of
with respect to
Since
holds for all
replace
by
thus
Similiarily,
holds for all
replace
by
thus
Therefore,
and so every identity element must be the same, if there is one.
Definition (Commutative Law) An operation
on a set
is said to be commutative if
for all
Cite this as: Introducing Operations Published by Library of Math -- Online math organized by subject into topics.
Written by Smith, David A.
http://www.libraryofmath.com/introducing-operations.html
The Official Guide for GMAT Quantitative Review
 | | List Price: $16.95 Buy New: $8.90 You Save: $8.05 (47%) New (43) Used (23) from $7.99 | | The Official Guide for GMAT Quantitative Review (more) |
|
| Math Doesn't Suck: How to Survive Middle School Math Without Losing Your Mind...
|
Kiss My Math: Showing Pre-Algebra Who's Boss
 | | List Price: $24.95 Buy New: $14.79 You Save: $10.16 (41%) New (35) Used (7) Collectible (1) from $14.79 | | From the author of the runaway bestseller Math Doesn?t Suck, the next step in the math curriculum-- pre-Algebra. Last year, actress and math genius Danica McKellar made waves nationwide, challenging the (more) |
|
IlluStory Make Your Own Story Kit
 | | List Price: $21.95 Buy New: $11.92 You Save: $10.03 (46%) New (26) Used (2) from $11.92 | | Make your own book kit allows children to write and illustrate their own story, Receive a color-copied, professionally type-set book in a few short weeks, Children get to design cover and write About the Author biography page, Mail in story in the prepaid envelope, or create book entirely online., Includes 18 book pages, 2 cover pages, 10 washable markers, story web planner, instructions, order form, and prepaid envelope (more) |
|
Kaplan GRE Exam Math Workbook
 | | List Price: $20.00 Buy New: $12.97 You Save: $7.03 (35%) New (26) Used (6) from $11.90 | | * NEW! Details and practice for the new question type* Hundreds of test-like practice questions* Detailed answer explanations * Proven score-raising strategies * Tactics for solving all question types (more) |
|
|
|