Intereting Posts

Why isn't second-order ZFC categorical?
Lines in the plane and recurrence relation
Limit of definite integral of $f(x)\cos(mx)$
Relation between function discontinuities and Fourier transform at infinity
Cyclic group order 15
The centralizer of an element x in free group is cyclic
Legendre transform of a norm
Is Riesz measure an extension of product measure?
Suppose $a,b,m,n$ are natural numbers, prove that if $a({m \over n})=b$ and $(a,n)=1$, then ${m \over n} \in \mathbb{N}$
What is an example that a function is differentiable but derivative is not Riemann integrable
A pair of continued fractions that are algebraic numbers and related to $a^2+b^2=c^m$
My proof of “the set of diagonalizable matrices is Zariski-dense in $M_n(\mathbb F)$”.
How can I Prove that H=G or K=G
Limit of the sequence $\{n^n/n!\}$, is this sequence bounded, convergent and eventually monotonic?
Dense curve on torus not an embedded submanifold

Let $(G,*)$ be a group with identity $e$ , let $a,b∈G$ such that $a*b^3*a^{-1}=b^2$ and $b^{-1}*a^2*b=a^3$ , then how do we prove that $a=b=e$ ?

- Let $R$ be a commutative unital ring. Is it true that the group of units of $R$ is not isomorphic with the additive group of $R$?
- GCD of gaussian integers
- Why is the orthogonal group $\operatorname{O}(2n,\mathbb R)$ not the direct product of $\operatorname{SO}(2n, \mathbb R)$ and $\mathbb Z_2$?
- Find all subgroups of $\mathbb{Z}\times\mathbb{Z}$.
- What is difference between a ring and a field?
- Questions on Proofs - Equivalent Conditions of Normal Subgroup - Fraleigh p. 141 Theorem 14.13
- Number of non-isomorphic non-abelian groups of order 10
- Is $v=\ (r_i)^{-1}\cdot z $, a uniformly random value of a field?
- In an Integral Domain is it true that $\gcd(ac,ab) = a\gcd(c,b)$?
- Show that is $F$ is a finite field then, $P_F:=$ the set of all polynomial functions on F is not isomorphic to $F$

Given $$ab^3a^{-1}=b^2$$ thus we get $$ab^6a^{-1}=b^4\;,\;\;ab^9a^{-1}=b^6$$

Replaceing $b^6$ in $ab^6a^{-1}=b^4$, we get $a^2b^9(a^{-1})^2=b^4$. Thus $a^2b^{18}(a^{-1})^2=b^8$. Again $ab^3a^{-1}=b^2$ gives $ab^{27}a^{-1}=b^{18}$. Replacing $b^{18}$, we get $a^3b^{27}(a^{-1})^3=b^8$. But $b^{-1}a^2b=a^3$. Thus $(b^{-1}a^2b)b^{27}(b^{-1}a^2b)^{-1}=b^8$. This gives $a^2b^{27}(a^2)^{-1}=b^8$. Also $a^2b^9(a^{-1})^2=b^4$ and $a^2b^{18}(a^{-1})^2=b^8$ give $a^2b^{27}(a^2)^{-1}=b^{12}$. Thus $b^8=b^{12}, i.e. b^{4}=e$. Thus $ab^6a^{-1}=e$, and thus $b^6=e$. so, $b^2=e$ and similarly it can be shown that $b^3=e$. So, $b=e$. Now showing $a=e$ is easy.

Here is a visualization of Anupam’s proof. I think that this method is also applicable for other groups.

A group is just a category with one object in which each morphism is invertible. In categories we can draw commutative diagrams. The given relations can be drawn as follows:

Here $a$ represents the red vertical arrow and $b$ the green horizontal arrow. Now we reproduce the first diagram $4$ times horizontaly and then $3$ times vertically, in order to align three red arrows:

The outer rectangle can be twisted with the second relation, which yields:

But the large diagram above also contains this, but with $12$ instead of $8$ green arrows below. Thus, $4$ green arrows cancel. From parts of the large diagram we see that then $6$ green arrows cancel, hence also $2$ cancel. But then $3$ cancel, and thus the green arrow cancels. The second relation tells us that the red arrow also cancels. QED

Edit: I seem to have reinvented van Kampen diagrams.

- Conjecture about $A(z) = \lim b^{} ( c^{} (z) ) $
- Peano arithmetic with the second-order induction axiom
- If a sub-C*-algebra does not contain the unit, is it contained in a proper ideal?
- Can finite non-isomorphic groups of the same order have isomorphic endomorphism monoids?
- Find if three points in 3-dimensional space are collinear
- Multivariable calculus – Implicit function theorem
- Is $\lim_{n\to \infty} \frac{np_n}{\sum_{i=1}^n p_i} = 2$ true?
- Determine whether $\lim_{(x,y)\to (2,-2)} \dfrac{\sin(x+y)}{x+y}$ exists.
- How to prove closure of $\mathbb{Q}$ is $\mathbb{R}$
- What book are good to learn about limits and continuity for the first time?
- Combinatorics for a 3-d rotating automaton
- the measurability of $\int_0^t X(s)ds$
- Why don't you need the Axiom of Choice when constructing the “inverse” of an injection?
- Mean Value Property of Harmonic Function on a Square
- Calculating circle radius from two points on circumference (for game movement)