Name of The Student: Branch: Unit - I (Logic and Proofs) Definitions
Name of The Student: Branch: Unit - I (Logic and Proofs) Definitions
Name of The Student: Branch: Unit - I (Logic and Proofs) Definitions
= .
6) In a group G, ( )
1
1 1
* * , a b b a a b G
= e .
7) Find the multiplication inverse of each element in
11
Z .
8) If every element in a group is its own inverse then the group must be abelian.
9) For any a G e ,
2
a e = then prove that G is an abelian .
10) Prove that a group can not have any element which is idempotent except the identity
element.
11) Prove that a group G is abelian if and only if ( )
2
2 2
* * , a b a b a b G = e .
12) Find all cosets of a sub groups
{ }
2
1, H a = of a group
{ }
2 3
1, , , G a a a = under usual
multiplication, where
4
1 a = .
13) Let { } 1, 1, , G i i = be a group and { } 1, 1 H = be a sub group of G. What is the
number of distinct cosets of H in G.
14) Prove that a subgroup of an abelian group is a normal subgroup.
- Theorems
1) Prove that if G is an abelian group then for all , a b G e and all integer n,
( ) * *
n
n n
a b b a = .
2) If S = N X N the set of ordered pairs of positive integers with the operation * defined by
( ) ( ) ( ) , * , , a b c d ad bc bd = + and if ( ) ( ) : ,* , f S Q + is defined by
( ) , / f a b a b ( =
, then show that f is a semi group homomorphism.
3) If S is the set of all ordered pairs ( ) , a b of real numbers wit the binary operation
defined by ( ) ( ) ( ) , , , a b c d a c b d = + + , where , , , a b c dare real, prove that
( ) , S is a commutative group.
4) Show that the set of all positive rational numbers forms an abelian group under the
composition defined by *
2
ab
a b= .
5) On the set Q of all rational numbers, the operation * is defined by * a b a b ab = + .
Show that, under the operation *, Q is a commutative monoid.
Engineering Mathematics 2013
Prepared by C.Ganesan, M.Sc., M.Phil., (Ph:9841168917) Page 8
6) Prove the necessary and sufficient condition for a non empty sub set to be a sub group
of a group.
(Or)
Prove that a non empty subset H of a group (G,*) is a subgroup if and only if any
, a b H e implies
1
* a b H
e .
7) Prove that the intersection of two normal subgroups of a groups G is also a normal
subgroup of G.
8) State and prove Lagranges theorem.
(or) Prove that the order of a subgroup of a finite group divides the order of the group.
9) Prove that the order of any element of a finite group is a divisor of the order of the
group (ie) ( ) O a is a divisor of ( ) O G for all a G e .
10) If G is a finite group, then prove that
( ) O G
a e = for any element a G e .
11) Prove that a subgroup H of a group G under the operation * is a normal subgroup if and
only if
1
* * a h a H
= for all x G e .
(or) Prove that A subgroup H of G is normal if and only if left coset of H in G is equal to
the right coset of H in G.
13) If N and M are normal subgroup of G, prove that NM is also a normal subgroup of G.
14) Let ( ) ,* G and ( ) , G' A be groups and f is homomorphism from G to G'
, then prove
that the kernel of f is a normal subgroup.
15) If f is a homomorphism of G onto G'
with kernel K , then / G K is isomorphic to
G'
.
16) Prove that every finite group of order n is isomorphic to a permutation group of
degree n. (Cayleys theorem on permutation group)
Unit V (Lattices and Boolean algebra)
- Definitions
1) Define a poset and give an example. (or) Define partially ordered set.
2) Define a distribution lattice.
3) Give an example of a lattice which is modular but not distributive.
4) State any two properties of Lattices.
5) Define Boolean Algebra.
6) In a Boolean Algebra, prove that the complement of any element is unique.
7) Show that in any Boolean algebra, ( )( ) a b a c ac ab bc ' ' + + = + + .
8) Show that absorption laws are valid in a Boolean algebra.
9) Give an example of two element Boolean Algebra.
- Lattices
Engineering Mathematics 2013
Prepared by C.Ganesan, M.Sc., M.Phil., (Ph:9841168917) Page 9
1) Let N be the set of all natural numbers with the relation R as follows: x R y if and only
if xdivides y. Show that R is a partial order relation on N.
2) Let N be set of all natural numbers and define m n s if n m is a non negatie
integer. Show that ( ) , N s is a poset.
3) In a Lattice( ) , L s , prove that ( ) ( ) ( ) X Y Z X Y X Z v . s v . v .
4) If ( ) , L s is a Lattice, then for any , , a b c L e prove that
( ) ( ) ( ) a b c a b a c . v > . v . .
5) Show that in a complemented distributive lattice, the De Morgans laws hold.
(or) If ( ) , , L v . be a complemented distributive lattice, then for any , a b L e , prove
(1) a b a b v = . (2) a b a b . = v .
6) Show that in a complemented, distributed lattice, 0 a b a b s . =
1 a b b a v = s .
7) If , L s be a lattice, prove the following equivalent , a b L e ,
a b a b a a b b s . = v = .
8) If , , a b care element of a distributive lattice ( ) , , L . v shown that a b a c v = v and
a b a c b c . = . = .
9) If , L s is a ordered lattice, show that ( ) , , L . v is an algebraic lattice.
10) Show that every chain is a distributive lattices.
11) Show that if L is a distributive lattice than for all , , a b c L e ,
( ) ( ) ( ) ( ) ( ) ( ) * * * * * a b b c c a a b b c c a = .
12) If L is a distributive lattice with 0 and 1, show that each element has at most one
complement.
13) Show that every distributive lattice is modular. Is the converse true? Justify the claim.
- Boolean Algebra
1) Show that in any Boolean algebra( ) ( ) a b a c ac ab bc ' ' + + = + + .
2) Show that in any Boolean algebra, a b = if and only if 0 ab ab ' ' + = .
3) In a Boolean algebra B prove that ( ) a b a b
'
' ' . = v and ( ) a b a b
'
' ' v = . for
all , a b B e . (DeMorgons Law )
4) In any Boolean algebra, show that ( ) ( ) ( ) ( ) ( ) ( ) a b b c c a a b b c c a ' ' ' ' ' ' + + + = + + + .
5) Prove that in any Boolean algebra ab bc ca ab bc ca + + = + + .
6) If , x yare elements in a Boolean algebra, then prove that x y x y ' ' s > .
7) If B is a Boolean algebra, then for 1 1, .0 0 a B a a e + = = .
Engineering Mathematics 2013
Prepared by C.Ganesan, M.Sc., M.Phil., (Ph:9841168917) Page 10
---- All the Best ----