Intereting Posts

How to show that the extended code of cyclic binary hamming code can fix single and two adjacent positions errors?
Homomorphisms from $S_4$ to $\mathbb Z_2$
When is the matrix $\text{diag}(\mathbf{x}) + \mathbf{1}$ invertible?
$\gcd(b^x – 1, b^y – 1, b^ z- 1,…) = b^{\gcd(x, y, z,…)} -1$
Number of non-isomorphic connected graphs with m edges.
Every natural number is representable as $\sum_{k=1}^{n} \pm k^5$ … if somebody proves it for 240 integers
Find the parametric form $S(u, v)$ where $a \le u \le b$ and $c \le v \le d$ for the triangle with vertices $(1, 1, 1), (4, 2, 1),$ and $(1, 2, 2)$.
Proving the inverse of a matrix equals $I_n-\frac{1}{n-1}A$
Finding Markov chain transition matrix using mathematical induction
Compass-and-straightedge construction of the square root of a given line?
Fundamental Theorem of Calculus
Why does $\int_0^\infty\frac{\ln (1+x)}{\ln^2(x)+\pi^2}\frac{dx}{x^2}$ give the Euler-Mascheroni constant?
Do there exist totally ordered sets with the 'distinct order type' property that are not well-ordered?
Beginner's text for Algebraic Number Theory
Is the following Harmonic Number Identity true?

I want to prove for a group $G$, that if

$$a\circ b =a\circ c$$ then this is true $$b=c$$

I started with $b=b\circ e$, but this didn’t help me at all.

Next I tried with this:

$$(a\circ b)\circ c=a\circ (b\circ c)$$ but I don’t know/understand how to go further. How can I prove this equation?

- Prove that any group $G$ of order $p^2$ is abelian, where $p$ is a prime number
- Splitting of conjugacy class in alternating group
- Reference request for ordered groups
- Generators of $S_n$
- Show that $\mathbb{R}/\mathbb{Z}$ is isomorphic to $\{e^{i\theta} : 0 \le \theta \le 2\pi \}$
- proof verification: If $f:G \rightarrow H$ is group homomorphism, and $H$ is abelian, then $G$ is abelian

- A monomorphism of groups which is not universal?
- Transitive action of normal subgroup of the alternating group
- The exceptional Klein four group
- Maximal finite order of Abelian Groups
- What is the universal cover of SL(2,R)?
- Prove $aba^{-1}b^{-1}\in{N}$ for all $a,b$
- Abstract algebra book recommendations for beginners.
- Classification of triply transitive finite groups
- Prove elements generate a free group
- Prove the centralizer of an element in group $G$ is a subgroup of $G$

Suppose $$a\cdot b = a\cdot c$$ Let $a^{-1}$ be the inverse element of $a$ in $G$ (s.t. $a^{-1}\cdot a = a\cdot a^{-1} = e$ where $e$ is the identity element), which must exist by the axioms of groups. Now consider

$$a^{-1}\cdot(a \cdot b) =a^{-1}\cdot(a\cdot c)$$

By associativity, we have

$$(a^{-1}\cdot a)\cdot b = (a^{-1}\cdot a)\cdot c$$

By the definition of inverse, we have

$$e\cdot b = e\cdot c$$

where $e$ is the identity element (s.t. $e\cdot x = x\cdot e = x$ for all $x \in G$). By the definition of the identity element,

$$b = c$$

**Hint**:

If you know that $4\cdot x = 4\cdot y$, how do you prove that $x=y$?

**Hint 2:**

Think about *inverses*

$G$ is a group. One of the axioms of a group is that every element has an inverse. This means that $a\in G$ has an inverse $a^{-1} \in G$. This will help a lot.

Ok, we know $a,b,c \in G$

$$b = e∘b = (a^{-1}∘a)∘b = a^{-1}∘(a∘b)=a^{-1}∘(a∘c) = (a^{-1}∘a)∘c = c$$

By the group properties each element has an inverse. So you can just multiply your equation on the left by $a^{-1}$.

Multiply both sides of the given equation

$$

a\circ b=a\circ c

$$

on the left by the inverse of $a$ to get the desired result.

- When and where the concept of valid logic formula was defined?
- Local coefficients involved in the obstruction class for a lift of a map
- integer solutions for $x(x-1)+y(y-1)=xy$
- How many positive integers $ n$ with $1 \le n \le 2500$ are prime relative to $3$ and $5$?
- Calculation of the $s$-energy of the Middle Third Cantor Set
- parametric solution for the sum of three square
- Prove that $f$ has a fixed point .
- row operations, swapping rows
- 5 cards / Joint Probability Function
- Limit of the derivative and LUB
- Find all integers $x$ such that $x^2+3x+24$ is a perfect square.
- Proving a trig infinite sum using integration
- Automorphism of $S_4$
- Why does the amoeba shrink to its skeleton when we go to infinity?
- What is a formal polynomial?