上海大学-高等数学-环与域 * 环与域 环的定义与实例 环的运算性质 子环及其判别 环的同态 整环与域 * 环的定义 定义14.24 设是代数系统,+和·是二元运算. 如果满足以下条件: (1) 构成交换群, (2) 构成半群, (3) ·运算关于+运算适合分配律, 则称是一个环. 为了叙述的方便,通常称+运算为环中的加法,·运算为环中的乘法. 环中加法单位元记作0,乘法单位元(如果存在)记作1. 对任何元素x,称x的加法逆元为负元,记作x. 若x存在乘法逆元的话,则称之为逆元,记作x1. 因...
,其中P(B)是集合B的幂集.
(2) 是具有两个二元运算的代数系统,若 * 和∘运算满足交换、结合、吸收律,则可以适当定义 S 上偏序 ≼,使得 构成格,且导出的代数系统就是.
证明思路
利用运算 ∘ 或 * 定义 S 上的二元关系 R
证明 R 为 S 上的偏序,证明构成格
(2) 证明对于格中任意两个元素x,y
xy = x∘ y, xy = x*y
*
格的等价定义
定义14.31 设