Definition 2.7 Let S be a semiring.

Definition 2.7 Let S be a semiring. A left S−semimodule is a commutative
monoid (M,+, 0M) in which scalar mulitiplication S × M → M, denoted by
(s,m) → sm, satisfies the following conditions

ผลลัพธ์ (ไทย) 1:

2.7 นิยามให้ S จะเป็น semiring S−semimodule ซ้ายเป็นตัวเขาอายุmonoid (M + 0M) ในซึ่ง→× M สเกลา mulitiplication S M เขียนแทนด้วย(s, m) → sm ตรงตามเงื่อนไขต่อไปนี้

ผลลัพธ์ (ไทย) 2:

นิยาม 2.7 ให้ S เป็น semiring ซ้าย S-semimodule เป็นสับเปลี่ยน
หนังสือ (M +, 0M) ซึ่งเกลา mulitiplication S × M → M, แสดงโดย
(S, M) → SM, ตอบสนองเงื่อนไขต่อไปนี้