Suppose A = {(a, b)| a, b ∈ Z} = Z × Z. Let R be the relation
define on A where (a, b)R(c, d) means that 2 a + d = b + 2 c.
a. Prove that R is an equivalence relation.
b. Find the equivalence classes [(−1, 1)] and [(−4, −2)].
(A) Let a,b,c∈Z. Prove that if gcd(a,b)=1 and a∣bc, then
a∣c.
(B) Let p ≥ 2. Prove that if 2p−1 is prime, then p
must also be prime.
(Abstract Algebra)
Let G = Z x Z and H = {(a, b) in Z x Z | 8 divides a+b}
a. Prove directly that H is a normal subgroup in G (use the fact
that closed under composition and inverses)
b. Prove that G/H is isomorphic to Z8.
c. What is the index of [G : H]?
Let A = Z and let a, b ∈ A. Prove if the following binary
operations are (i) commutative, (2) if they are associative and (3)
if they have an identity (if the operations has an identity, give
the identity or show that the operation has no identity).
(a) (3 points) f(a, b) = a + b + 1
(b) (3 points) f(a, b) = a(b + 1)
(c) (3 points) f(a, b) = x2 + xy + y2
Let A = {x,y,z} B = {100,28,39}, find
1. A×B
2. B×A
Find the truth set of the following
predicate
1. P(x): x < x2, the domain is Z, the set of integers.
2. Q(x): x2 = 2, the domain is Z, the set of integers.
3. R(x):3x + 1 = 0, the domain is R, the set of real
numbers.
Let R be the relation on Z+× Z+ such that (a, b) R (c, d) if and
only if ad=bc. (a) Show that R is an equivalence relation. (b) What
is the equivalence class of (1,2)? List out at least five elements
of the equivalence class. (c) Give an interpretation of the
equivalence classes for R. [Here, an interpretation is a
description of the equivalence classes that is more meaningful than
a mere repetition of the definition of R. Hint:...
Discrete Math Course.
On Z, let B be the set of subsets A of Z where either A is
finite or A complement is finite. Define + and * as union and
interception. Show whether or not B is a boolean algebra.
Let ∼ be the relation on P(Z) defined by A ∼ B if and only if
there is a bijection f : A → B. (a) Prove or disprove: ∼ is
reflexive. (b) Prove or disprove: ∼ is irreflexive. (c) Prove or
disprove: ∼ is symmetric. (d) Prove or disprove: ∼ is
antisymmetric. (e) Prove or disprove: ∼ is transitive. (f) Is ∼ an
equivalence relation? A partial order?