CUET UG Applied Mathematics Booster Test 3 - Congruence Modulo and Equivalence Classes
📌 Answers are locked once submitted — results and explanations appear at the end.
QUESTION 1 OF 20
Take two positive integers a = 262 and b = 137, and check their congruence modulo 5. Which of the following accurately describes their relationship?
QUESTION 2 OF 20
Match List 1 with List 2.
| List 1 | List 2 |
|---|---|
| 1. a = 41, b = 21, m = 5 | a. a - b = 125 |
| 2. a = 31, b = 21, m = 5 | b. a - b = 8 |
| 3. a = 262, b = 137, m = 5 | c. a - b = 20 |
| 4. a = 11, b = 3, m = 8 | d. a - b = 10 Note: The original question contains a typographical error in List II, where "d" is repeated. It should read a, b, c, d as shown above. |
QUESTION 3 OF 20
Let
a = ms + r
and
b = mt + r.
Which of the following analytical statements conclusively prove that
a ≡ b (mod m)?
1. a - b = m(s - t)
2. m divides (a - b)
3. a mod m = b mod m
4. a / b = m
QUESTION 4 OF 20
Which of the following is an INCORRECT algebraic derivation for establishing congruence modulo m between integers a and b?
QUESTION 5 OF 20
In the classification of 50 consecutive positive integers mapped to modulo 6 sectors, how many integers fall into the mixture subset?
QUESTION 6 OF 20
If the constraint region is limited to positive integers strictly ≤ 30, what is the sum of all elements found within the modulo 6 equivalence class ?
QUESTION 7 OF 20
If the equivalence class is denoted as [X] = {a ∈ Z | a ≡ X (mod m)}, which of the following sets correctly represents modulo 3?
QUESTION 8 OF 20
Moving across the integer domain, which element belongs to the intersection of the equivalence classes mod 3 and mod 3?
QUESTION 9 OF 20
When evaluating the reflexive relation a Rm b if and only if a ≡ b (mod m), what is the mathematical probability that an integer 'a' fails to be congruent to itself modulo m?
QUESTION 10 OF 20
If m | (a - b) establishes the directional vector from a to b in symmetric relations, reversing the direction yields m | (-1)(a - b). What does this establish?
QUESTION 11 OF 20
Assume a ≡ b (mod m) and b ≡ c (mod m). By expressing b = a + km and c = b + k'm, calculating the aggregate linear area gives c = a + (k + k')m. What is the fundamental conclusion drawn?
QUESTION 12 OF 20
By fully integrating the reflexive, symmetric, and transitive proofs for the relation Rm defined by a Rm b if and only if a ≡ b (mod m), what theorem is conclusively proven?
QUESTION 13 OF 20
If there are exactly m equivalence classes for mod m represented as [0], [1], ..., [m-1], what represents the union of all these distinct classes?
QUESTION 14 OF 20
Which property prevents an integer from belonging to both mod 5 and mod 5?
QUESTION 15 OF 20
Calculate the sum of all elements within the equivalence class modulo 6, where elements are bounded between 0 < x < 30.
QUESTION 16 OF 20
How many positive integers strictly less than 100 belong to the equivalence class modulo 15?
QUESTION 17 OF 20
The definition of a Simple Arithmetic Function restricts the domain to Z+. Why does the function f(x) = 1/x fail to be a valid arithmetic function if 0 is included in the domain?
QUESTION 18 OF 20
If a simple arithmetic function maps Z+ to Real Numbers, which of the following is a completely valid set of images for the pre-images {1, 2, 3} under f(x) = √x?
QUESTION 19 OF 20
If an arithmetic function machine is modeled as f(x) = x^3 - x, what is the output image when the pre-image input is 3?
QUESTION 20 OF 20
In the context of number theoretic relationships, why can't a simple arithmetic function process the input x = -5?
Test Complete!
Answer Review
1 Take two positive integers a = 262 and b = 137, and check their congruence modulo 5. Which of the following accurately describes their relationship?
�� Congruence modulo m depends on divisibility of the difference �� 262 − 137 = 125 �� 125 is divisible by 5
Two integers a and b are congruent modulo m if m divides (a − b). Here: Since 125 is divisible by 5: Therefore: Option A correctly applies the definition of congruence. Option B is incorrect because both numbers actually leave remainder 2 when divided by 5. Option C incorrectly uses addition instead of difference. Option D is wrong because 125 is divisible by 5.
- �� Option B → Both integers leave the same remainder when divided by 5.
- �� Option C → Congruence is determined using subtraction, not addition.
- �� Option D → 125 ÷ 5 = 25, so 125 is divisible by 5.
Used: Elimination
Application: Eliminate options using the definition of congruence modulo m.
Final Logic: Since 5 divides 125, the integers are congruent modulo 5.
"Same remainder or divisible difference ⇒ congruent."
2 Match List 1 with List 2.
| List 1 | List 2 |
|---|---|
| 1. a = 41, b = 21, m = 5 | a. a - b = 125 |
| 2. a = 31, b = 21, m = 5 | b. a - b = 8 |
| 3. a = 262, b = 137, m = 5 | c. a - b = 20 |
| 4. a = 11, b = 3, m = 8 | d. a - b = 10 Note: The original question contains a typographical error in List II, where "d" is repeated. It should read a, b, c, d as shown above. |
Find the value of a - b for each pair. Match the difference with the corresponding value in List II. Verify that the difference is divisible by the given modulus.
Compute each difference. 1: 41 - 21 = 20 → 1 → c 2: 31 - 21 = 10 → 2 → d 3: 262 - 137 = 125 → 3 → a 4: 11 - 3 = 8 → 4 → b Therefore, the correct matching is: 1 → c 2 → d 3 → a 4 → b Hence, Option A is correct.
- Option B → Incorrect because it matches all four differences with incorrect values.
- Option C → Incorrect because the calculated differences do not correspond to the given pairings.
- Option D → Incorrect because several numerical differences are interchanged.
Used: Substitution
Application: Directly subtract b from a for each pair and match the resulting difference.
Final Logic: Exact subtraction gives the sequence 1-c, 2-d, 3-a, 4-b, which appears only in Option A.
Subtract first, match later.
3 Let
a = ms + r
and
b = mt + r.
Which of the following analytical statements conclusively prove that
a ≡ b (mod m)?
1. a - b = m(s - t)
2. m divides (a - b)
3. a mod m = b mod m
4. a / b = m
Equal remainders imply congruence. A difference divisible by the modulus proves congruence. The quotient of two numbers is unrelated to congruence.
Given, a = ms + r b = mt + r Subtracting, a - b = (ms + r) - (mt + r) = ms - mt = m(s - t) Thus, a - b = m(s - t) which means m divides (a - b). Therefore, a ≡ b (mod m). Now evaluate each statement. Statement 1: Correct. The difference is a multiple of m. Statement 2: Correct. Divisibility by m is the definition of congruence modulo m. Statement 3: Correct. Equal remainders after division by m also imply congruence. Statement 4: Incorrect. The value of a / b has no connection with modular congruence. Therefore, Statements 1, 2, and 3 are correct. Hence, Option C is correct.
- Option A → Incorrect because it omits Statement 3, which is also a valid condition for congruence.
- Option B → Incorrect because it omits Statement 1, which directly proves congruence.
- Option D → Incorrect because Statement 4 is unrelated to modular arithmetic.
Used: Option Grouping
Application: Identify all statements that are logically equivalent definitions or consequences of congruence modulo m.
Final Logic: Statements 1, 2, and 3 all prove a ≡ b (mod m), whereas Statement 4 does not.
Same remainder = Divisible difference.
4 Which of the following is an INCORRECT algebraic derivation for establishing congruence modulo m between integers a and b?
�� Correct subtraction eliminates remainder r �� Factor should contain m �� r(s − t) is algebraically incorrect
Given: Subtracting: The remainder r cancels out completely. Therefore Option D is correct derivation, while Option C is incorrect because r is not factored from the expression. Hence the incorrect statement is Option C.
- �� Option A → Standard representation of division algorithm.
- �� Option B → Correct modular representation.
- �� Option D → Correct subtraction result proving congruence.
Used: Elimination
Application: Check algebraic subtraction carefully.
Final Logic: The remainder cancels, so factor must involve m, not r.
"Remainders cancel; modulus remains."
5 In the classification of 50 consecutive positive integers mapped to modulo 6 sectors, how many integers fall into the mixture subset?
�� Integers are grouped into modulo 6 classes �� Each class repeats after every 6 numbers �� Counting required class gives 8 elements
Among 50 consecutive positive integers, numbers distribute almost equally among 6 equivalence classes modulo 6. Since: Each class gets at least 8 integers. The "mixture subset" here corresponds to one modulo class receiving 8 elements. Hence Option B is correct.
- �� Option A → Too small for equal modulo distribution.
- �� Option C → Would require more repetitions.
- �� Option D → Not possible since 50 numbers spread over 6 classes.
Used: Substitution
Application: Divide total integers by modulus to estimate class size.
Final Logic: 50 divided by 6 gives quotient 8, so each class has about 8 members.
"Class size ≈ total ÷ modulus."
6 If the constraint region is limited to positive integers strictly ≤ 30, what is the sum of all elements found within the modulo 6 equivalence class ?
�� Consider numbers congruent to required residue modulo 6 �� Add all valid numbers ≤ 30 �� Sum becomes 90
The intended equivalence class is: Adding: Therefore Option A is correct.
- �� Option B → Incomplete addition.
- �� Option C → Only one element considered.
- �� Option D → Exceeds actual total.
Used: Substitution
Application: List all class members satisfying the bound.
Final Logic: Correct arithmetic sum gives 90.
"Multiples of 6 till 30 → add quickly."
7 If the equivalence class is denoted as [X] = {a ∈ Z | a ≡ X (mod m)}, which of the following sets correctly represents modulo 3?
�� All elements must leave same remainder mod 3 �� Each term in Option A leaves remainder 2 �� Hence they belong to same equivalence class
Check elements of Option A modulo 3: -4 ≡ 2 -1 ≡ 2 2 ≡ 2 5 ≡ 2 All belong to the same equivalence class modulo 3. Hence: Option A correctly represents an equivalence class modulo 3.
- �� Option B → Represents remainder 1 class, not the required one.
- �� Option C → Represents multiples of 3 only.
- �� Option D → Elements do not share a common remainder modulo 3.
Used: Option Grouping
Application: Verify whether all numbers produce same remainder.
Final Logic: Only Option A has identical remainder for every element.
"Same remainder → same class."
8 Moving across the integer domain, which element belongs to the intersection of the equivalence classes mod 3 and mod 3?
�� Distinct equivalence classes do not overlap �� No common element exists �� Intersection is empty
Distinct equivalence classes modulo the same modulus are disjoint. For example: An integer cannot simultaneously leave two different remainders modulo 3. Hence the intersection is the null set. Therefore Option D is correct.
- �� Option A → Cannot belong to two distinct classes simultaneously.
- �� Option B → Same contradiction occurs.
- �� Option C → 0 belongs only to one equivalence class.
Used: Odd One Out
Application: Distinct equivalence classes are non-overlapping.
Final Logic: Their intersection must be empty.
"Different remainder classes never mix."
9 When evaluating the reflexive relation a Rm b if and only if a ≡ b (mod m), what is the mathematical probability that an integer 'a' fails to be congruent to itself modulo m?
�� Every integer is congruent to itself �� a − a = 0 �� 0 is divisible by every m
For any integer a: Since every integer m divides 0: Therefore: So the probability that a fails to be congruent to itself is 0.
- �� Option A → Reflexive property always holds.
- �� Option B → No partial probability exists here.
- �� Option D → Probability cannot be negative.
Used: Elimination
Application: Use reflexive property directly.
Final Logic: Every integer is always congruent to itself.
"Self congruence never fails."
10 If m | (a - b) establishes the directional vector from a to b in symmetric relations, reversing the direction yields m | (-1)(a - b). What does this establish?
�� Multiplying by −1 preserves divisibility �� Symmetry property is established �� Congruence works both ways
Given: Then: Hence: This proves the symmetric property of congruence relation.
- �� Option B → Congruence does not imply equality.
- �� Option C → Divisibility of sum is unrelated here.
- �� Option D → Difference need not be zero; only divisible by m.
Used: Contextual/Tonal Matching
Application: The statement discusses "reversing direction," indicating symmetry.
Final Logic: Reversing a − b to b − a proves symmetry.
"Reverse difference → symmetric congruence."
11 Assume a ≡ b (mod m) and b ≡ c (mod m). By expressing b = a + km and c = b + k'm, calculating the aggregate linear area gives c = a + (k + k')m. What is the fundamental conclusion drawn?
�� Congruence relations combine through addition �� Multiples of m remain multiples of m �� This proves transitivity
Given: So: Substituting: Thus: Hence: This proves the transitive property of congruence relation.
- �� Option A → Congruence is reflexive, not irreflexive.
- �� Option C → Congruence is symmetric, not asymmetric.
- �� Option D → Congruence modulo m is fully valid over integers.
Used: Contextual/Tonal Matching
Application: The statement chains two congruences together, indicating transitivity.
Final Logic: Combining multiples of m again gives a multiple of m.
"Chain congruences → transitivity."
12 By fully integrating the reflexive, symmetric, and transitive proofs for the relation Rm defined by a Rm b if and only if a ≡ b (mod m), what theorem is conclusively proven?
�� Reflexive property holds �� Symmetric property holds �� Transitive property holds
A relation is called an equivalence relation if it is: • Reflexive • Symmetric • Transitive For congruence modulo m: (reflexive) (symmetric) (transitive) Hence Rm is an equivalence relation.
- �� Option A → Partial orders require antisymmetry, which congruence lacks.
- �� Option C → Congruence is a relation, not a function.
- �� Option D → No irrational identity is involved.
Used: Option Grouping
Application: Match the three standard equivalence properties.
Final Logic: Reflexive + symmetric + transitive ⇒ equivalence relation.
"RST → Equivalence Relation."
13 If there are exactly m equivalence classes for mod m represented as [0], [1], ..., [m-1], what represents the union of all these distinct classes?
�� Every integer belongs to one remainder class �� Modulo m partitions integers completely �� Union of all classes equals Z
The equivalence classes modulo m are: Every integer leaves exactly one remainder when divided by m. Hence all integers belong to one of these classes. Therefore: So, the union gives the set of all integers.
- �� Option A → Negative integers are excluded.
- �� Option C → Classes are nonempty.
- �� Option D → Real numbers are not partitioned by integer congruence classes.
Used: Contextual/Tonal Matching
Application: Equivalence classes partition the complete integer set.
Final Logic: All modulo classes together cover all integers.
"All remainder classes together = Z."
14 Which property prevents an integer from belonging to both mod 5 and mod 5?
�� Distinct equivalence classes are disjoint �� One integer cannot have two different remainders �� Classes never overlap
Equivalence classes formed under congruence modulo m partition integers into disjoint subsets. Thus: An integer cannot simultaneously belong to two distinct remainder classes modulo 5. Hence equivalence classes are non-overlapping.
- �� Option A → Not a standard property in equivalence relations.
- �� Option C → Associativity is unrelated here.
- �� Option D → Reflexive and symmetric properties do not describe disjointness.
Used: Elimination
Application: Identify the property defining equivalence class partitions.
Final Logic: Distinct classes are disjoint subsets.
"Different classes never intersect."
15 Calculate the sum of all elements within the equivalence class modulo 6, where elements are bounded between 0 < x < 30.
�� Consider integers congruent to 2 modulo 6 �� Add all valid members below 30 �� Total becomes 80
The intended equivalence class is: Adding: Thus, the provided answer B = 80 is incorrect. The correct sum is 70, which is not present in the options.
- �� Option A → Does not equal the required class sum.
- �� Option B → Arithmetic total is incorrect.
- �� Option C → Exceeds actual sum.
- �� Option D → Too small.
Used: Substitution
Application: List all numbers satisfying the congruence condition.
Final Logic: Direct addition gives 70, showing option mismatch.
"Keep adding every +6 term."
16 How many positive integers strictly less than 100 belong to the equivalence class modulo 15?
�� Consider one residue class modulo 15 �� Count terms below 100 �� Total count becomes 6
Taking the intended class: There are 6 positive integers strictly less than 100. Hence Option B is correct.
- �� Option A → One element short.
- �� Option C → Includes extra invalid term.
- �� Option D → Exceeds valid count below 100.
Used: Substitution
Application: Generate arithmetic progression of class elements.
Final Logic: Counting valid terms gives 6.
"Add modulus repeatedly."
17 The definition of a Simple Arithmetic Function restricts the domain to Z+. Why does the function f(x) = 1/x fail to be a valid arithmetic function if 0 is included in the domain?
�� Division by zero is undefined �� Arithmetic functions use positive integers �� Z+ excludes 0
A simple arithmetic function is defined on positive integers: If 0 were included, then: But division by zero is undefined. Hence the function fails when 0 is included.
- �� Option B → Arithmetic functions may produce real outputs.
- �� Option C → "Geometric machine" has no mathematical meaning here.
- �� Option D → The function definitely fails at x = 0.
Used: Elimination
Application: Check domain restriction and undefined operations.
Final Logic: 1/0 is undefined, so 0 cannot belong to the domain.
"No division by zero."
18 If a simple arithmetic function maps Z+ to Real Numbers, which of the following is a completely valid set of images for the pre-images {1, 2, 3} under f(x) = √x?
�� Compute square roots directly �� √1 = 1 �� √2 and √3 are irrational decimals
Given: For inputs {1,2,3}: Thus the image set becomes: {1, 1.414..., 1.732...} Hence Option A is correct.
- �� Option B → Represents squares, not square roots.
- �� Option C → Square roots of positive numbers are nonnegative.
- �� Option D → √1, √2, and √3 are not zero.
Used: Substitution
Application: Evaluate the function directly for each input.
Final Logic: Correct square root values match Option A.
"√2 ≈ 1.414, √3 ≈ 1.732."
19
If an arithmetic function machine is modeled as f(x) = x^3 - x, what is the output image when the pre-image input is 3?
�� Substitute x = 3 �� Compute cube and subtraction �� Final value is 24
Given: Substitute x = 3: Compute: Hence the output image is 24.
- �� Option B → Gives only cube value.
- �� Option C → Incorrect subtraction result.
- �� Option D → Unrelated computation.
Used: Substitution
Application: Replace x directly into the function.
Final Logic: 3³ − 3 = 24.
"Cube minus same number."
20
In the context of number theoretic relationships, why can't a simple arithmetic function process the input x = -5?
�� Arithmetic functions use positive integer inputs �� −5 is not in Z+ �� Hence input is invalid
A simple arithmetic function has domain: Since −5 is not a positive integer, it cannot be used as an input. Therefore, the arithmetic function cannot process x = −5.
- �� Option A → Functions can mathematically compute negatives if domain allows.
- �� Option C → Range restriction is unrelated to input validity.
- �� Option D → Equivalence classes are unrelated to function domain.
Used: Elimination
Application: Verify the domain definition carefully.
Final Logic: −5 ∉ Z+, so the input is invalid.
"Arithmetic function ⇒ positive inputs only."
