Library of Math
Online Math Organized by Subject Into Topics
Subscribe to the Library of Math Feed

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 introducing operations _gr_1.gif] that assigns to each ordered pair of elements of introducing operations _gr_2.gif] a uniquely determined element of introducing operations _gr_3.gif] is a binary operation on introducing operations _gr_4.gif]

    In order for an operation to be well-defined it is essential that for every ordered pair introducing operations _gr_5.gif] there must exist an element in introducing operations _gr_6.gif] that is the image of introducing operations _gr_7.gif] This property is called closure; or in other words, the set introducing operations _gr_8.gif] is closed with respect to the operation introducing operations _gr_9.gif] when precisely, introducing operations _gr_10.gif] for all introducing operations _gr_11.gif]

Definition (Cayley Tables) If introducing operations _gr_12.gif] 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 introducing operations _gr_13.gif] 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 introducing operations _gr_14.gif] with the same Cayley table are considered equivalent operations on introducing operations _gr_15.gif]

Example (Operations On Two Element Sets) List all possible operations on the finite set introducing operations _gr_16.gif] There are introducing operations _gr_17.gif] of them and they are:

introducing operations _gr_18.gif]

introducing operations _gr_19.gif]

introducing operations _gr_20.gif]

introducing operations _gr_21.gif]

Definition (Associative Law) An operation introducing operations _gr_22.gif] on a set introducing operations _gr_23.gif] is said to be associative if it satisfies the condition introducing operations _gr_24.gif] for all introducing operations _gr_25.gif]

Definition (Identity Law) An element introducing operations _gr_26.gif] in a set introducing operations _gr_27.gif] is an identity for an operation introducing operations _gr_28.gif] on introducing operations _gr_29.gif] if introducing operations _gr_30.gif] for all introducing operations _gr_31.gif]

Proposition (Unique Identity Element) There is at most one identity element under a binary operation introducing operations _gr_32.gif] on a set introducing operations _gr_33.gif]

    Proof. Suppose there is at least one identity element on introducing operations _gr_34.gif] with respect to the operation introducing operations _gr_35.gif] and assume that introducing operations _gr_36.gif] and introducing operations _gr_37.gif] are identity elements of introducing operations _gr_38.gif] with respect to introducing operations _gr_39.gif] Since introducing operations _gr_40.gif] holds for all introducing operations _gr_41.gif] replace introducing operations _gr_42.gif] by introducing operations _gr_43.gif] thus introducing operations _gr_44.gif] Similiarily,   introducing operations _gr_45.gif] holds for all introducing operations _gr_46.gif] replace introducing operations _gr_47.gif] by introducing operations _gr_48.gif] thus introducing operations _gr_49.gif] Therefore, introducing operations _gr_50.gif] and so every identity element must be the same, if there is one.   introducing operations _gr_51.gif]

Definition (Commutative Law) An operation introducing operations _gr_52.gif] on a set introducing operations _gr_53.gif] is said to be commutative if introducing operations _gr_54.gif] for all introducing operations _gr_55.gif] introducing operations _gr_56.gif]

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
Product Image

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...
Product Image

List Price: $15.00
Buy New: $8.72
You Save: $6.28 (42%)
New (36) Used (7) from $8.56
(more)
Kiss My Math: Showing Pre-Algebra Who's Boss
Product Image

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
Product Image

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
Product Image

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)
about us contact us privacy policy terms of use mision statement lom help
The Library of Math - Online Math Organized by Subject Into Topics. © 2005 - 2008 www.LibraryOfMath.com All rights reserved.