Theorem 9 Let (S, .,≤) be an ordere

Theorem 9 Let (S, .,≤) be an ordered semigroup. If S is a union of left
strongly simple subsemigroups of S, then every left ideal of S is an intra-regular
subsemigroup of S. ”Conversely”, if every left ideal of S is an intra-regular
subsemigroup of S, then S is a complete semilattice of left strongly simple
semigroups.

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

ทฤษฎีบท 9 Let (S,., ≤) เป็นกึ่งกลุ่มสั่งซื้อ ถ้า S เป็นสหภาพซ้าย
subsemigroups ง่ายยิ่งของ S แล้วทุกเหมาะซ้าย S เป็นปกติภายใน
subsemigroup เอส "ตรงกันข้าม" ถ้าทุกเหมาะซ้ายของ S เป็นปกติภายใน
subsemigroup ของ S, S นั้นแล้ว semilattice สมบูรณ์ของที่เหลือง่ายยิ่ง
กึ่งกรุป

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

ทฤษฎีบทที่ 9 ให้ ( S . ≤ ) เป็นกึ่งกลุ่มสั่ง . ถ้าเป็นสหภาพของซ้ายของ่าย subsemigroups S แล้วทุกด้านซ้ายเหมาะเป็นปกติภายในsubsemigroup S . " ในทางกลับกัน " ถ้าทุกเหมาะไว้เป็นปกติภายในsubsemigroup ของ S , S แล้วจะเสร็จสมบูรณ์ semilattice ซ้ายง่ายอย่างยิ่งกรุป .