234:
275:
294:
268:
221:
304:
261:
299:
136:
116:
Every semigroup can be considered as a posemigroup endowed with the trivial (discrete) partial order "=".
128:
113:
form respectively a posemigroup, a pomonoid, and a pogroup under addition and the natural ordering.
106:
83:
217:
160:
156:
241:
102:
245:
288:
164:
75:
36:
86:
that are endowed with a partial order that makes them ordered semigroups. The terms
233:
20:
28:
98:
are sometimes used, where "po" is an abbreviation for "partially ordered".
110:
79:
249:
269:
8:
43:with the semigroup operation, meaning that
276:
262:
214:Lattices and Ordered Algebraic Structures
167:, with an object of for each element of
51:implies z•x ≤ z•y and x•z ≤ y•z for all
7:
230:
228:
195:, the tensor product being given by
14:
143:Category-theoretic interpretation
135:the order (equivalently, that is
232:
1:
295:Ordered algebraic structures
248:. You can help Knowledge by
321:
227:
173:, a unique morphism from
137:monotonically increasing
155:can be considered as a
305:Abstract algebra stubs
244:-related article is a
129:semigroup homomorphism
127:of posemigroups is a
78:are, respectively, a
107:nonnegative integers
35:,•) together with a
16:Algebraic structure
216:, Springer, 2005,
199:, and the unit by
257:
256:
157:monoidal category
103:positive integers
25:ordered semigroup
312:
300:Semigroup theory
278:
271:
264:
242:abstract algebra
236:
229:
202:
198:
194:
184:
178:
172:
154:
320:
319:
315:
314:
313:
311:
310:
309:
285:
284:
283:
282:
209:
200:
196:
186:
185:if and only if
180:
174:
168:
148:
145:
17:
12:
11:
5:
318:
316:
308:
307:
302:
297:
287:
286:
281:
280:
273:
266:
258:
255:
254:
237:
226:
225:
208:
205:
144:
141:
72:ordered monoid
15:
13:
10:
9:
6:
4:
3:
2:
317:
306:
303:
301:
298:
296:
293:
292:
290:
279:
274:
272:
267:
265:
260:
259:
253:
251:
247:
243:
238:
235:
231:
223:
222:1-85233-905-5
219:
215:
211:
210:
206:
204:
193:
189:
183:
177:
171:
166:
162:
159:that is both
158:
152:
142:
140:
138:
134:
130:
126:
122:
117:
114:
112:
108:
104:
99:
97:
93:
89:
85:
81:
77:
76:ordered group
73:
68:
66:
62:
58:
54:
50:
46:
42:
38:
37:partial order
34:
30:
26:
22:
250:expanding it
239:
213:
212:T.S. Blyth,
191:
187:
181:
175:
169:
150:
146:
132:
125:homomorphism
124:
120:
118:
115:
100:
95:
91:
87:
71:
69:
64:
60:
56:
52:
48:
44:
40:
32:
24:
18:
224:, chap. 11.
147:A pomonoid
88:posemigroup
21:mathematics
289:Categories
207:References
153:, •, 1, ≤)
41:compatible
39:≤ that is
133:preserves
29:semigroup
161:skeletal
121:morphism
111:integers
109:and the
96:pomonoid
92:pogroup
74:and an
220:
105:, the
82:or a
80:monoid
240:This
163:and
131:that
84:group
27:is a
23:, an
246:stub
218:ISBN
165:thin
101:The
94:and
70:An
179:to
139:).
123:or
63:in
19:In
291::
203:.
190:≤
119:A
90:,
67:.
59:,
55:,
47:≤
277:e
270:t
263:v
252:.
201:1
197:•
192:n
188:m
182:n
176:m
170:M
151:M
149:(
65:S
61:z
57:y
53:x
49:y
45:x
33:S
31:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.