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


by AxiomOfChoice
Tags: monoid
AxiomOfChoice
AxiomOfChoice is offline
#1
May28-09, 10:58 PM
P: 524
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
Math modeling handbook now available
Hyperbolic homogeneous polynomials, oh my!
Researchers help Boston Marathon organizers plan for 2014 race
jambaugh
jambaugh is offline
#2
May29-09, 10:55 AM
Sci Advisor
PF Gold
jambaugh's Avatar
P: 1,767
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
matt grime is offline
#3
May29-09, 12:49 PM
Sci Advisor
HW Helper
P: 9,398
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