click below
click below
Normal Size Small Size show me how
Abstract Definitions
Term | Definition |
---|---|
binary operation | let A be a set . A binary operation * on A is a function *: A --> A (a,b) |--->a*b that is given any two elements a,b in A. there is a unique a*b in A |
Closed | if for each a,b in A we have a*b in A we say A is closed under the operation * |
algebraic structure | a set A with binary operation * |
commutative | let (s,*) be an algebraic structure the operation * is said to be commutative if a*b= b*a for all a,b that element of S |
associative | let (s,*) be an algebraic structure the operation * is said to be associative if (a*b)*c= a*(b*c) for all a,b,c that element of S |
identity element | An element e is element of S is said to be identity element for * if a*e =e*a=a for all a in S |
inverse | If * has an identity element . An element a in S is said to be invertiable if there exists a in S s.t. a* a'=a'*a=e |
isomorphism | let (s,*) and (T, @) be two algebraic structures a map o: S--->T is called an isomorphism between S and T if o is one to one onto o(a*b)= o(a) @ o(b) for all a,b in S |
group | a group is a set G , with binary operation * satisfying 3 axioms * is associative there exist an identity element each a in G is invertiable |
abelian | A group G is abelian if * is commutative |
subgroup | Let Ge be a group. A non-empty subset h of G is called a subgroup if H itself is a group under the same operation in G |
trivial subgroup improper subgroup non- trivial subgroup | {e}< G G<G any other subgroup |
cyclic subgroup | let G be a group and a be in G denoted For n element of natural numbers a^n = a*a*a*.......*a n-copies |
order | the number of elements of a group denoted |G| |
cyclic group | let G be a group . we say G is a cyclic group if there is some a in G s.t. <a>={a^n:n in Z}= G |
permutation | Let A be a non- empty set a permutation on A is a function F: A---> A this one to one and onto |
orbit | the equivalence class of each a in A under a permutation 6 is called the orbit of a [a]= {b in A: b~a} = {b in A: b =6^n(a) for some n in Z |
cycles | A permutation 6 in Sn is called cycle if it has at most one orbit that contains more than one element |
length | the length of the cycle is the number of elements in that orbit containing more than one element |
transposition | a cycle of length 2 |
even/ odd permutation | A permutation is even or odd depending whether we express it as even number or odd of transposition |
coset | let H be a subgroup of G, and a in G the set aH={ah: h in H } is call left coset of H in G determined by a similarly Ha= {ha: h in H} is called the right coset of H in G by a. |
index | the number of distinct left cosets of H in G denoted [G:H] = |G|/|H| |
finitely generated | a group G is said to be finitely generated if there is a finite set F contained in G s.t F generates G |
homorphism | let (G,*) and (G', @) be two groups. a map o: G----->G' is called a homorphism if o(a*b)= o(a) @ o(b) |
kernel of o | let o: G---> G' be a group homomorphism the kernel of o ker(o):= {g in G : o(g)= e'} |
normal subgroup | A subgroup N of a group G is a normal subgroup if aN= Na for all a in G |
G/N | {gN:g in G} |
factor group | let G be a group and N is a normal subgroup of G G/N= {gN:g in G} (aN)(bN)= abN aN=bN cN=dN acN=bdN |
automorphism | An isomorphism o: G---->G of a group G to itself is called automorphism, |
inner automorphism | automorphism of the type of ig g in G |
simple | a group is called simple if G not equal to {e} and it has no non-trivial normal subgroup |
ring | a ring is a non empty set R with two binary operation + and multi if (R,+) is abelian group multi is associative multiplication is distributive over addition |
commutative ring | let R be a ring and multiplication is commutative |
unit | let R be a ring with unity. If a in R is invertible under mulitplication |
unity | if there is identity element for multiplication it |
division ring | a ring is called a division ring if it a ring if it a ting with unity and every non zero element is a unit |