506:
417:, so any semimodule over a ring is in fact a module. Any semiring is a left and right semimodule over itself in the same way that a ring is a left and right module over itself. Every commutative monoid is uniquely an
349:
459:
437:
208:
154:
259:
90:
415:
289:
547:
359:-semimodule can be defined similarly. For modules over a ring, the last axiom follows from the others. This is not the case with semimodules.
483:
540:
576:
566:
533:
571:
295:
32:
442:
420:
160:
106:
372:
214:
36:
69:
479:
394:
265:
517:
513:
383:-semimodule. Conversely, it follows from the second, fourth, and last axioms that (-1)
560:
40:
471:
505:
17:
25:
97:
39:
with respect to its addition operation, as opposed to an
521:
439:-semimodule in the same way that an abelian group is a
478:, Dordrecht: Springer Netherlands, pp. 149–161,
445:
423:
397:
298:
268:
217:
163:
109:
72:
62:
consists of an additively-written commutative monoid
453:
431:
409:
343:
283:
253:
202:
148:
84:
541:
8:
548:
534:
35:, with the exception that it forms only a
447:
446:
444:
425:
424:
422:
396:
335:
322:
303:
297:
267:
216:
162:
108:
71:
31:is an algebraic structure analogous to a
7:
502:
500:
344:{\displaystyle 0_{R}m=r0_{M}=0_{M}}
14:
504:
476:Semirings and their Applications
248:
239:
227:
218:
176:
164:
125:
113:
1:
520:. You can help Knowledge by
472:"Semimodules over semirings"
454:{\displaystyle \mathbb {Z} }
432:{\displaystyle \mathbb {N} }
203:{\displaystyle (r+s)m=rm+sm}
149:{\displaystyle r(m+n)=rm+rn}
470:Golan, Jonathan S. (1999),
254:{\displaystyle (rs)m=r(sm)}
593:
499:
387:is an additive inverse of
96:satisfying the following
85:{\displaystyle R\times M}
516:-related article is a
455:
433:
411:
410:{\displaystyle m\in M}
345:
285:
255:
204:
150:
86:
456:
434:
412:
346:
286:
256:
205:
151:
87:
577:Linear algebra stubs
567:Algebraic structures
443:
421:
395:
296:
284:{\displaystyle 1m=m}
266:
215:
161:
107:
70:
451:
429:
407:
341:
281:
251:
200:
146:
82:
37:commutative monoid
33:module over a ring
529:
528:
485:978-90-481-5252-0
584:
550:
543:
536:
508:
501:
494:
493:
492:
460:
458:
457:
452:
450:
438:
436:
435:
430:
428:
416:
414:
413:
408:
350:
348:
347:
342:
340:
339:
327:
326:
308:
307:
290:
288:
287:
282:
260:
258:
257:
252:
209:
207:
206:
201:
155:
153:
152:
147:
91:
89:
88:
83:
592:
591:
587:
586:
585:
583:
582:
581:
557:
556:
555:
554:
497:
490:
488:
486:
469:
467:
441:
440:
419:
418:
393:
392:
365:
331:
318:
299:
294:
293:
264:
263:
213:
212:
159:
158:
105:
104:
68:
67:
66:and a map from
49:
12:
11:
5:
590:
588:
580:
579:
574:
569:
559:
558:
553:
552:
545:
538:
530:
527:
526:
514:linear algebra
509:
484:
466:
463:
449:
427:
406:
403:
400:
379:-module is an
364:
361:
353:
352:
338:
334:
330:
325:
321:
317:
314:
311:
306:
302:
291:
280:
277:
274:
271:
261:
250:
247:
244:
241:
238:
235:
232:
229:
226:
223:
220:
210:
199:
196:
193:
190:
187:
184:
181:
178:
175:
172:
169:
166:
156:
145:
142:
139:
136:
133:
130:
127:
124:
121:
118:
115:
112:
81:
78:
75:
48:
45:
13:
10:
9:
6:
4:
3:
2:
589:
578:
575:
573:
572:Module theory
570:
568:
565:
564:
562:
551:
546:
544:
539:
537:
532:
531:
525:
523:
519:
515:
510:
507:
503:
498:
495:
487:
481:
477:
473:
464:
462:
404:
401:
398:
390:
386:
382:
378:
374:
370:
362:
360:
358:
336:
332:
328:
323:
319:
315:
312:
309:
304:
300:
292:
278:
275:
272:
269:
262:
245:
242:
236:
233:
230:
224:
221:
211:
197:
194:
191:
188:
185:
182:
179:
173:
170:
167:
157:
143:
140:
137:
134:
131:
128:
122:
119:
116:
110:
103:
102:
101:
99:
95:
79:
76:
73:
65:
61:
57:
54:
46:
44:
42:
41:abelian group
38:
34:
30:
27:
23:
19:
522:expanding it
511:
496:
489:, retrieved
475:
468:
388:
384:
380:
376:
368:
366:
356:
354:
93:
63:
59:
55:
52:
51:Formally, a
50:
28:
21:
15:
375:, then any
18:mathematics
561:Categories
491:2022-02-22
465:References
60:semimodule
47:Definition
22:semimodule
461:-module.
402:∈
77:×
391:for all
363:Examples
355:A right
26:semiring
24:over a
482:
98:axioms
512:This
371:is a
518:stub
480:ISBN
373:ring
53:left
20:, a
367:If
92:to
16:In
563::
474:,
100::
43:.
549:e
542:t
535:v
524:.
448:Z
426:N
405:M
399:m
389:m
385:m
381:R
377:R
369:R
357:R
351:.
337:M
333:0
329:=
324:M
320:0
316:r
313:=
310:m
305:R
301:0
279:m
276:=
273:m
270:1
249:)
246:m
243:s
240:(
237:r
234:=
231:m
228:)
225:s
222:r
219:(
198:m
195:s
192:+
189:m
186:r
183:=
180:m
177:)
174:s
171:+
168:r
165:(
144:n
141:r
138:+
135:m
132:r
129:=
126:)
123:n
120:+
117:m
114:(
111:r
94:M
80:M
74:R
64:M
58:-
56:R
29:R
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.