Semigroup - Algebraic Systems and Groups Lecture 13...

Info iconThis preview shows pages 1–12. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Algebraic Systems and Groups Lecture 13 Discrete Mathematical Structures Algebraic Operations Function : A n B is called an n-nary operation from A to B . Binary operation: : A A B (: A A A) An example: a new operation * defined on the set of real number, using common arithmetic operations: x*y = x+y-xy Note: 2*3 = -1 A 0.5*0.7 = 0.85 Closeness of Operations For any operation :A n B, if B A, then it is said that A is closed with respect to . Or, we say that is closed on A . Example: Set A={1,2,3,,10}, gcd is closed, but lcm is not. Operation Table Operation table can be used to define unary or binary operations on a finite set (usually only with several elements) * a b c d a b c c*b d How many binary operations can be defined here? Association Operation & defined on the set A is associative if and only if: For any x, y, z A, (xAy)Az = xA(yAz) If is associative, then x 1 * x 2 * x 3 * * x n can be computed by any order of among the ( n-1) operations, with the constraint that the order of all operands are not changed. Commutation Operation & defined on the set A is associative if and only if: For any x, y A, xAy = yA x If is commutative and associative, then x 1 * x 2 * x 3 * * x n can be computed by any order of the operations, and in any permutation of all operands. Distribution Two different operations must be defined for an algebraic system for discussion of distribution. Operation ] is distributive over (both operations defined on the set A ) if and only if : For any x, y, z A, xA(y z) = (xAy) (xAz) (Exactly speaking, this is the first distributive property) Identity of an Algebraic System For arithmetic multiplication on the set of real number, there is a specific real number 1 A satisfying that for any real number x , 1x=x1=x An element e is called the identity element of an algebraic system (S,& ) if and only if : For any x S, ex=x e=x A Denotation: 1 S , or simply 1, but remember that it is not that 1. It is not that every algebraic system has its identity element. Left Identity and Right Identity e l is called a left identity of an algebraic system S , if and only if: For any x S , e l o x = x Right identity e r * can be defined similarly. * a b c d a a d c a b b d c b c c d c c d d d b d * a b c d a a b c d b a b c d c a b c d d a b c d More about Identity For any algebraic system S : There may or may not be left or right identity. There may be more than one left or right identities. If S has a left identity and a right identity as well, then they must be equal, and this element is also an identity of the system: e l = e l Be r = e r If existing, the identity of an algebraic system is unique: e 1 = e 1 A e 2 = e 2 Inverse (Inverse can be discussed for those system with identity.) For a given element x in the system...
View Full Document

This note was uploaded on 03/31/2010 for the course SE C0229 taught by Professor Tao during the Spring '08 term at Nanjing University.

Page1 / 44

Semigroup - Algebraic Systems and Groups Lecture 13...

This preview shows document pages 1 - 12. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online