# Tagged Questions

122 views

### Why do we use the term “equivalent” with Operators but “equal” with Functions?

Why do we speak in terms of "equality" when we deal with functions but "equivalence" when dealing with operators? To elaborate: Two functions, f and g are equal to each other (denoted: f=g) if: ...
36 views

### Equivalence relations and power sets.

Let $\mathcal{A}$ be the class of all sets and define the relation $R$ on $\mathcal{A}$ as: $A\space R\space B$ iff there is a bijective function $f:A \to B$. Prove that $R$ is an equivalence relation ...
45 views

### Equivalence Relation definitions of Coset - looks like 1-step Subgroup Test? [Fraleigh p. 97 theorem 10.1]

p. 4 We are especially interested in the case where the set is a group, and the equivalence relation has something to do with a given subgroup. That is, we want to partition a group G into subsets, ...
361 views

### What exactly are equivalence classes

What exactly are equivalence classes? Suppose I have an equivalence relation $\sim$ on some set $X$ we denote this as $x \sim y$. The equivalence classes are then $[x] = \{y \in X : y \sim x\}$. ...
66 views

### Equivalence relation and equivalence class question

Show that the relation $\sim$ defined on the set $X = \mathbb{N} \times \mathbb{N} = \{(a, b) : a \in \mathbb{N}; b \in \mathbb{N}\}$ as $(a,b) \sim (c,d)$ if and only if $a + d = c + b$ is an ...
42 views

### How to prove that equality is an equivalence relation?

Probably, it's a elementary question, but I would like some explanation. Everyone knows that equality relation is (i) reflexive, (ii) symmetric and (iii) transitive, that is, satisfies (i) $x=x$; ...
36 views

### Show that the equivalence classes of $\sim$ are left cosets of $H$ in $G$.

Let $H \leq G$ and define a relation on $G$ by $x \sim y$ if $y^{-1}x \in H$. Show that $\sim$ is an equivalence relation on $G$ and then show that the equivalence classes of $\sim$ are left cosets ...
21 views

### Question about Equivalence relation and partition

This is my first time of Abstract algebra, and I don't know how to solve this problem. Although I have an idea to solve this problem, I can't assure whather it is correct or not. Please show me how ...
105 views

### The closures of a binary relation

I have the following dilemma concerning the equivalence closure of a binary relation. Let $X$ be a nonempty set and $R\subseteq X\times X$ (i.e., a binary relation over $X$). Consider the following ...
18 views

### Bijection between partial order and $<$

How to show the correspondence between a less than relation and partial orders ? here A less than relation $<$ on a set $S$ is a relation that satisfies If $a < b$ , then $a \neq b$. ...
89 views

### Equivalence relation and subgroup

I am taking abstract algebra now, and there's a lemma: Let $H$ be a subgroup of group $G$, for $a,b \in G$,define $a\sim b$ if $ab^{-1}\in H$, then it is an equivalence. I know how to prove it and how ...
592 views

### Proving equivalence relations

I just started my abstract algebra class and I am struggling with the concept of equivalence relations. I know that in order to prove equivalence relations, I have to prove the reflexive, symmetric, ...
46 views

### For a group $G$, show the relation $x\sim y$ defined by $\exists a(y=axa^{-1})$ is an equivalence relation on $G$.

Let G be a group. For $x,y\in G$, define $x\sim y$ if there exists some element $a\in G$ such that $y=axa^{-1}$. Show that ~ defines an equivalence relation on $G$.
34 views

### A question on Partitioning regarding equivalence relations

Let $S$ be the Cartesian coordinate place $\mathbb R \times\mathbb R$ and define the equivalence relation $R$ on $S$ by $(a,b) R (c,d)$ iff $b-3a = d-3c$ Find the partition $D$ determined by $R$ by ...
72 views

### Understanding Pushouts in Top.

The Pushout of $X \leftarrow Z\rightarrow Y$ with $f:Z\rightarrow X$ and $g:Z\rightarrow Y$ in $\mathbf{Top}$ exists and is given by $X\coprod Y/\sim,$ where "$\sim$ is the equivalence relation ...
66 views

### Prove this is an equivalence relation

$A$ is related to $B$ if $M_n(A)\simeq M_m(B)$ for some integers $m$ and $n$. Clearly reflexivity and symmetry are trivial. It's transitivity that I am struggling with. Is it the case that if ...
58 views

### Equivalence relation of a group acting on a set

Let A be a set and G be any subgroup of S(A). G is a group of permutations of A. Assume that G is a finite group. If u∈A, the orbit of u is the set O(u)={g(u): g∈G}. Define a relation ~ on A by u~v ...
59 views

### Partition of an equivalence relation

I am having a hard time with the following problem: In F(R), let f~g iff f(x)=g(x) for all x>c where c is some fixed real number. I proved that it was a equivalence relation by the following: ...
45 views

### Properties of equivalence relations

Let $\sim_1$ and $\sim_2$ be distinct equivalence relations on $A$. Define $\sim_3$ by $a\sim_1 b$ and $a\sim_2 b$. Let $[x]_i$ denote the equivalence class of $x$ for $\sim_i$ ($i=1,2,3$). Prove ...
33 views

### Congruence induced by a subset.

Consider the additive monoid of natural numbers and calculate the congruence generated by $\{(2,3)\}$. I know the answer is that the congruence has 3 classes which are $\{0\}$, $\{1\}$, and the rest. ...
42 views

### Show that $s_1(\text{equivalence class}) = s_2(\text{equivalence class})$ iff $s_1\mathrel{R}s_2$.

Let $R$ be an equivalence relation on $S$. Show that for all $s_1, s_2$ elements of $S$ we have $s_1(\text{equivalence class}) = s_2(\text{equivalence class})$ iff $s_1\mathrel{R}s_2$. I understand ...
38 views

### Equivalence relations, Cosets

Let G be a group and for elements a,b (elements of)G let a R b mean that there exists an element x(element of)G such that a=xbx^(-1). Show that R is an equivalence relation on G. Not really sure how ...
59 views

53 views

### For a group $G$ and subgroup $H$, is $a \sim b \iff a^{-1}b\in H$ an equivalence relation even when $H$ is not normal?

Is it true or false that defining a relation on the group $G$ based on the definition $a \sim b$ if and only if $a^{-1}b\in H$ defines an equivalence relation regardless of whether $H$ is a normal ...
113 views

### Equivalence relation on a group

I have the following question: Let $G$ be a finite group. We define a relation $\sim$ on $G \backslash \left\{e\right\} = \left\{ g \in G : g \neq e \right\}$ by $g \sim h$ if and only if there ...
207 views

### Prove that if G is an abelian group then the conjugation equivalence relation is the identity relation ($x$ $\thicksim$ $y$ if and only if x=y).

Can anyone please hint me out on how to prove that if the group G is abelian,then the conjugation equivalence relation is the identity relation ($x$ $\thicksim$ $y$ iff x=y).
### Does every equivalence relation on set $S$ containing binary relation $C$ contain equivalence relation $E$?
Problem The following is a problem from Jacobson's Basic Algebra I: Let $C$ be a binary relation on $S$. For $r=1,2,3,\dots$ define \$C^r=\{(s,t)|\text{ for some } s_1,\dots, s_{r-1}\in S,\text{ ...