What do the set of positive even integers, with usual addition form?
A. A finite group
B. Only a semi-group
C. Only a monoid
D. An infinite group
Answer
Verified
482.7k+ views
Hint: First, we will get to know the properties required for the set and binary operation to follow to get all the mentioned options and then see which operations do the given set and binary operation follows.
Complete step-by-step answer:
Let us first understand what a group, monoid and semigroup is:
Group theory, in modern algebra, the study of groups, which are systems consisting of a set of elements and a binary operation that can be applied to two elements of the set, which together satisfy certain axioms. If we have a group X with binary operation *, then it must follow certain axioms. The axioms are:
The group must be closed under given binary operation that is $a * b \in X$ $\forall a,b \in X$.
It must obey associative law that is $a*(b*c) = (a*b)*c$ $\forall a,b,c \in X$.
It must contain an identity that is $a*e = e*a = a$ $\forall a \in X$.
It must contain an inverse that is $a*b = b*a = e$ $\forall a,b \in X$. Here, b is the inverse of a.
If a set and binary operation follows only property (1) and (2) , then we have a semigroup and if it follows (1), (2) and (3), then we have a monoid.
Consider the set of Integers and binary operation ‘+’.
Let $m,n \in {\mathbb{Z}^ + }$, then $m + n \in {\mathbb{Z}^ + }$ because sum of two positive integers will always result in a positive integer. Hence, it is closed under ‘+’.
Let $m,n,p \in {\mathbb{Z}^ + }$, then $m + (n + p) = m + n + p = (m + n) + p$. Hence, it is associative.
Let $m \in {\mathbb{Z}^ + }$, then $m + e = e + m = m$, but that is only possible if $e = 0$ but $0 \notin {\mathbb{Z}^ + }$. So, there is no identity.
We don’t even need to check the fourth property because even the third is not satisfied here.
Hence, only 1) and 2) are satisfied and according to the definition of a semi-group, we have a semigroup here.
Hence, it is a semi-group.
So, the correct answer is “Option B”.
Note: The students might check property 4) as well. So, that is not wrong. You may check it as well but we do not have any such part of the group which does follow fourth property but does not follow third.
The students might get the idea that if third is followed, then we do not need to check fourth. But, we might end up making a mistake to call it a monoid but it is a group actually.
Students might make the mistake of considering the third property to be followed as well by forgetting to check if $e \in X$ or not. So, keep in mind to check that.
Complete step-by-step answer:
Let us first understand what a group, monoid and semigroup is:
Group theory, in modern algebra, the study of groups, which are systems consisting of a set of elements and a binary operation that can be applied to two elements of the set, which together satisfy certain axioms. If we have a group X with binary operation *, then it must follow certain axioms. The axioms are:
The group must be closed under given binary operation that is $a * b \in X$ $\forall a,b \in X$.
It must obey associative law that is $a*(b*c) = (a*b)*c$ $\forall a,b,c \in X$.
It must contain an identity that is $a*e = e*a = a$ $\forall a \in X$.
It must contain an inverse that is $a*b = b*a = e$ $\forall a,b \in X$. Here, b is the inverse of a.
If a set and binary operation follows only property (1) and (2) , then we have a semigroup and if it follows (1), (2) and (3), then we have a monoid.
Consider the set of Integers and binary operation ‘+’.
Let $m,n \in {\mathbb{Z}^ + }$, then $m + n \in {\mathbb{Z}^ + }$ because sum of two positive integers will always result in a positive integer. Hence, it is closed under ‘+’.
Let $m,n,p \in {\mathbb{Z}^ + }$, then $m + (n + p) = m + n + p = (m + n) + p$. Hence, it is associative.
Let $m \in {\mathbb{Z}^ + }$, then $m + e = e + m = m$, but that is only possible if $e = 0$ but $0 \notin {\mathbb{Z}^ + }$. So, there is no identity.
We don’t even need to check the fourth property because even the third is not satisfied here.
Hence, only 1) and 2) are satisfied and according to the definition of a semi-group, we have a semigroup here.
Hence, it is a semi-group.
So, the correct answer is “Option B”.
Note: The students might check property 4) as well. So, that is not wrong. You may check it as well but we do not have any such part of the group which does follow fourth property but does not follow third.
The students might get the idea that if third is followed, then we do not need to check fourth. But, we might end up making a mistake to call it a monoid but it is a group actually.
Students might make the mistake of considering the third property to be followed as well by forgetting to check if $e \in X$ or not. So, keep in mind to check that.
Recently Updated Pages
Find the sum of money when the final amount is Rs 11300 class 7 maths CBSE
If n is a whole number such that n + n n then n A1 class 7 maths CBSE
Find the square root of 6dfrac115289 A2410 B2529 C2113 class 7 maths CBSE
Find the values of the letters in the following and class 7 maths CBSE
How do you divide 262 by 9 using long division class 7 maths CBSE
What are the advantages of having a unified judicial class 7 social science CBSE
Trending doubts
Full Form of IASDMIPSIFSIRSPOLICE class 7 social science CBSE
Collective noun a of sailors class 7 english CBSE
Convert 200 Million dollars in rupees class 7 maths CBSE
Fill in the blanks with appropriate modals a Drivers class 7 english CBSE
What are the controls affecting the climate of Ind class 7 social science CBSE
The southernmost point of the Indian mainland is known class 7 social studies CBSE