Commutative Property and Abelian Groups MCQs: 12 Solved Questions

Students often use “commutative” as a loose synonym for “well behaved”. That creates confusion between commutativity, associativity, identity, inverses, and distributivity when the operation changes. Attempt each question before reading its answer, because the useful skill is choosing the right property test. These are previous-year questions from GATE, UGC NET, UPPSC and ISRO papers between 1996 and 2025, and the same short list of checks settles every one of them. If you cannot yet list the four group axioms, revise the group theory and algebraic structures guide first.

Abelian group definition MCQs: identify the extra axiom

A group already has closure, associativity, an identity, and an inverse for every element. It becomes Abelian when it also satisfies $ab=ba$ for every $a,b$.

Question 1 (UGC NET 2015)

Which of the following property/ies a Group G must hold, in order to be an Abelian group? (a) The distributive property (b) The commutative property (c)The symmetric property Codes :

• A. (a) and (b)

• B. (b) and (c)

• C. (a) only

• D. (b) only

Answer: D. Since $G$ is already a group, the one additional condition is $ab=ba$ for every pair. Distributivity and a separately named symmetric property are distractors, not extra group axioms.

Question 2 (UPPSC Polytechnic Lecturer 2018)

Which one of the following is not necessarily a property of a group?

• A. Commutativity

• B. Associativity

• C. Existence of inverse for every element

• D. Existence of identity

Answer: A. Associativity, identity, and inverses are required, but commutativity is optional. In $S_3$, take $a=(12)$ and $b=(23)$; with right-to-left composition, $ab=(123)$ while $ba=(132)$, so this valid group is noncommutative.

Does the set and operation form a group?

Use the same diagnostic every time: check closure, associativity, identity, inverses, then commutativity. A commutative operation can still fail the group test if even one element lacks an inverse.

Question 3 (GATE 1996)

Which of the following statements is FALSE?

• A. The set of rational numbers is an abelian group under addition

• B. The set of integers is an abelian group under addition

• C. The set of rational numbers form an abelian group under multiplication

• D. The set of real numbers excluding zero is an abelian group under multiplication

Answer: C. The rational number $0$ has no multiplicative inverse because no rational $r$ satisfies $0*r=1$. By contrast, every $x$ in $\mathbb{Q}\setminus\{0\}$ or $\mathbb{R}\setminus\{0\}$ has inverse $1/x$, while $\mathbb{Q}$ and $\mathbb{Z}$ under addition have identity $0$ and contain their additive inverses.

Question 4 (GATE 2003)

Consider the set Σ* of all strings over the alphabet Σ = {0, 1}. Σ* with the concatenation operator for strings

• A. does not form a group

• B. forms a non-commutative group

• C. does not have a right identity element

• D. forms a group if the empty string is removed from Σ*

Answer: A. The empty string $\varepsilon$ is both a left and right identity, but no binary string $w$ makes $0w=\varepsilon$ or $w0=\varepsilon$, so nonempty strings lack inverses. Also, $01\ne10$, and removing $\varepsilon$ removes the identity rather than repairing the structure.

Commutative versus associative binary operations

Swap the inputs to test commutativity. To test associativity, compare $(x\mathbin{\mathrm{op}}y)\mathbin{\mathrm{op}}z$ with $x\mathbin{\mathrm{op}}(y\mathbin{\mathrm{op}}z)$; one unequal triple disproves it.

Question 5 (GATE 2013)

A binary operation $\oplus$ on a set of integers is defined as $x \oplus y = x^{2}+y^{2}$ . Which one of the following statements is TRUE about $\oplus$?

• A. Commutative but not associative

• B. Both commutative and associative

• C. Associative but not commutative

• D. Neither commutative nor associative

Answer: A. It is commutative because $x^2+y^2=y^2+x^2$. For $x=1,y=2,z=3$, $1\oplus2=5$, so $(1\oplus2)\oplus3=5^2+3^2=34$, whereas $2\oplus3=13$ and $1\oplus(2\oplus3)=1^2+13^2=170$; since $34\ne170$, it is not associative.

Question 6 (GATE 2015 Set 1)

The binary operator ≠ is defined by the following truth table. $\begin{array}{|l|l|l|} \hline \textbf{p} & \textbf{q}& \textbf{p} \neq \textbf{q}\\\hline \text{0} & \text{0}& \text{0}\\\hline \text{0} & \text{1}& \text{1}\\\hline \text{1} & \text{0}& \text{1}\\\hline \text{1} & \text{1}& \text{0}\\\hline \end{array}$ Which one of the following is true about the binary operator ≠?

• A. Both commutative and associative

• B. Commutative but not associative

• C. Not commutative but associative

• D. Neither commutative nor associative

Answer: A. This is XOR, or addition modulo 2, so symmetry in $p,q$ gives commutativity and both parenthesisations equal $(p+q+r)\bmod2$. For $p=1,q=0,r=1$, $(1\mathbin{\mathrm{XOR}}0)\mathbin{\mathrm{XOR}}1=0$ and $1\mathbin{\mathrm{XOR}}(0\mathbin{\mathrm{XOR}}1)=0$. Continue this style of truth-table practice in the propositional and predicate logic MCQ set.

Custom operators and pointwise operations

For an unfamiliar symbol, substitute its definition before using familiar algebra. Then check whether the identity and required inverses stay inside the stated set.

Question 7 (GATE 2024 Set 1, MSQ)

Consider the operators ◊ and □ defined by 𝑎 ◊ 𝑏 = 𝑎 + 2𝑏, 𝑎□𝑏 = 𝑎𝑏, for positive integers. Which of the following statements is/are TRUE?

• A. Operator ◊ obeys the associative law

• B. Operator □ obeys the associative law

• C. Operator ◊ over the operator □ obeys the distributive law

• D. Operator □ over the operator ◊ obeys the distributive law

Answer: B and D. For A, $(1\diamond1)\diamond1=3\diamond1=5$, but $1\diamond(1\diamond1)=1\diamond3=7$; ordinary multiplication proves B. For D, $a\mathbin{\square}(b\diamond c)=a(b+2c)=ab+2ac=(a\mathbin{\square}b)\diamond(a\mathbin{\square}c)$; at $a=2,b=3,c=4$, both sides are $22$. For C, $1\diamond(1\mathbin{\square}1)=3$, while $(1\diamond1)\mathbin{\square}(1\diamond1)=9$.

Question 8 (GATE 2025 Set 1, MSQ)

$𝐴 = \{0, 1, 2, 3, … \}$ is the set of non-negative integers. Let $F$ be the set of functions from $A$ to itself. For any two functions, $𝑓_1, 𝑓_2 ∈ F$, we define $(𝑓_1⨀𝑓_2)(𝑛) = 𝑓_1(𝑛) + 𝑓_2(𝑛)$ for every number $n$ in $A$. Which of the following is/are CORRECT about the mathematical structure $(F, ⨀)$?

• A. $(F, ⨀)$ is an Abelian group.

• B. $(F, ⨀)$ is an Abelian monoid.

• C. $(F, ⨀)$ is a non-Abelian group.

• D. $(F, ⨀)$ is a non-Abelian monoid.

Answer: B. For $f(n)=n$ and $g(n)=2n$, $(f\mathbin{⨀}g)(n)=3n$, still a function from $A$ to $A$; pointwise addition is associative and commutative, and $z(n)=0$ is its identity. It is not a group because an inverse of $h(n)=1$ would require $k(n)=-1$, which lies outside $A$, so the structure is an Abelian monoid.

Finite Abelian groups and generators

Now reduce group words and classify small Abelian groups. A maximum needs both an upper bound and an example that attains it.

Question 9 (GATE 2014 Set 3, NAT)

There are two elements $x,y$ in a group $(G,*)$ such that every element in the group can be written as a product of some number of $x$'s and $y$'s in some order. It is known that $x*x=y*y=x*y*x*y=y*x*y*x=e$, where $e$ is the identity element. The maximum number of elements in such a group is ____.

Answer: 4. The elements $x$ and $y$ generate the whole group, so every element is a word in $x$ and $y$. From $x^2=y^2=e$, we get $x^{-1}=x$ and $y^{-1}=y$; since $(xy)^2=e$, $xy=(xy)^{-1}=y^{-1}x^{-1}=yx$. Every word therefore reduces to one of $e,x,y,xy$, giving at most four elements, and the Klein four group $\{e,x,y,xy\}$, with every nonidentity element squaring to $e$, attains four.

Question 10 (GATE 2007)

How many different non-isomorphic Abelian groups of order 4 are there

• A. 2

• B. 3

• C. 4

• D. 5

Answer: A. The two types are $\mathbb{Z}_4=\{0,1,2,3\}$ under addition modulo 4 and $\mathbb{Z}_2\times\mathbb{Z}_2$ under componentwise addition modulo 2. They are not isomorphic because $1$ and $3$ have order 4 in $\mathbb{Z}_4$, while every nonidentity element in $\mathbb{Z}_2\times\mathbb{Z}_2$, the Question 9 structure, has order 2.

Identities that force a group to be Abelian

Expand powers without changing factor order, then cancel by multiplying with inverses in legal positions. Do not swap factors before commutativity has been proved.

Question 11 (UGC NET 2025)

Choose the correct statement for a group G:

• A. If for all x, y ∈ G, (xy)² = x²y² then G is Commutative.

• B. If for all x ∈ G, x³ = 1, then G is Commutative. 1 is the identity element of G.

• C. If for all x ∈ G, x⁵ = 1, then G is Commutative. 1 is the identity element of G.

• D. If G is Commutative, the sub-group of G need not be Commutative.

Answer: A. Expanding gives $xyxy=xxyy$; left-multiplication by $x^{-1}$ gives $yxy=xyy$, and right-multiplication by $y^{-1}$ gives $yx=xy$. Options B and C fail because the noncommutative groups $UT_3(\mathbb{F}_3)$ and $UT_3(\mathbb{F}_5)$ have every element satisfying the respective power identity; for $A=I+E_{12}$ and $B=I+E_{23}$, $AB$ has an extra $E_{13}$ term while $BA$ does not. Option D fails because every subgroup inherits commutativity from its group.

Question 12 (ISRO 2016)

If (G, .) is a group such that (ab)⁻¹ = a⁻¹ b⁻¹, for all a,b belongs to G, then G is a /an :

• A. Commutative semi group

• B. Abelian Group

• C. Non-Abelian group

• D. None of these

Answer: B. Every group satisfies $(ab)^{-1}=b^{-1}a^{-1}$, while the question gives $(ab)^{-1}=a^{-1}b^{-1}$, so $a^{-1}b^{-1}=b^{-1}a^{-1}$; inverting both sides yields $ba=ab$. As a contrast in $S_3$, for $a=(12),b=(23)$, the products $b^{-1}a^{-1}=(132)$ and $a^{-1}b^{-1}=(123)$ are different.

Commutative property MCQ answer key and next step

The compact key is 1-D, 2-A, 3-C, 4-A, 5-A, 6-A, 7-B+D, 8-B, 9-4, 10-A, 11-A, 12-B. Five moves settle almost every question in this area: asking which single axiom upgrades a group to Abelian, offering an operation that commutes but leaves some element without an inverse, testing associativity or distributivity of an unfamiliar operator on one triple, deriving commutativity from an identity such as $(xy)^2=x^2y^2$, and counting the elements or the isomorphism types of a small finite group.

For revision, reproduce three checks without looking: calculate $34$ versus $170$ in Question 5, reduce every word to $\{e,x,y,xy\}$ in Question 9, and cancel $xyxy=xxyy$ to reach $yx=xy$ in Question 11. The set theory and relations MCQ set is the next practice set in this discrete-mathematics cluster.

For the full Discrete Mathematics sequence and its Group Theory lesson path, use GATE Guidance by Sanchit Sir. The GATE CS Exam Preparation Courses & Test Series category is the broader route to related preparation resources.