代數系統理論(algebraic system theory)是數學系統理論的一個分支，它通過對大量原子系統，賦以函式變換和各種互連結構以形成複雜多樣的系統特性，並進而研究系統變數集合及其運算的代數性質，以及由此形成的系統的代數結構，它可突出不同類型系統的共同特點，從而擴大系統理論的套用範圍，其主要內容包括定義在一般的集合和映射運算上的半群、環、模上的系統的各種模型及其主要性質，在理論上和套用中都有重要意義。為給定函式變換環節，必須說明其定義域、值域和變換關係，而互連結構則包含通常的串聯、並聯及其形成的反饋結構等，通過大量原子系統的組合、疊加，可以得到極為複雜的具多層次結構的大系統，特別是採用群、環、域、模等代數系統和相應的同態變換，可以得到多種不同的系統理論以描述各種事理過程，例如，集同態系統、半群同態系統、模同態系統等，從而可大為拓廣系統理論的套用範圍。
基本介紹
- 中文名：代數系統理論
- 外文名：algebraic system theory
- 所屬學科：數學
- 簡介：數學系統理論的一個分支
基本介紹,代數系統,二元運算的性質,二元運算的特異常數,群論,環和域,
基本介紹
代數系統理論是近世代數(抽象代數)研究的中心問題，是在初等代數學的基礎上產生和發展起來的。它通過對大量原子系統賦以函式變換和各種互連結構，形成複雜多樣的系統特性，並進而研究系統變數集合及其運算的代數性質以及由此形成的系統的代數結構。計算機技術的發展和普及，使得代數系統理論在計算機科學中得到了非常廣泛的套用，並已成為從事計算機套用開發的研究人員的基本工具。在諸如可計算性、計算的複雜性、數字結構的抽象刻畫、程式設計語言語義學等領域中都是以代數結構作研究工具的。
代數系統
代數系統(algebra system)是抽象代數學研究的對象，是20世紀20年代在 初等數學基礎上發展起來的一門學科，它在數學各領域均有套用，近年來並大量用於計算機領域。
抽象代數學是研究由非特定的任意元素組成的集合及定義在元素之間滿足若干條件或公理的代數運算所組成的系統的數學分支。設S為一非空集合， S上的n維笛卡兒積Sn(見關係)到S的映射(見函 數)f：Sn→S稱為S上的n元運算。最常見的是一元 運算S： S→S和二元運算f：S2→S。如在實數集上 求相反數是一元運算，實數的加法和乘法是二元運算。非空集合S和S上的k個運算f1，f2，…，fk組 成的系統，稱作代數系統，記做〈S，f1，f2，…，fk〉。 代數系統也稱作代數結構。代數系統包括半群、群、 環、域和格等。下面用Z、Q、R和C分別表示整 數集合、有理數集合、實數集合和複數集合。
二元運算的性質
在代數系統中常將一元運算f(a)記為*a，二元 運算f(a，b)記為a*b。設·與*為非空集合S上的二 元運算。①冪等律： 若∀a∈S，a*a=a， 則稱*滿足冪 等律。 ②交換律： 若∀a， b∈S， a*b=b*a， 則稱*滿 足交換律。 ③結合律： 若∀a， b， c∈S， a*(b*c)=(a*b)*c，則稱*滿足結合律。④分配律： 若∀a， b， c∈S， a·(b*c)=(a·b)*(a·c)且(b*c)·a=(b·a)* (c·a)，稱·對*滿足分配律。⑤吸收律： 若·與*滿足 交換律且∀a， b∈S， a*(a·b)=a， a·(a*b)=a， 則稱· 與*滿足吸收律。例如，集合的並、交運算滿足冪等 律、交換律、結合律，並對交和交對並滿足分配律， 並與交滿足吸收律; 實數集合上的加法、乘法都滿 足交換律和結合律，但不滿足冪等律。乘法對加法 滿足分配律，但加法對乘法不滿足分配律，加法與 乘法不滿足吸收律; 矩陣乘法滿足結合律，但不滿 足交換律。
二元運算的特異常數
設*為集合S上的二元運算。①單位元：設e∈S， 若∀a∈S， e*a=a*e=a，則稱e為S關於運算*的單位 元。 ②零元： 設θ∈S， 若∀a∈S， θ*a=a*θ=θ， 則 稱θ為S關於運算*的零元。③逆元：設*為S上的二 元運算，e為單位元，a∈S，若存在b∈S使得 b*a=a*b=e，則稱b為a關於運算*的逆元，常記作 a。此時又稱a是可逆的。例如，在實數集合上， 0是關於加法的單位元，而1是關於乘法的單位元。 0是關於乘法的零元。對任意的z，z關於加法的逆 元為-z： 當z≠0時，z關於乘法的逆元為1/z。
群論
群論是一種重要的代數系統。
半群： 若G上的二元運算*滿足結合律，則稱 代數系統〈G，*〉為半群。
獨異點： 有單位元的半群。
群： 每個元素都可逆的獨異點，即群是滿足下 述3個條件的代數系統〈G，*〉： ①二元運算*滿 足結合律， ∀a， b， c∈G， a*(b*c)=(a*b)*c; ②G有 單位元e，∀a∈G， a*e=a*e=a;③G的每一個元素a 有逆元a-1，a*a-1=a-1*a=e。群〈G，*〉可簡記為G。 例如，任一集合S的冪集P(S)關於並(交)運算構成 獨異點， 其中空集∅(集合S)是單位元; 設∑是一非 空集合，∑*是∑中有限長字元串的全體， “○”表示 兩個字元串的連線，如abaobba=ababba，則〈Σ*，○〉是一個獨異點， 其中空串是單位元;整數集合關 於加法構成一個群，稱作整數加法群，類似地還有 有理數加法群、實數加法群;設n是正整數，記 Zn={0，1，…，n-1}，Z*={1，2，…，n-1}，定 義模n加法⨁和模n乘法⨂如下：∀x，y∈Zn， x⨁y= (x+y)mod n，x⨂y=xy mod n，則〈Zn，⨁〉是群， 稱 作模n加法群; 〈Z*，⨂〉是獨異點;當n為素數時， 〈Z*， ⨂〉是群， 稱作模n乘法群。
子群： 設〈G， *〉， H⊆G是一非空集合， 若〈H， *〉構成一個群，則稱H是G的子群。例如，有理數 加法群是實數加法群的子群，整數加法群是有理數 加法群的子群、也是實數加法群的子群。
有限群與無限群： 只有有限個元素的群稱為有 限群，否則稱為無限群。有n個元素的有限群稱作 n階群。例如，模n加法群是n階有限群，整數加 法群是無限群。n階群的子群的階必是n的因子。
交換群： 運算是可交換的群，又稱阿貝爾群。 例如，整數加法群是交換群; 全體n階可逆矩陣關 於矩陣乘法構成群，它不是交換群。在群中，a*b 常簡記作ab，n個a的運算a*a*…*a記作an，稱作 a的n次冪，規定a0=e。
在群中，①滿足消去律，即若ab=ac(或ba=ca)， 則b=c; ②方程ax=b和xa=b均有唯一解，它們的 解分別為x=a-1b和x=ba-1。
循環群： 一類最簡單且套用廣泛的群。若群G 的每一個元素都可以表示成某個元素a的冪，則稱 G是循環群，a是G的生成元，記做G=〈a〉。n階 循環群可表示成{e，a，a2，…，an-1}，無限循環群 可表示成{e，a，+，an，…}。例如，整數加法群 是無限循環群，有兩個生成元1和-1;模n加法群 是循環群，1是一個生成元，還可能有其他的生成 元。如模10加法群有4個生成元1，3，7和9。循 環群都是交換群，循環群的子群都是循環群。
環和域
在非空集合S上定義兩個二元運算+和·(分別 稱為“加法”和“乘法”)。若代數系統〈S，+〉是 交換群，〈Z，·〉是半群，且·對+滿足分配律，即① 加法+滿足結合律和交換律，有單位元0，每一個 元素都有逆元; ②乘法·滿足結合律; ③·對+滿足 分配律， ∀a， b∈S， a·(b+c)=(a·b)+(a·c)， (b+c)·a= (b·a)+(c·a)，則稱代數系統〈S，+，·〉為一個環。在 環中，加法的單位元0常稱為零元，a的加法逆元 稱作負元，記作-a。乘法可交換的環稱作交換環。
設〈S，+，·〉是一個環。如果乘法·有單位元、 是可交換的， 且∀a， b∈S， a≠0且b≠0蘊涵ab≠0， 則稱〈S，+，·〉是整環。如果〈S*，·〉也構成群，其 中S*=S-{0}，則稱〈S，+，·〉是除環。乘法·是可 交換的除環稱作域。
例如，有理數集、實數集和複數集關於加法和 乘法都構成域，分別稱為有理數域、實數域、複數 域。整數集關於加法和乘法構成整環。對任意的整 數n≥2， 〈Zn， ⨁， ⨂〉是環; 當n是素數時， 〈Zn，⨁， ⨁〉是域。
