and s0 = Os =0 for all s ¢.S. In this case, we have that [a. 6)" = [ba] and E(S) = {|a.a] | ac P}u fo}. Proof, Before we start, we note that although this proof is straightforward it is long and tedious. However, it may be valuable if one wishes to get a feel for right LCM semigroups. We first show that the multiplication above is well-defined. Suppose that [a.6].[e.d] €S. Then if we € U(P), we know that buP = bP and evP = eP, and so [a, b][e.d] £0 if and only if [au bu)[cv, dv] £0. So, suppose that [a, B][c.d] = [al de], where bP NeP = rP with WH = od =r. Then buP NevP = bP cP =P, and so there exist Uc” € P such that bub! = eve!” =r. Because 68! = ec! =r and P is left cancellative, we have that ub" = 6! and ve" =e. Hence au, bulfev, du] = [aub", dee] = fab! de!] = fa, bed and so the multiplication is well-defined. We now show that the given multiplication is associative. Take [a, ).[e.d]. [e. f] € 5 and first suppose that (,6]([c.dl[e, f]) #0. ‘Then there must be ra,di,er € P such that dP OeP =P, dd, = ee) = ry, and [e,d][e, f] = [ed), fey]. Since we assumed that [a,6]fedy. fey] #0, we now must. have that there exist r2.6),¢, € P such that bP A ed) P = raP, bby = edicy = 2, and (a, 8]{(c, ale.) = labs, ferea] # 0. Since bP NedjP # 2, we must have that bP (cP 4 , so there exists r3,b2.c2 € P such that bP) cP = r5P, bly = cca = rs, and [a,t[e,d] = [aby,dey]. In addition, we have that: r2P C ryP, and so there exists q¢ P sueh that ry = 139. Now we have that edhe == rq=enq > dey = eng @ and so we have eee) =ddyey = dogg = deyPNeP $B. Hence ((a,tel)|e.£] = labesdealle, #1 4 0. Furthermore, there exist ra.dave2 © P such that deyP NeP = raP_ ded, = ce = ry, and (lo. Bllesd)) fe. 1 = lobe. dalle.) In this case, we have that ryP CrP, and so there exists p € P such that ry = rp. Also, similar to (2), we have that cxdz = dip. IE instead we started by insisti (le ¥le-al) fe. f] #0, then a similar argument gives that [a,b] ((e-alle.sl) 40. Thus to show associativity we can assume both products are nonzero and that we have elements bby. €1,€2, dy. da. 61.2, 172-7 Fs Ge? EP such that dPNeP=mP dd, = ce, =r bP Oed|P =P bPNcP=r3P daPVeP =P