Register to reply

For a monoid, if uv = 1, do we know vu = 1?

by AxiomOfChoice
Tags: monoid
Share this thread:
AxiomOfChoice
#1
May28-09, 10:58 PM
P: 529
If [itex]M[/itex] is a monoid and [itex]u,v\in M[/itex], and [itex]uv = 1[/itex], do we know [itex]vu = 1[/itex]? Can someone prove this or provide a counterexample? I tried to come up with one (a counterexample, that is) using 2 x 2 matrices but was unsuccessful.
Phys.Org News Partner Mathematics news on Phys.org
Heat distributions help researchers to understand curved space
Professor quantifies how 'one thing leads to another'
Team announces construction of a formal computer-verified proof of the Kepler conjecture
jambaugh
#2
May29-09, 10:55 AM
Sci Advisor
PF Gold
jambaugh's Avatar
P: 1,776
Assume:
[tex] uv=1[/tex]
If there exists a w such that:
[tex]vw=1[/tex]
Then by associativity:
[tex]w=1w=(uv)w=u(vw)=u1=u[/tex]
Thus if such a w exists it must be u.

This isn't quite enough but I can't find a short proof either. I'll think on it.
matt grime
#3
May29-09, 12:49 PM
Sci Advisor
HW Helper
P: 9,396
The canonical example is left and right shift of a sequence or countable dimensional vector space.

L(a,b,c,d,...) = (b,c,d,....)

R(a,b,c,..)=(0,a,b,c...)

LR=id, and RL=/=id.

You won't find one in 2x2 matrices - the invertible ones form a group, so there's no point looking.


Register to reply

Related Discussions
Prove that a set is a monoid, but not a ring. Linear & Abstract Algebra 5
Prove that inv(G) is a group. G is a monoid... Linear & Abstract Algebra 6