Bài tập 30, § 6

Cho E là một dàn sao cho tập hợp thu được bằng cách trang bị cho E thứ tự đối là Noether. Chứng minh rằng mọi phần tử $a \in E$ có thể được viết dưới dạng sup $(e_1, e_2, \ldots, e_n)$, trong đó $e_1, \ldots, e_n$ là bất khả quy (§ 4, bài tập 7; trước hết chứng minh rằng tồn tại một phần tử bất khả quy $e$ sao cho $a = \sup (e, b)$ nếu $a$ không bất khả quy). Tổng quát hóa Bài tập 7(b) của § 4 cho E; cũng tổng quát hóa các Bài tập 8(b) và 9(b) của § 4.