《离散数学第六章代数系统.pptVIP

性质9 可约率与可约元 给定S，⊙且零元θ∈S，则 ⊙满足左可约律或是左可约的：(?x)(?y)(?z)((x，y，z∈S∧x ≠ θ∧x⊙y = x⊙z) → y = z)，并称x是关于⊙的左可约元。 ⊙满足右可约律或是右可约的：(?x)(?y)(?z)((x，y，z∈S∧x ≠ θ∧y⊙x = z ⊙x)→ y = z)，并称x是关于⊙的右可约元。 若⊙既满足左可约律又满足右可约律或⊙既是左可约又是右可约的，则称⊙满足可约律或⊙是可约的。 若x既是关于⊙的左可约元又是关于⊙的右可约元，则称x是关于⊙的可约元。 6.2 代数系统的基本性质 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 可约律与可约元也可形式地定义如下： ⊙满足可约律：(?x)(?y)(?z)(x，y，z∈S∧x ≠ θ∧((x⊙y = x⊙z∨y⊙x = z⊙x)→y = z)) 给定S，⊙且零元θ，x∈S。x是关于⊙的可约元：(?y)(?z)(y，z∈S∧x ≠ θ∧((x⊙y)= x⊙z∨y⊙x = z⊙x)→ y = z))。 6.2 代数系统的基本性质 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 例6.24 给定Z，×，其中Z 是整数集合，×是一般乘法运算。显然，每个非零整数都是可约元，而且运算×满足可约律。 定理6.9 给定S，*且*是可结合的，如果x是关于*可逆的且x ≠ θ，则x也是关于*的可约元。 6.2 代数系统的基本性质 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 最后，作一补充说明，用运算表定义一代数结构的运算，从表上能很好地反映出关于运算的各种性质。为确定起见，假定S，*及x，y，θ，e∈S。 (1)运算*具有封闭性，当且仅当表中的每个元素都属于S。 (2)运算*满足交换律，当且仅当表关于主对角线是对称的。 (3)运算*是等幂的，当且仅当表的主对角线上的每个元素与所在行或列表头元素相同 (4)元素x是关于*的左零元，当且仅当x所对应的行中的每个元素都与x相同；元素y是关于*的右零元，当且仅当y所对应的列中的每个元素都与y相同；元素θ是关于*的零元，当且仅当θ所对应的行和列中的每个元素都与θ相同。 6.2 代数系统的基本性质 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. (5)元素x为关于*的左幺元，当且仅当x所对应的行中元素依次与行表头元素相同；元素y为关于*的右幺元，当且仅当y所对应的列中元素依次与列表头元素相同；元素e是关于*的幺元，当且仅当e所对应的行和列中元素分别依次地与行表头元素和列表头元素相同。 (6)x为关于*的左逆元，当且仅当位于x所在行的元素中至少存在一个幺元，y为关于*的右逆元，当且仅当位于y所在列的元素中至少存在一个幺元；x与y互为逆元，当且仅当位于x所在行和y所在列的元素以及y所在行和x所在列的元素都是幺元。 6.2 代数系统的基本性质 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 6.2 代数系统的基本性质 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. PART 01 PART 02 PART 03 代数系统的一般概念 代数系统的基本性质 同态与同构 PART 04 代数系统实例 PART 05 同余、商代数、积代数 Evaluation only. Created with Aspose.Slides