離散數學-10 羣與環

定義10.1 (1) 設V=<S, ∘ >是代數系統，∘爲二元運算，如果∘運算是可結合的，則稱V爲半羣. (2) 設V=<S,∘>是半羣，若e∈S是關於∘運算的單位元，則稱V是含幺半羣，也叫做獨異點. 有時也將獨異點V 記作 V=<S,∘,e>. (3) 設V=<S,∘>是獨異點，eS關於∘運算的單位元，若 aS，a1S，則稱V是羣. 通常將羣記作G. 定義10.2 (1) 若羣G是有窮

>>阅读原文<<