DOCSLIB.ORG

A Little Group Theory • the Element B in (3) Is Unique: Suppose

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Little Group Theory • the Element B in (3) Is Unique: Suppose Part 3. 1 Part 3. 2 A Little Group Theory • The element b in (3) is unique: Suppose • A Group is a set G equipped with a ab = ba = e binary operation G × G:(a, b) 7→ ab such ab0 = b0a = e that the following properties hold. Then 1. a(bc) = a(bc). (Associative Law) b0ab = (b0a)b = eb = b 2. The is an e ∈ G such that ea = ae = a b0ab = b0(ab) = b0e = b0 for all a ∈ G. (Existence of identity) 0 3. For every a ∈ G there is a b ∈ G such so b = b. This unique element is −1 that ab = T BA = e. (Existence of denoted b . inverses) • A subset H ⊆ G is a subgroup of G if it is a group under the binary operation of • There is only one identity element: G, i.e., Suppose ea = ae = a and e0a = ae0 = a for all a ∈ G. Then e = ee0 = e0. 1. e ∈ H 2. a, b ∈ H =⇒ ab ∈ H. 3. a ∈ H =⇒ a−1 ∈ H • If H1 and H2 are subgroups of G, so is H1 ∩ H2. • We write H ≤ G to indicate that H is a subgroup of G. Part 3. 3 Part 3. 4 • G ⊆ G and { e } ⊆ G are subgroups. • If a ∈ G then hai is a subgroup. It’s clear that • If S ⊆ G, the set { H | H ≤ G, H ⊇ S } is non-empty because it contains G. Set hai = { an | n = 0, ±1, ±2,... }. \ (By definition a0 = e and a−k for k > 0 hSi = { H | H ≤ G, H ⊇ S } means (a−1)k.) Then hSi is a subgroup of G. It is the There are two possibilities: Either all of smallest subgroup of G that contains S, the powers an are distinct, or two of i.e., S ⊆ hGi and if H ≤ G and H ⊇ S, them are the same. Suppose am = an then hSi ⊆ H. The subgroup hSi is and choose the notation so that m > n. called the subgroup of G generated by Then m = n + k where k > 0. Then S. If hSi = G, we say that S generates an = am = an+k = anak, so an = anak. G. Multiplying this equation on the left by a−n gives ak = e. Thus, some power of a is the identity. Let p be the smallest positive integer so that ap = e. We call p the order of a, denoted by o(a). In this case, hai is finite, namely hai = { e, a, a2, . , ap−1 }. • A group G is cyclic if G = hai for some a ∈ G. We say a is a generator of G. Part 3. 5 Part 3. 6 Equivalence Relations Suppose x ∼ y. Let z be an element of [x]. Then z ∼ x; combining this with • Let X be a nonempty set. A relation ∼ x ∼ y we get z ∼ y. Thus, z ∈ [y]. This on X is an equivalence relation if it shows [x] ⊆ [y]. Similarly, [y] ⊆ [x], so satisfies the following properties. [x] = [y]. 1. x ∼ x for all x ∈ X. (Reflexive) Suppose that [x] ∩ [y] 6= ∅. Then there is 2. x ∼ y =⇒ y ∼ x. (Symmetric) some z ∈ [x] ∩ [y]. But this means that 3. x ∼ y, y ∼ z =⇒ x ∼ z. (Transitive) z ∼ x and z ∼ y. But then x ∼ y, so [x] = [y]. • If x ∈ X we define [x], the equivalence class of x by Each x ∈ X is in some equivalence class (namely [x]) and the equivalence classes [x] = { y | y ∼ x }. are disjoint, so we have X described as a union of a collection of disjoint Since x ∼ x, x ∈ [x]. subsets. That’s what it means to • Proposition partition X. 1. [x] = [y] if and only if x ∼ y. 2. Either [x] = [y] or [x] ∩ [y] = ∅. 3. The equivalence classes partition X. • Proof: If [x] = [y] then x ∈ [x] = [y], so x ∈ [y]. By the definition of [y], x ∼ y. Part 3. 7 Part 3. 8 Cosets This is called the left coset of a modulo H. Thus, G is the disjoint union of the • Let H be a subgroup of G. Define a left cosets. The collection of left cosets relation ∼ on G by a ∼ b if there is some modulo H is called G/H. h ∈ H so that ah = b. We claim this is an equivalence relation. • We can similarly define a relation ∼ by a ∼ b if there is an element h of H so If a ∈ G then ae = a and e ∈ H so a ∼ a. that ha = b. The equivalence class of a Suppose that a ∼ b. Then there is some with respect to this relation is [a] = Ha, h ∈ H so that ah = b. Multiplying this which is called the right coset of a equation on the right by h−1 gives modulo H. The collection of right bh−1 = ahh−1 = ae = a. Since h−1 ∈ H, cosets is called H \ G. b ∼ a. Suppose that a ∼ b and b ∼ c. Then • A group is called finite if it has only finitely many elements. there are elements h1, h2 ∈ H such that ah1 = b and bh2 = c. Multiply the • |X| denotes the number of elements in equation ah1 = b on the right by h2. X. If G is a group, |G| is often called This gives ah1h2 = bh2 = c. Thus, the order of G. ah1h2 = c. Since h1h2 ∈ H, we get a ∼ c. • What is [a]? [a] = { ah | h ∈ H } = aH. Part 3. 9 Part 3. 10 • Let G be a group and H a finite • It’s possible that G/H is finite even if G subgroup. We can define a 1-1 and and H are infinite. The number of onto map f : H → aH by f(h) = ah. elements in G/H is often denoted Thus, H and aH are in 1-1 [G : H], called the index of H in G. correspondence, so |aH| = |H|, i.e., An Example every left coset has the same number of elements as H. Similarly, every right • Let Z = { 0, ±1, ±2, ±3 ... } be the set of coset has the same number of elements integers. This is a group under the as H. operation of addition. In this case the group is commutative. • Lagrange’s Theorem Let G be a finite group and let H be a subgroup. Then • Let n be a positive integer and write nZ = { nk | k ∈ Z } = { 0, ±n, ±2n, ±3n, . }, |G/H| |H| = |G|. i.e., nZ is the set of all multiples of n. It In particular, |H| divides |G| and should be easy to see that nZ is a subgroup of . |G| Z |G/H| = . |H| • Since Z is commutative, there’s really no difference between right and left Similarly, cosets. The relation for the cosets is |G| a ∼ b if there is an h ∈ n so that |H \ G| = . Z |H| a + h = b. In other words b − a = nk for Part 3. 11 Part 3. 12 some k ∈ Z. Another way to say it then this: If [r0] = [r] and [s0] = [s], is it true is that a ∼ b if b − a is divisible by n. that [r0 + s0] = [r + s]? If not, we would The equivalence class of a is get a different answer for the sum of two cosets depending on which [a] = a + nZ = { a + nk | k ∈ Z }. elements of the cosets we choose to The set of equivalence classes is represent them. denoted by Z/nZ (read “ Z mod n Z”) Fortunately, the required property holds. or Zn (read “Z mod n”). The distance If [r0] = [r] then r0 ∼ r, equivalently, elements of can be listed as 0 0 Zn r ∼ r , so r = r + nk for some k ∈ Z. 0 0 [0], [1], [2],..., [n − 1], Similarly, if [s ] = [s], then s = s + n` for some ` ∈ Z. But then for k ∈ Z, [k] must be one of the elements of the above list. (How do you r0 + s0 = r + nk + s + n` = (r + s) + n(k + `). determine which one?) Since k + ` ∈ Z, this shows that • We show that Zn can be made into a (r0 + s0) ∼ (r + s) so [r0 + s0] = [r + s]. group by defining the group operation Now that the operation makes sense, by the group properties follow easily form [r] + [s] = [r + s], r, s ∈ Z. the group properties of Z. The main point is to show that this definition makes sense! The problem is Part 3. 13 Part 3. 14 For example, for a, b, c ∈ Z, Normal Subgroups [a] + ([b] + [c]) = [a] + [b + c] • In the case of a noncommutative group, an additional condition is required to = [a + (b + c)] make G/H a group. = [(a + b) + c] • Let G be a group and H an subgroup. = [a + b] + [c] If g ∈ G, we define = ([a] + [b]) + [c], g−1Hg = { g−1hg | h ∈ H }. where we have used the associative law for Z. Thus Zn is associative. • H is called a normal subgroup of G if We have [0] + [a] = [0 + a] = [a], so [0] is −1 the identity element. g Hg ⊆ H, for all g ∈ G. We then have [a] + [−a] = [a + (−a)] = [0], We write H E G to indicate H is a so [−a] is the inverse of [a]. normal subgroup of G. Part 3. 15 Part 3. 16 • If H E G, then gH = Hg for all g ∈ G, • If H is a normal subgroup of G, the i.e., there’s no difference between the collection of cosets G/H can be made left coset and the right coset.
Load more

Recommended publications
  • Filtering Germs: Groupoids Associated to Inverse Semigroups
    FILTERING GERMS: GROUPOIDS ASSOCIATED TO INVERSE SEMIGROUPS BECKY ARMSTRONG, LISA ORLOFF CLARK, ASTRID AN HUEF, MALCOLM JONES, AND YING-FEN LIN Abstract. We investigate various groupoids associated to an arbitrary inverse semigroup with zero. We show that the groupoid of filters with respect to the natural partial order is isomorphic to the groupoid of germs arising from the standard action of the inverse semigroup on the space of idempotent filters. We also investigate the restriction of this isomorphism to the groupoid of tight filters and to the groupoid of ultrafilters. 1. Introduction An inverse semigroup is a set S endowed with an associative binary operation such that for each a 2 S, there is a unique a∗ 2 S, called the inverse of a, satisfying aa∗a = a and a∗aa∗ = a∗: The study of ´etalegroupoids associated to inverse semigroups was initiated by Renault [Ren80, Remark III.2.4]. We consider two well known groupoid constructions: the filter approach and the germ approach, and we show that the two approaches yield isomorphic groupoids. Every inverse semigroup has a natural partial order, and a filter is a nonempty down-directed up-set with respect to this order. The filter approach to groupoid construction first appeared in [Len08], and was later simplified in [LMS13]. Work in this area is ongoing; see for instance, [Bic21, BC20, Cas20]. Every inverse semigroup acts on the filters of its subsemigroup of idempotents. The groupoid of germs associated to an inverse semigroup encodes this action. Paterson pioneered the germ approach in [Pat99] with the introduction of the universal groupoid of an inverse semigroup.
    [Show full text]
  • Relations on Semigroups
    International Journal for Research in Engineering Application & Management (IJREAM) ISSN : 2454-9150 Vol-04, Issue-09, Dec 2018 Relations on Semigroups 1D.D.Padma Priya, 2G.Shobhalatha, 3U.Nagireddy, 4R.Bhuvana Vijaya 1 Sr.Assistant Professor, Department of Mathematics, New Horizon College Of Engineering, Bangalore, India, Research scholar, Department of Mathematics, JNTUA- Anantapuram [email protected] 2Professor, Department of Mathematics, SKU-Anantapuram, India, [email protected] 3Assistant Professor, Rayalaseema University, Kurnool, India, [email protected] 4Associate Professor, Department of Mathematics, JNTUA- Anantapuram, India, [email protected] Abstract: Equivalence relations play a vital role in the study of quotient structures of different algebraic structures. Semigroups being one of the algebraic structures are sets with associative binary operation defined on them. Semigroup theory is one of such subject to determine and analyze equivalence relations in the sense that it could be easily understood. This paper contains the quotient structures of semigroups by extending equivalence relations as congruences. We define different types of relations on the semigroups and prove they are equivalence, partial order, congruence or weakly separative congruence relations. Keywords: Semigroup, binary relation, Equivalence and congruence relations. I. INTRODUCTION [1,2,3 and 4] Algebraic structures play a prominent role in mathematics with wide range of applications in science and engineering. A semigroup
    [Show full text]
  • Math 296. Homework 3 (Due Jan 28) 1
    Math 296. Homework 3 (due Jan 28) 1. Equivalence Classes. Let R be an equivalence relation on a set X. For each x ∈ X, consider the subset xR ⊂ X consisting of all the elements y in X such that xRy. A set of the form xR is called an equivalence class. (1) Show that xR = yR (as subsets of X) if and only if xRy. (2) Show that xR ∩ yR = ∅ or xR = yR. (3) Show that there is a subset Y (called equivalence classes representatives) of X such that X is the disjoint union of subsets of the form yR for y ∈ Y . Is the set Y uniquely determined? (4) For each of the equivalence relations from Problem Set 2, Exercise 5, Parts 3, 5, 6, 7, 8: describe the equivalence classes, find a way to enumerate them by picking a nice representative for each, and find the cardinality of the set of equivalence classes. [I will ask Ruthi to discuss this a bit in the discussion session.] 2. Pliability of Smooth Functions. This problem undertakes a very fundamental construction: to prove that ∞ −1/x2 C -functions are very soft and pliable. Let F : R → R be defined by F (x) = e for x 6= 0 and F (0) = 0. (1) Verify that F is infinitely differentiable at every point (don’t forget that you computed on a 295 problem set that the k-th derivative exists and is zero, for all k ≥ 1). −1/x2 ∞ (2) Let ϕ : R → R be defined by ϕ(x) = 0 for x ≤ 0 and ϕ(x) = e for x > 0.
    [Show full text]
  • Data Monoids∗
    Data Monoids∗ Mikolaj Bojańczyk1 1 University of Warsaw Abstract We develop an algebraic theory for languages of data words. We prove that, under certain conditions, a language of data words is definable in first-order logic if and only if its syntactic monoid is aperiodic. 1998 ACM Subject Classification F.4.3 Formal Languages Keywords and phrases Monoid, Data Words, Nominal Set, First-Order Logic Digital Object Identifier 10.4230/LIPIcs.STACS.2011.105 1 Introduction This paper is an attempt to combine two fields. The first field is the algebraic theory of regular languages. In this theory, a regular lan- guage is represented by its syntactic monoid, which is a finite monoid. It turns out that many important properties of the language are reflected in the structure of its syntactic monoid. One particularly beautiful result is the Schützenberger-McNaughton-Papert theorem, which describes the expressive power of first-order logic. Let L ⊆ A∗ be a regular language. Then L is definable in first-order logic if and only if its syntactic monoid ML is aperiodic. For instance, the language “words where there exists a position with label a” is defined by the first-order logic formula (this example does not even use the order on positions <, which is also allowed in general) ∃x. a(x). The syntactic monoid of this language is isomorphic to {0, 1} with multiplication, where 0 corresponds to the words that satisfy the formula, and 1 to the words that do not. Clearly, this monoid does not contain any non-trivial group. There are many results similar to theorem above, each one providing a connection between seemingly unrelated concepts of logic and algebra, see e.g.
    [Show full text]
  • Monoids (I = 1, 2) We Can Define 1  C 2000 M
    Geometria Superiore Reference Cards Push out (Sommes amalgam´ees). Given a diagram i : P ! Qi Monoids (i = 1; 2) we can define 1 c 2000 M. Cailotto, Permissions on last. v0.0 u −!2 Send comments and corrections to [email protected] Q1 ⊕P Q2 := coker P −! Q1 ⊕ Q2 u1 The category of Monoids. 1 and it is a standard fact that the natural arrows ji : Qi ! A monoid (M; ·; 1) (commutative with unit) is a set M with a Q1 ⊕P Q2 define a cocartesian square: u1 composition law · : M × M ! M and an element 1 2 M such P −−−! Q1 that: the composition is associative: (a · b) · c = a · (b · c) (for ? ? all a; b; c 2 M), commutative: a · b = b · a (for all a; b 2 M), u2 y y j1 and 1 is a neutral element for the composition: 1 · a = a (for Q2 −! Q1 ⊕P Q2 : all a 2 M). j2 ' ' More explicitly we have Q1 ⊕P Q2 = (Q1 ⊕ Q2)=R with R the A morphism (M; ·; 1M ) −!(N; ·; 1N ) of monoids is a map M ! N smallest equivalence relation stable under product (in Q1 ⊕P of sets commuting with · and 1: '(ab) = '(a)'(b) for all Q2) and making (u1(p); 1) ∼R (1; u2(p)) for all p 2 P . a; b 2 M and '(1 ) = 1 . Thus we have defined the cat- M N In general it is not easy to understand the relation involved in egory Mon of monoids. the description of Q1 ⊕P Q2, but in the case in which one of f1g is a monoid, initial and final object of the category Mon.
    [Show full text]
  • General Topology
    General Topology Tom Leinster 2014{15 Contents A Topological spaces2 A1 Review of metric spaces.......................2 A2 The definition of topological space.................8 A3 Metrics versus topologies....................... 13 A4 Continuous maps........................... 17 A5 When are two spaces homeomorphic?................ 22 A6 Topological properties........................ 26 A7 Bases................................. 28 A8 Closure and interior......................... 31 A9 Subspaces (new spaces from old, 1)................. 35 A10 Products (new spaces from old, 2)................. 39 A11 Quotients (new spaces from old, 3)................. 43 A12 Review of ChapterA......................... 48 B Compactness 51 B1 The definition of compactness.................... 51 B2 Closed bounded intervals are compact............... 55 B3 Compactness and subspaces..................... 56 B4 Compactness and products..................... 58 B5 The compact subsets of Rn ..................... 59 B6 Compactness and quotients (and images)............. 61 B7 Compact metric spaces........................ 64 C Connectedness 68 C1 The definition of connectedness................... 68 C2 Connected subsets of the real line.................. 72 C3 Path-connectedness.......................... 76 C4 Connected-components and path-components........... 80 1 Chapter A Topological spaces A1 Review of metric spaces For the lecture of Thursday, 18 September 2014 Almost everything in this section should have been covered in Honours Analysis, with the possible exception of some of the examples. For that reason, this lecture is longer than usual. Definition A1.1 Let X be a set. A metric on X is a function d: X × X ! [0; 1) with the following three properties: • d(x; y) = 0 () x = y, for x; y 2 X; • d(x; y) + d(y; z) ≥ d(x; z) for all x; y; z 2 X (triangle inequality); • d(x; y) = d(y; x) for all x; y 2 X (symmetry).
    [Show full text]
  • 6. Localization
    52 Andreas Gathmann 6. Localization Localization is a very powerful technique in commutative algebra that often allows to reduce ques- tions on rings and modules to a union of smaller “local” problems. It can easily be motivated both from an algebraic and a geometric point of view, so let us start by explaining the idea behind it in these two settings. Remark 6.1 (Motivation for localization). (a) Algebraic motivation: Let R be a ring which is not a field, i. e. in which not all non-zero elements are units. The algebraic idea of localization is then to make more (or even all) non-zero elements invertible by introducing fractions, in the same way as one passes from the integers Z to the rational numbers Q. Let us have a more precise look at this particular example: in order to construct the rational numbers from the integers we start with R = Z, and let S = Znf0g be the subset of the elements of R that we would like to become invertible. On the set R×S we then consider the equivalence relation (a;s) ∼ (a0;s0) , as0 − a0s = 0 a and denote the equivalence class of a pair (a;s) by s . The set of these “fractions” is then obviously Q, and we can define addition and multiplication on it in the expected way by a a0 as0+a0s a a0 aa0 s + s0 := ss0 and s · s0 := ss0 . (b) Geometric motivation: Now let R = A(X) be the ring of polynomial functions on a variety X. In the same way as in (a) we can ask if it makes sense to consider fractions of such polynomials, i.
    [Show full text]
  • Introduction to Abstract Algebra (Math 113)
    Introduction to Abstract Algebra (Math 113) Alexander Paulin, with edits by David Corwin FOR FALL 2019 MATH 113 002 ONLY Contents 1 Introduction 4 1.1 What is Algebra? . 4 1.2 Sets . 6 1.3 Functions . 9 1.4 Equivalence Relations . 12 2 The Structure of + and × on Z 15 2.1 Basic Observations . 15 2.2 Factorization and the Fundamental Theorem of Arithmetic . 17 2.3 Congruences . 20 3 Groups 23 1 3.1 Basic Definitions . 23 3.1.1 Cayley Tables for Binary Operations and Groups . 28 3.2 Subgroups, Cosets and Lagrange's Theorem . 30 3.3 Generating Sets for Groups . 35 3.4 Permutation Groups and Finite Symmetric Groups . 40 3.4.1 Active vs. Passive Notation for Permutations . 40 3.4.2 The Symmetric Group Sym3 . 43 3.4.3 Symmetric Groups in General . 44 3.5 Group Actions . 52 3.5.1 The Orbit-Stabiliser Theorem . 55 3.5.2 Centralizers and Conjugacy Classes . 59 3.5.3 Sylow's Theorem . 66 3.6 Symmetry of Sets with Extra Structure . 68 3.7 Normal Subgroups and Isomorphism Theorems . 73 3.8 Direct Products and Direct Sums . 83 3.9 Finitely Generated Abelian Groups . 85 3.10 Finite Abelian Groups . 90 3.11 The Classification of Finite Groups (Proofs Omitted) . 95 4 Rings, Ideals, and Homomorphisms 100 2 4.1 Basic Definitions . 100 4.2 Ideals, Quotient Rings and the First Isomorphism Theorem for Rings . 105 4.3 Properties of Elements of Rings . 109 4.4 Polynomial Rings . 112 4.5 Ring Extensions . 115 4.6 Field of Fractions .
    [Show full text]
  • Geometric Equivalence Relations on Modules 0
    Journal of Pure and Applied Algebra 22 (1981) 165-177 165 North-Holland Publishing Company GEOMETRIC EQUIVALENCE RELATIONS ON MODULES Kent MORRISON Department of Mathematics, California Polytechnic State University, San Luir Obispo, CA 93407. USA Communicated by H. Bass Received June 1980 0. Introduction In [4] Gersten developed the notion of homotopy for ring homomorphisms. A simple homotopy of two ring homomorphisms f,g : A +B can be viewed as a deformation over the parameter space Spec Z[t]. This is a homomorphism A+B[t] which restricts to f when t = 0 and to g when t = 1. Two homomorphisms f and g are homotopic if there is a chain of homomorphisms starting with f and ending with g such that each term is simple homotopic to the next. Let A be a k-algebra and k a field. Consider the finite dimensional representations of A and require that a simple homotopy of representations be given by a deformation over Speck[t] = A:. Using direct sum we can make the homotopy classes of representations into an abelian monoid. Now it is more useful to use any nonsingular, rational affine curve as well as A: for the parameter space of a homotopy. (This becomes apparent when A is commutative; see Section 1.3.) The abelian monoid of homotopy classes is denoted by N(A) and its associated group by R(A). Two modules (representations) whose classes in R(A) are the same are said to be ‘rationally equivalent’. In Section 1.3 we show that when A is commutative R(A) is isomorphic to the Chow group of O-cycles of SpecA modulo rational equivalence.
    [Show full text]
  • Commutative Algebra
    Commutative Algebra Andrew Kobin Spring 2016 / 2019 Contents Contents Contents 1 Preliminaries 1 1.1 Radicals . .1 1.2 Nakayama's Lemma and Consequences . .4 1.3 Localization . .5 1.4 Transcendence Degree . 10 2 Integral Dependence 14 2.1 Integral Extensions of Rings . 14 2.2 Integrality and Field Extensions . 18 2.3 Integrality, Ideals and Localization . 21 2.4 Normalization . 28 2.5 Valuation Rings . 32 2.6 Dimension and Transcendence Degree . 33 3 Noetherian and Artinian Rings 37 3.1 Ascending and Descending Chains . 37 3.2 Composition Series . 40 3.3 Noetherian Rings . 42 3.4 Primary Decomposition . 46 3.5 Artinian Rings . 53 3.6 Associated Primes . 56 4 Discrete Valuations and Dedekind Domains 60 4.1 Discrete Valuation Rings . 60 4.2 Dedekind Domains . 64 4.3 Fractional and Invertible Ideals . 65 4.4 The Class Group . 70 4.5 Dedekind Domains in Extensions . 72 5 Completion and Filtration 76 5.1 Topological Abelian Groups and Completion . 76 5.2 Inverse Limits . 78 5.3 Topological Rings and Module Filtrations . 82 5.4 Graded Rings and Modules . 84 6 Dimension Theory 89 6.1 Hilbert Functions . 89 6.2 Local Noetherian Rings . 94 6.3 Complete Local Rings . 98 7 Singularities 106 7.1 Derived Functors . 106 7.2 Regular Sequences and the Koszul Complex . 109 7.3 Projective Dimension . 114 i Contents Contents 7.4 Depth and Cohen-Macauley Rings . 118 7.5 Gorenstein Rings . 127 8 Algebraic Geometry 133 8.1 Affine Algebraic Varieties . 133 8.2 Morphisms of Affine Varieties . 142 8.3 Sheaves of Functions .
    [Show full text]
  • Section 4.1 Relations
    Binary Relations (Donny, Mary) (cousins, brother and sister, or whatever) Section 4.1 Relations - to distinguish certain ordered pairs of objects from other ordered pairs because the components of the distinguished pairs satisfy some relationship that the components of the other pairs do not. 1 2 The Cartesian product of a set S with itself, S x S or S2, is the set e.g. Let S = {1, 2, 4}. of all ordered pairs of elements of S. On the set S x S = {(1, 1), (1, 2), (1, 4), (2, 1), (2, 2), Let S = {1, 2, 3}; then (2, 4), (4, 1), (4, 2), (4, 4)} S x S = {(1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3), (3, 1), (3, 2) , (3, 3)} For relationship of equality, then (1, 1), (2, 2), (3, 3) would be the A binary relation can be defined by: distinguished elements of S x S, that is, the only ordered pairs whose components are equal. x y x = y 1. Describing the relation x y if and only if x = y/2 x y x < y/2 For relationship of one number being less than another, we Thus (1, 2) and (2, 4) satisfy . would choose (1, 2), (1, 3), and (2, 3) as the distinguished ordered pairs of S x S. x y x < y 2. Specifying a subset of S x S {(1, 2), (2, 4)} is the set of ordered pairs satisfying The notation x y indicates that the ordered pair (x, y) satisfies a relation .
    [Show full text]
  • Algebra Notes Sept
    Algebra Notes Sept. 16: Fields of Fractions and Homomorphisms Geoffrey Scott Today, we discuss two topics. The first topic is a way to enlarge a ring by introducing new elements that act as multiplicative inverses of non-units, just like making fractions of integers enlarges Z into Q. The second topic will be the concept of a ring homomorphism, which is a map between rings that preserves the addition and multiplication operations. Fields of Fractions Most integers don't have integer inverses. This is annoying, because it means we can't even solve linear equations like 2x = 5 in the ring Z. One popular way to resolve this issue is to work in Q instead, where the solution is x = 5=2. Because Q is a field, we can solve any equation −1 ax = b with a; b 2 Q and a 6= 0 by multiplying both sides of the equation by a (guaranteed −1 to exist because Q is a field), obtaining a b (often written a=b). Now suppose we want to solve ax = b, but instead of a and b being integers, they are elements of some ring R. Can we always find a field that contains R so that we multiply both sides by a−1 (in other words, \divide" by a), thereby solving ax = b in this larger field? To start, let's assume that R is a commutative ring with identity. If we try to enlarge R into a field in the most naive way possible, using as inspiration the way we enlarge Z into Q, we might try the following definition.
    [Show full text]