Proving transitivity in equivalence relation a ~ b iff 2a+3b is div by 5

Click For Summary
SUMMARY

The discussion centers on proving the transitivity of the equivalence relation defined on the set of integers, where \( a \sim b \) if and only if \( 2a + 3b \) is divisible by 5. The user successfully demonstrated that the relation is reflexive and symmetric, and provided a proof for transitivity. By assuming \( m \sim n \) and \( n \sim q \), they derived that \( 2m + 3q \) is also divisible by 5, confirming that the relation is indeed transitive. The proof is validated as correct by other participants in the discussion.

PREREQUISITES
  • Understanding of equivalence relations in mathematics
  • Familiarity with modular arithmetic, specifically divisibility rules
  • Knowledge of integer properties and operations
  • Basic proof techniques in mathematics, including direct proof and manipulation of equations
NEXT STEPS
  • Study the properties of equivalence relations in more depth
  • Learn about modular arithmetic and its applications in number theory
  • Explore different proof techniques, particularly in abstract algebra
  • Investigate other types of relations and their properties, such as partial orders
USEFUL FOR

Students studying abstract algebra, mathematics educators, and anyone interested in understanding equivalence relations and their properties in number theory.

jeszo
Messages
6
Reaction score
0

Homework Statement



Relation on set of integers.

a~b if and only if 2a+3b is divisible by 5
show that ~ is an equivalence relation


Homework Equations





The Attempt at a Solution



I have already proved that the relation is reflexive and symmetric, but I'm unsure of my approach at proving transitivity.

if the relation is transitive, then: m~n and n~q implies m~q

by the relation: 5 divides 2m + 3n, so let 2m+3n=5r
5 divides 2n + 3q, so let 2n + 3q= 5t (r,t are integers)

==> 2m=5r-3n and 3q=5t-2n

if m~q, then 2m+3q must be divisible by 5.
2m + 3q= (5r-3n)+(5t-2n)= 5(r+t)-3n-2n
= 5(r+t)-5n

sum of numbers divisible by "a" = a number divisible by "a", so 5(r+t)-5n is divisible by 5, implying that 2m+3q is divisible by 5 which implies that m~q, which proves transitivity of the relation.

---------------------------------------

Something tells me this proof is off. Please help me out
 
Physics news on Phys.org
Nothing wrong with that argument.
 

Similar threads

  • · Replies 10 ·
Replies
10
Views
3K
Replies
4
Views
4K
Replies
7
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
2
Views
2K
Replies
5
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
Replies
17
Views
5K
  • · Replies 7 ·
Replies
7
Views
2K