This set of Discrete Mathematics Multiple Choice Questions & Answers (MCQs) focuses on “Group Axioms”.

1. __________ are called group postulates.

a) Group lemmas

b) Group theories

c) Group axioms

d) Group

View Answer

Explanation: The group axioms are also called the group postulates. A group with an identity (that is, a monoid) in which every element has an inverse is termed as semi group.

2. A subgroup has the properties of ________

a) Closure, associative

b) Commutative, associative, closure

c) Inverse, identity, associative

d) Closure, associative, Identity, Inverse

View Answer

Explanation: A subgroup S is a subset of a group G (denoted by S <= G) if it holds the four properties simultaneously – Closure, Associative, Identity and Inverse element.

3. If a * b = a such that a ∗ (b ∗ c) = a ∗ b = a and (a * b) * c = a * b = a then ________

a) * is associative

b) * is commutative

c) * is closure

d) * is abelian

View Answer

Explanation: ‘∗’ can be deﬁned by the formula a∗b = a for any a and b in S. Hence, (a ∗ b)∗c = a∗c = a and a ∗(b ∗ c)= a ∗ b = a. Therefore, ”∗” is associative. Hence (S, ∗) is a semigroup. On the contrary, * is not associative since, for example, (b•c)•c = a•c = c but b•(c•c) = b•a = b Thus (S,•) is not a semigroup.

4. The set of odd and even positive integers closed under multiplication is ________

a) a free semigroup of (M, ×)

b) a subsemigroup of (M, ×)

c) a semigroup of (M, ×)

d) a subgroup of (M, ×)

View Answer

Explanation: Let C and D be the set of even and odd positive integers. Then, (C, ×) and (D, ×) are subsemigroups of (M, ×) since A and B are closed under multiplication. On the other hand, (A, +) is a subsemigroup of (N, +) since A is closed under addition, but (B, +) is not a subsemigroup of (N, +) since B is not closed under addition.

5. If F is a free semigroup on a set S, then the concatenation of two even words is ________

a) a semigroup of F

b) a subgroup of F

c) monoid of F

d) cyclic group of F

View Answer

Explanation: Let F be the free semigroup on the set S = {m,n}. Let, E consist of all even words, i.e, words with even length and the concatenation of two such words is also even. Thus E is a subsemigroup of F.

6. The set of rational numbers form an abelian group under _________

a) Association

b) Closure

c) Multiplication

d) Addition

View Answer

Explanation: The set of nonzero rational numbers form an abelian group under multiplication. The number 1 is the identity element and q/p is the multiplicative inverse of the rational number p/q.

7. Condition of semigroup homomorphism should be ____________

a) f(x * x) = f(x * y)

b) f(x) = f(y)

c) f(x) * f(y) = f(y)

d) f(x * y) = f(x) * f(y)

View Answer

Explanation: Consider two semigroups (S,∗) and (S’,∗’). A function f: S -> S’ is called a semigroup homomorphism if f(a∗b) = f(a)∗f(b). Suppose f is also one-to-one and onto. Then f is called an isomorphism between S and S’ and S and S’ are said to be isomorphic semigroups.

8. A function f:(M,∗)→(N,×) is a homomorphism if ______

a) f(a, b) = a*b

b) f(a, b) = a/b

c) f(a, b) = f(a)+f(b)

d) f(a, b) = f(a)*f(a)

View Answer

Explanation: The function f is a homomorphism since f(x∗y)= f(ac, bd)= (ac)/(bd) = (a/b)(c/d) = f(x)f(y).

9. A function defined by f(x)=2*x such that f(x+y)=2x+y under the group of real numbers, then ________

a) Isomorphism exists

b) Homomorphism exists

c) Heteromorphic exists

d) Association exists

View Answer

Explanation: Let T be the group of real numbers under addition, and let T’ be the group of positive real numbers under multiplication. The mapping f: T -> T’ deﬁned by f(a)=2*a is a homomorphism because f(a+b)=2a+b = 2a*2b = f(a)*f(b). Again f is also one-to-one and onto T and T’ are isomorphic.

10. If x * y = x + y + xy then (G, *) is _____________

a) Monoid

b) Abelian group

c) Commutative semigroup

d) Cyclic group

View Answer

Explanation: Let x and y belongs to a group G.Here closure and associativity axiom holds simultaneously. Let e be an element in G such that x * e = x then x+e+xe=a => e(1+x)=0 => e = 0/(1+x) = 0. So, identity axiom does not exist but commutative property holds. Thus, (G,*) is a commutative semigroup.

**Sanfoundry Global Education & Learning Series – Discrete Mathematics.**

To practice all areas of Discrete Mathematics, __here is complete set of 1000+ Multiple Choice Questions and Answers__.