代数系统理论

数学系统理论分支

代数系统理论(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,⨁, ⨁〉是域。
全国各地天气预报查询

上海市

  • 市辖区
  • 云南省

  • 临沧市
  • 云南省

  • 丽江市
  • 云南省

  • 保山市
  • 云南省

  • 大理白族自治州
  • 云南省

  • 德宏傣族景颇族自治州
  • 云南省

  • 怒江傈僳族自治州
  • 云南省

  • 文山壮族苗族自治州
  • 云南省

  • 昆明市
  • 云南省

  • 昭通市
  • 云南省

  • 普洱市
  • 云南省

  • 曲靖市
  • 云南省

  • 楚雄彝族自治州
  • 云南省

  • 玉溪市
  • 云南省

  • 红河哈尼族彝族自治州
  • 云南省

  • 西双版纳傣族自治州
  • 云南省

  • 迪庆藏族自治州
  • 内蒙古自治区

  • 乌兰察布市
  • 内蒙古自治区

  • 乌海市
  • 内蒙古自治区

  • 兴安盟
  • 内蒙古自治区

  • 包头市
  • 内蒙古自治区

  • 呼伦贝尔市
  • 内蒙古自治区

  • 呼和浩特市
  • 内蒙古自治区

  • 巴彦淖尔市
  • 内蒙古自治区

  • 赤峰市
  • 内蒙古自治区

  • 通辽市
  • 内蒙古自治区

  • 鄂尔多斯市
  • 内蒙古自治区

  • 锡林郭勒盟
  • 内蒙古自治区

  • 阿拉善盟
  • 北京市

  • 市辖区
  • 吉林省

  • 吉林市
  • 吉林省

  • 四平市
  • 吉林省

  • 延边朝鲜族自治州
  • 吉林省

  • 松原市
  • 吉林省

  • 白城市
  • 吉林省

  • 白山市
  • 吉林省

  • 辽源市
  • 吉林省

  • 通化市
  • 吉林省

  • 长春市
  • 四川省

  • 乐山市
  • 四川省

  • 内江市
  • 四川省

  • 凉山彝族自治州
  • 四川省

  • 南充市
  • 四川省

  • 宜宾市
  • 四川省

  • 巴中市
  • 四川省

  • 广元市
  • 四川省

  • 广安市
  • 四川省

  • 德阳市
  • 四川省

  • 成都市
  • 四川省

  • 攀枝花市
  • 四川省

  • 泸州市
  • 四川省

  • 甘孜藏族自治州
  • 四川省

  • 眉山市
  • 四川省

  • 绵阳市
  • 四川省

  • 自贡市
  • 四川省

  • 资阳市
  • 四川省

  • 达州市
  • 四川省

  • 遂宁市
  • 四川省

  • 阿坝藏族羌族自治州
  • 四川省

  • 雅安市
  • 天津市

  • 市辖区
  • 宁夏回族自治区

  • 中卫市
  • 宁夏回族自治区

  • 吴忠市
  • 宁夏回族自治区

  • 固原市
  • 宁夏回族自治区

  • 石嘴山市
  • 宁夏回族自治区

  • 银川市
  • 安徽省

  • 亳州市
  • 安徽省

  • 六安市
  • 安徽省

  • 合肥市
  • 安徽省

  • 安庆市
  • 安徽省

  • 宣城市
  • 安徽省

  • 宿州市
  • 安徽省

  • 池州市
  • 安徽省

  • 淮北市
  • 安徽省

  • 淮南市
  • 安徽省

  • 滁州市
  • 安徽省

  • 芜湖市
  • 安徽省

  • 蚌埠市
  • 安徽省

  • 铜陵市
  • 安徽省

  • 阜阳市
  • 安徽省

  • 马鞍山市
  • 安徽省

  • 黄山市
  • 山东省

  • 东营市
  • 山东省

  • 临沂市
  • 山东省

  • 威海市
  • 山东省

  • 德州市
  • 山东省

  • 日照市
  • 山东省

  • 枣庄市
  • 山东省

  • 泰安市
  • 山东省

  • 济南市
  • 山东省

  • 济宁市
  • 山东省

  • 淄博市
  • 山东省

  • 滨州市
  • 山东省

  • 潍坊市
  • 山东省

  • 烟台市
  • 山东省

  • 聊城市
  • 山东省

  • 菏泽市
  • 山东省

  • 青岛市
  • 山西省

  • 临汾市
  • 山西省

  • 吕梁市
  • 山西省

  • 大同市
  • 山西省

  • 太原市
  • 山西省

  • 忻州市
  • 山西省

  • 晋中市
  • 山西省

  • 晋城市
  • 山西省

  • 朔州市
  • 山西省

  • 运城市
  • 山西省

  • 长治市
  • 山西省

  • 阳泉市
  • 广东省

  • 东莞市
  • 广东省

  • 中山市
  • 广东省

  • 云浮市
  • 广东省

  • 佛山市
  • 广东省

  • 广州市
  • 广东省

  • 惠州市
  • 广东省

  • 揭阳市
  • 广东省

  • 梅州市
  • 广东省

  • 汕头市
  • 广东省

  • 汕尾市
  • 广东省

  • 江门市
  • 广东省

  • 河源市
  • 广东省

  • 深圳市
  • 广东省

  • 清远市
  • 广东省

  • 湛江市
  • 广东省

  • 潮州市
  • 广东省

  • 珠海市
  • 广东省

  • 肇庆市
  • 广东省

  • 茂名市
  • 广东省

  • 阳江市
  • 广东省

  • 韶关市
  • 广西壮族自治区

  • 北海市
  • 广西壮族自治区

  • 南宁市
  • 广西壮族自治区

  • 崇左市
  • 广西壮族自治区

  • 来宾市
  • 广西壮族自治区

  • 柳州市
  • 广西壮族自治区

  • 桂林市
  • 广西壮族自治区

  • 梧州市
  • 广西壮族自治区

  • 河池市
  • 广西壮族自治区

  • 玉林市
  • 广西壮族自治区

  • 百色市
  • 广西壮族自治区

  • 贵港市
  • 广西壮族自治区

  • 贺州市
  • 广西壮族自治区

  • 钦州市
  • 广西壮族自治区

  • 防城港市
  • 新疆维吾尔自治区

  • 乌鲁木齐市
  • 新疆维吾尔自治区

  • 伊犁哈萨克自治州
  • 新疆维吾尔自治区

  • 克孜勒苏柯尔克孜自治州
  • 新疆维吾尔自治区

  • 克拉玛依市
  • 新疆维吾尔自治区

  • 博尔塔拉蒙古自治州
  • 新疆维吾尔自治区

  • 吐鲁番市
  • 新疆维吾尔自治区

  • 和田地区
  • 新疆维吾尔自治区

  • 哈密市
  • 新疆维吾尔自治区

  • 喀什地区
  • 新疆维吾尔自治区

  • 塔城地区
  • 新疆维吾尔自治区

  • 巴音郭楞蒙古自治州
  • 新疆维吾尔自治区

  • 昌吉回族自治州
  • 新疆维吾尔自治区

  • 自治区直辖县级行政区划
  • 新疆维吾尔自治区

  • 阿克苏地区
  • 新疆维吾尔自治区

  • 阿勒泰地区
  • 江苏省

  • 南京市
  • 江苏省

  • 南通市
  • 江苏省

  • 宿迁市
  • 江苏省

  • 常州市
  • 江苏省

  • 徐州市
  • 江苏省

  • 扬州市
  • 江苏省

  • 无锡市
  • 江苏省

  • 泰州市
  • 江苏省

  • 淮安市
  • 江苏省

  • 盐城市
  • 江苏省

  • 苏州市
  • 江苏省

  • 连云港市
  • 江苏省

  • 镇江市
  • 江西省

  • 上饶市
  • 江西省

  • 九江市
  • 江西省

  • 南昌市
  • 江西省

  • 吉安市
  • 江西省

  • 宜春市
  • 江西省

  • 抚州市
  • 江西省

  • 新余市
  • 江西省

  • 景德镇市
  • 江西省

  • 萍乡市
  • 江西省

  • 赣州市
  • 江西省

  • 鹰潭市
  • 河北省

  • 保定市
  • 河北省

  • 唐山市
  • 河北省

  • 廊坊市
  • 河北省

  • 张家口市
  • 河北省

  • 承德市
  • 河北省

  • 沧州市
  • 河北省

  • 石家庄市
  • 河北省

  • 秦皇岛市
  • 河北省

  • 衡水市
  • 河北省

  • 邢台市
  • 河北省

  • 邯郸市
  • 河南省

  • 三门峡市
  • 河南省

  • 信阳市
  • 河南省

  • 南阳市
  • 河南省

  • 周口市
  • 河南省

  • 商丘市
  • 河南省

  • 安阳市
  • 河南省

  • 平顶山市
  • 河南省

  • 开封市
  • 河南省

  • 新乡市
  • 河南省

  • 洛阳市
  • 河南省

  • 漯河市
  • 河南省

  • 濮阳市
  • 河南省

  • 焦作市
  • 河南省

  • 省直辖县级行政区划
  • 河南省

  • 许昌市
  • 河南省

  • 郑州市
  • 河南省

  • 驻马店市
  • 河南省

  • 鹤壁市
  • 浙江省

  • 丽水市
  • 浙江省

  • 台州市
  • 浙江省

  • 嘉兴市
  • 浙江省

  • 宁波市
  • 浙江省

  • 杭州市
  • 浙江省

  • 温州市
  • 浙江省

  • 湖州市
  • 浙江省

  • 绍兴市
  • 浙江省

  • 舟山市
  • 浙江省

  • 衢州市
  • 浙江省

  • 金华市
  • 海南省

  • 三亚市
  • 海南省

  • 三沙市
  • 海南省

  • 儋州市
  • 海南省

  • 海口市
  • 海南省

  • 省直辖县级行政区划
  • 湖北省

  • 十堰市
  • 湖北省

  • 咸宁市
  • 湖北省

  • 孝感市
  • 湖北省

  • 宜昌市
  • 湖北省

  • 恩施土家族苗族自治州
  • 湖北省

  • 武汉市
  • 湖北省

  • 省直辖县级行政区划
  • 湖北省

  • 荆州市
  • 湖北省

  • 荆门市
  • 湖北省

  • 襄阳市
  • 湖北省

  • 鄂州市
  • 湖北省

  • 随州市
  • 湖北省

  • 黄冈市
  • 湖北省

  • 黄石市
  • 湖南省

  • 娄底市
  • 湖南省

  • 岳阳市
  • 湖南省

  • 常德市
  • 湖南省

  • 张家界市
  • 湖南省

  • 怀化市
  • 湖南省

  • 株洲市
  • 湖南省

  • 永州市
  • 湖南省

  • 湘潭市
  • 湖南省

  • 湘西土家族苗族自治州
  • 湖南省

  • 益阳市
  • 湖南省

  • 衡阳市
  • 湖南省

  • 邵阳市
  • 湖南省

  • 郴州市
  • 湖南省

  • 长沙市
  • 甘肃省

  • 临夏回族自治州
  • 甘肃省

  • 兰州市
  • 甘肃省

  • 嘉峪关市
  • 甘肃省

  • 天水市
  • 甘肃省

  • 定西市
  • 甘肃省

  • 平凉市
  • 甘肃省

  • 庆阳市
  • 甘肃省

  • 张掖市
  • 甘肃省

  • 武威市
  • 甘肃省

  • 甘南藏族自治州
  • 甘肃省

  • 白银市
  • 甘肃省

  • 酒泉市
  • 甘肃省

  • 金昌市
  • 甘肃省

  • 陇南市
  • 福建省

  • 三明市
  • 福建省

  • 南平市
  • 福建省

  • 厦门市
  • 福建省

  • 宁德市
  • 福建省

  • 泉州市
  • 福建省

  • 漳州市
  • 福建省

  • 福州市
  • 福建省

  • 莆田市
  • 福建省

  • 龙岩市
  • 西藏自治区

  • 山南市
  • 西藏自治区

  • 拉萨市
  • 西藏自治区

  • 日喀则市
  • 西藏自治区

  • 昌都市
  • 西藏自治区

  • 林芝市
  • 西藏自治区

  • 那曲市
  • 西藏自治区

  • 阿里地区
  • 贵州省

  • 六盘水市
  • 贵州省

  • 安顺市
  • 贵州省

  • 毕节市
  • 贵州省

  • 贵阳市
  • 贵州省

  • 遵义市
  • 贵州省

  • 铜仁市
  • 贵州省

  • 黔东南苗族侗族自治州
  • 贵州省

  • 黔南布依族苗族自治州
  • 贵州省

  • 黔西南布依族苗族自治州
  • 辽宁省

  • 丹东市
  • 辽宁省

  • 大连市
  • 辽宁省

  • 抚顺市
  • 辽宁省

  • 朝阳市
  • 辽宁省

  • 本溪市
  • 辽宁省

  • 沈阳市
  • 辽宁省

  • 盘锦市
  • 辽宁省

  • 营口市
  • 辽宁省

  • 葫芦岛市
  • 辽宁省

  • 辽阳市
  • 辽宁省

  • 铁岭市
  • 辽宁省

  • 锦州市
  • 辽宁省

  • 阜新市
  • 辽宁省

  • 鞍山市
  • 重庆市

  • 重庆市

  • 市辖区
  • 陕西省

  • 咸阳市
  • 陕西省

  • 商洛市
  • 陕西省

  • 安康市
  • 陕西省

  • 宝鸡市
  • 陕西省

  • 延安市
  • 陕西省

  • 榆林市
  • 陕西省

  • 汉中市
  • 陕西省

  • 渭南市
  • 陕西省

  • 西安市
  • 陕西省

  • 铜川市
  • 青海省

  • 果洛藏族自治州
  • 青海省

  • 海东市
  • 青海省

  • 海北藏族自治州
  • 青海省

  • 海南藏族自治州
  • 青海省

  • 海西蒙古族藏族自治州
  • 青海省

  • 玉树藏族自治州
  • 青海省

  • 西宁市
  • 青海省

  • 黄南藏族自治州
  • 黑龙江省

  • 七台河市
  • 黑龙江省

  • 伊春市
  • 黑龙江省

  • 佳木斯市
  • 黑龙江省

  • 双鸭山市
  • 黑龙江省

  • 哈尔滨市
  • 黑龙江省

  • 大兴安岭地区
  • 黑龙江省

  • 大庆市
  • 黑龙江省

  • 牡丹江市
  • 黑龙江省

  • 绥化市
  • 黑龙江省

  • 鸡西市
  • 黑龙江省

  • 鹤岗市
  • 黑龙江省

  • 黑河市
  • 黑龙江省

  • 齐齐哈尔市