Assignment-6

MA2101 Engineering Mathematics-III

B. Tech III Sem (CS, IT, CSE)

Topic Covered
Group theory: Semi groups, Monoids, Groups, subgroups, Cyclic groups, permutation groups.
Boolean Algebra: Boolean lattices and Boolean Algebra.
1) If * is the operation defined on 𝑆 = 𝑄 × 𝑄, the set of ordered pairs of rational numbers and
given by (𝑎, 𝑏) ∗ (𝑥, 𝑦) = (𝑎𝑥, 𝑎𝑦 + 𝑏),
(a) Find if (𝑆, ∗) is a semigroup. Is it commutative?
(b) Find the identity element of 𝑆.
(c) Which elements, if any, have inverses and what are they?

2) (a) Prove that the set {0, 1, 2, 3, 4 } is a finite abelian group of order 5 under addition modulo 5 as
composition.
(b) Prove that the set { 1, 3, 7, 9 } is an abelian group under multiplication modulo 10.
(c) Show that the set of all polynomials in 𝑥 under the operation of addition is a group.

3) Show that the set of 2 × 2 matrices in (a), (c), (d) from groups under matrix multiplication and
the set in (b) forms a group under matrix addition. Which of them are abelian group?
1 0 −1 0 1 0 −1 0
(a) { [ ],[ ],[ ],[ ]}
0 1 0 1 0 −1 0 −1
𝑎 𝑏
(b) { [ ] ; 𝑎, 𝑏, 𝑐, 𝑑 ∈ 𝑅; 𝑎𝑑 − 𝑏𝑐 ≠ 0 }
𝑐 𝑑
𝑎 𝑏
(c) { [ ] ; 𝑎, 𝑏 ∈ 𝑅; 𝑎2 + 𝑏 2 ≠ 0 }
−𝑏 𝑎
𝑎 𝑎
(d) { [ ] ; 𝑎 ∈ 𝑅; 𝑎 ≠ 0 }
𝑎 𝑎
4 1 2 3 4 5 6 1 2 3 4 5 6
If 𝛼 = ( ) and 𝛽 = ( ) are two elements of the
3 1 5 4 6 2 5 3 1 6 2 4
symmetric group 𝑆6 , find 𝛼𝛽, 𝛽𝛼, 𝛼 2 , 𝛽 2 , 𝛼 −1 and 𝛽 −1.
5 Show that the group {(1, 2, 4, 5, 7, 8), ×9 } is cyclic. How many generators are there for this
group? What are they?
6 Give an example of a subset of a group that satisfies all group-axioms except closure.
7 (a) Find all generators of 𝑍22 .
(b) Suppose that 𝐺 is a cyclic group such that 𝑂𝑟𝑑(𝐺) = 48. How many subgroups does 𝐺
have?
8 Show that the set { 𝑎 + 𝑏𝑖 ∈ 𝐶 | 𝑎2 + 𝑏 2 = 1} is a subgroup of (𝐶, ∙) where ∙ is the
multiplication operation of complex numbers.
9 Simplify the following with the help of Boolean algebra Rules:
(i) (𝑋 + 𝑌)(𝑋 + 𝑌̅)(𝑋̅ + 𝑍) (ii) 𝑋𝑌𝑍̅ + 𝑋𝑌̅𝑍 + 𝑋𝑌𝑍̅
10 Prepare a truth table for the following Boolean expression:
(𝑖) 𝑋𝑌𝑍 + 𝑋̅𝑌̅𝑍̅ (ii) 𝐴𝐵𝐶 + 𝐴𝐵̅ 𝐶̅ + 𝐴̅𝐵̅ 𝐶̅ (iii) 𝐴𝐵 + 𝐴̅𝐵̅