Bokut, Chen and Huang proved that every countably generated L-algebra over a cou nt able field can be embedded into a simple t wo-generated L-algebra. In this paper, we prove that every countably generated L-algebra c...Bokut, Chen and Huang proved that every countably generated L-algebra over a cou nt able field can be embedded into a simple t wo-generated L-algebra. In this paper, we prove that every countably generated L-algebra can be embedded into a simple two-generated L-algebra. We also prove that every anti-commutative algebra can be embedded into a simple anti-commutative algebra, and that every countably generated anti-commutative algebra can be embedded into a simple two-generated anti-commutative algebra. Finally, we prove that every anti-commutative algebra can be embedded into its universal enveloping non-associative algebra.展开更多
引入局部条件并半格 (简记为 L cusl)及其理想完备化等概念 .证明了 :任一代数 L domain的紧元集是 L cusl;任一代数 L domain是其紧元集赋予 Alexandrov拓扑时的 Sober化 ;任一 L cusl的理想完备化是代数 L domain,从而得到了代数 L do...引入局部条件并半格 (简记为 L cusl)及其理想完备化等概念 .证明了 :任一代数 L domain的紧元集是 L cusl;任一代数 L domain是其紧元集赋予 Alexandrov拓扑时的 Sober化 ;任一 L cusl的理想完备化是代数 L domain,从而得到了代数 L domain的表示定理 .还证明了 Scott连续映射为态射的代数 L domain范畴为 L cusl与单调映射作成的范畴的反射子范畴 .展开更多
文摘Bokut, Chen and Huang proved that every countably generated L-algebra over a cou nt able field can be embedded into a simple t wo-generated L-algebra. In this paper, we prove that every countably generated L-algebra can be embedded into a simple two-generated L-algebra. We also prove that every anti-commutative algebra can be embedded into a simple anti-commutative algebra, and that every countably generated anti-commutative algebra can be embedded into a simple two-generated anti-commutative algebra. Finally, we prove that every anti-commutative algebra can be embedded into its universal enveloping non-associative algebra.
文摘引入局部条件并半格 (简记为 L cusl)及其理想完备化等概念 .证明了 :任一代数 L domain的紧元集是 L cusl;任一代数 L domain是其紧元集赋予 Alexandrov拓扑时的 Sober化 ;任一 L cusl的理想完备化是代数 L domain,从而得到了代数 L domain的表示定理 .还证明了 Scott连续映射为态射的代数 L domain范畴为 L cusl与单调映射作成的范畴的反射子范畴 .
