[离散数学第十二章代数结构基本概念及性质.pptVIP

第十二章 代数结构概念及性质 12.1 代数结构的定义与例 12.2 代数结构的基本性质 12.3 同态与同构 12.4 同余关系 12.5 商代数 12.6 积代数 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 12.1 代数结构的定义与例 在正式给出代数结构的定义之前，先来说明什么是在一个集合上的运算，因为运算这个概念是代数结构中不可缺少的基本概念。 定义12.1.1 设S是个非空集合且函数 或 f : Sn →S，则称 f 为一个n元运算。其中n是自然数，称为运算的元数或阶。当n=1时，称f为一元运算，当n=2时，称f为二元运算，等等。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 注意，n元运算首先是一个函数，其次是个闭运算(所谓闭运算是指：集合上的运算，其运算结果都在原来的集合中，我们把具有这种特征的运算称作封闭的，简称闭运算)。封闭性表明了n元运算与一般函数的区别之处。此外，有些运算存在幺元或零元，它在运算中起着特殊的作用，称它为S中的特异元或常数。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 运算的例子很多，例如，在数理逻辑中，否定是谓词集合上的一元运算，合取和析取是谓词集合上的二元运算；在集合论中，并与交是集合上的二元运算；在整数算术中，加、减、乘运算是二元运算，而除运算便不是二元运算，因为它不满足封闭性。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 在下面讨论的代数结构中，主要限于一元和二元运算，将用、┐或ˉ等符号表示一元运算符；用、、⊙、○、∧、∨、∩、∪等表示二元运算符，一元运算符常常习惯于前置、顶置或肩置，如┐x、 、x；而二元运算符习惯于前置、中置或后置，如：+xy，x+y，xy+。 有了集合上运算的概念后，便可定义代数结构了。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义12.1.2 设S是个非空集合且fi是S上的ni元运算，其中i=1，2，…，m。由S及f1，f2，…，fm组成的结构，称为代数结构，记作S，f1，f2，…，fm。 例：设Z是整数集， “＋”是Z上的普通加法运算，则Z，＋是一个代数结构。 例：设R是实数集 ，“＋”与“×”是实数集R上的普通加法和乘法运算，则R,＋,×是一个代数结构。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例：我们可以构造下述的一个代数结构： 设有一个由有限个字母组成的集合∑ ，叫字母表，在∑上任意长的字母串，叫做∑上句子或字符串，串中字母的个数m叫这个串的长度，我们假定当一个字的长度m=0时用符号表示，它叫做空串。这样我们可以构造一个在∑上的所有串的集合∑*。 其次，我们定义一个在∑*上的运算“//”——并置运算或者连接运算，设， ∑*，则 //＝。通过并置运算将两个串联成一个新的串，而此联成的新串也在∑*内，这样构造的∑*，// 是一个代数结构 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client