R.3. Consider the relation R = {(m,n):m,n E N & m|n}. Prove that R defines a partial order on the set of natural numbers. Then show that R does not define a linear ordering on the set of natural numbers by giving two natural numbers a and b such that a does not divide b and b does not divide a.

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter3: Groups
Section3.3: Subgroups
Problem 23E: 23. Let be the equivalence relation on defined by if and only if there exists an element in ...
icon
Related questions
Question

I need help with this dicrete mathematics proof involving relations

R.3. Consider the relation R = {(m,n):m,n E N & m/n}. Prove that R defines a partial order on
the set of natural numbers. Then show that R does not define a linear ordering on the set of
natural numbers by giving two natural numbers a and b such that a does not divide b and b does
not divide a.
Transcribed Image Text:R.3. Consider the relation R = {(m,n):m,n E N & m/n}. Prove that R defines a partial order on the set of natural numbers. Then show that R does not define a linear ordering on the set of natural numbers by giving two natural numbers a and b such that a does not divide b and b does not divide a.
Expert Solution
steps

Step by step

Solved in 2 steps

Blurred answer