群(group)

出自KMU Wiki

在2007年10月19日 (五) 09:36所做的修訂版本 (編輯) Itchen (對話 | 貢獻) (新頁面: 群: 為一個集合S和一二元運算*之結合通常寫為 (S, *)，使其可有如下性質：<br><br> * 封閉性(Closure): 若a和b為S之元素，則a*b也會是S之元素。 * ...) ←上一個		在2007年10月19日 (五) 09:40所做的修訂版本 (編輯) (撤銷) Itchen (對話 | 貢獻) 下一個→
第4行：		第4行：
	* 結合性(associative):若a、b和c為S的元素，則(a * b) * c = a * (b * c)。		* 結合性(associative):若a、b和c為S的元素，則(a * b) * c = a * (b * c)。
	* 單位元素(identity):存在單位元素e，使得對每個S中的元素a，e*a = a*e = a。<br>		* 單位元素(identity):存在單位元素e，使得對每個S中的元素a，e*a = a*e = a。<br>
-	* 反元素(inverses):對每一於S中的元素a，存在反元素a<sup>-1</sup>，使得a * a<sup>-1</sup>=a<sup>-1</sup>* a = e(單位元素)。<br>	+	* 反元素(inverses):對每一於S中的元素a，存在反元素a<sup>-1</sup>屬於S，使得a * a<sup>-1</sup>=a<sup>-1</sup>* a = e(單位元素)。<br>
	滿足上面四個條件的集合, 便叫做群。若再滿足交換性(commutative), 便稱為交換群(abelian groups)<br>		滿足上面四個條件的集合, 便叫做群。若再滿足交換性(commutative), 便稱為交換群(abelian groups)<br>

---

在2007年10月19日 (五) 09:40所做的修訂版本

群: 為一個集合S和一二元運算*之結合通常寫為 (S, *)，使其可有如下性質：

• 封閉性(Closure): 若a和b為S之元素，則a*b也會是S之元素。
• 結合性(associative):若a、b和c為S的元素，則(a * b) * c = a * (b * c)。
• 單位元素(identity):存在單位元素e，使得對每個S中的元素a，e*a = a*e = a。
  
• 反元素(inverses):對每一於S中的元素a，存在反元素a^-1屬於S，使得a * a^-1=a^-1* a = e(單位元素)。
  

滿足上面四個條件的集合, 便叫做群。若再滿足交換性(commutative), 便稱為交換群(abelian groups)

• 交換性(commutative):對任兩個於S內的元素a和b，a*b=b*a。