Homework Problems Some Even with Solutions

Similar documents
Semilattice Modes II: the amalgamation property

Universal Algebra for Logics

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

A GUIDE FOR MORTALS TO TAME CONGRUENCE THEORY

(Rgs) Rings Math 683L (Summer 2003)

A CHARACTERIZATION OF LOCALLY FINITE VARIETIES THAT SATISFY A NONTRIVIAL CONGRUENCE IDENTITY

Subdirectly Irreducible Modes

Chapter 1. Sets and Numbers

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Algebra. Modular arithmetic can be handled mathematically by introducing a congruence relation on the integers described in the above example.

Math 588, Fall 2001 Problem Set 1 Due Sept. 18, 2001

LOCALLY SOLVABLE FACTORS OF VARIETIES

2. Introduction to commutative rings (continued)

ANNIHILATOR IDEALS IN ALMOST SEMILATTICE

To hand in: (a) Prove that a group G is abelian (= commutative) if and only if (xy) 2 = x 2 y 2 for all x, y G.

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

Equational Logic. Chapter Syntax Terms and Term Algebras

Solutions to Unique Readability Homework Set 30 August 2011

Part II. Logic and Set Theory. Year

8. Prime Factorization and Primary Decompositions

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Jónsson posets and unary Jónsson algebras

CONGRUENCE MODULAR VARIETIES WITH SMALL FREE SPECTRA

Chapter 1. Sets and Mappings

Sets and Motivation for Boolean algebra

Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

0 Sets and Induction. Sets

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

Factorization in Polynomial Rings

Definition For a set F, a polynomial over F with variable x is of the form

IDEMPOTENT n-permutable VARIETIES

* 8 Groups, with Appendix containing Rings and Fields.

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

MATH 326: RINGS AND MODULES STEFAN GILLE

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Notes on ordinals and cardinals

Lecture 6: Finite Fields

Rings and Fields Theorems

γ γ γ γ(α) ). Then γ (a) γ (a ) ( γ 1

MaanavaN.Com MA1256 DISCRETE MATHEMATICS. DEPARTMENT OF MATHEMATICS QUESTION BANK Subject & Code : MA1256 DISCRETE MATHEMATICS

A PROOF OF BURNSIDE S p a q b THEOREM

= ϕ r cos θ. 0 cos ξ sin ξ and sin ξ cos ξ. sin ξ 0 cos ξ

ALGEBRAS, LATTICES, VARIETIES VOLUME I

Polynomial Rings. (Last Updated: December 8, 2017)

Homework 10 M 373K by Mark Lindberg (mal4549)

Joseph Muscat Universal Algebras. 1 March 2013

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Exercises on chapter 1

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

Math 222A W03 D. Congruence relations

This is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:

August 2015 Qualifying Examination Solutions

On the size of Heyting Semi-Lattices and Equationally Linear Heyting Algebras

MATH HL OPTION - REVISION SETS, RELATIONS AND GROUPS Compiled by: Christos Nikolaidis

A proof of the Graph Semigroup Group Test in The Graph Menagerie

Topology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:

A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:

Algebra Homework, Edition 2 9 September 2010

On minimal models of the Region Connection Calculus

THE LATTICE OF SUBVARIETIES OF SEMILATTICE ORDERED ALGEBRAS

II. Products of Groups

Chapter SSM: Linear Algebra. 5. Find all x such that A x = , so that x 1 = x 2 = 0.

October 15, 2014 EXISTENCE OF FINITE BASES FOR QUASI-EQUATIONS OF UNARY ALGEBRAS WITH 0

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

MATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.

Herbrand Theorem, Equality, and Compactness

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

IRREDUCIBLE REPRESENTATIONS OF SEMISIMPLE LIE ALGEBRAS. Contents

GALOIS THEORY BRIAN OSSERMAN

Lecture 6. s S} is a ring.

32 Divisibility Theory in Integral Domains

Cosets, factor groups, direct products, homomorphisms, isomorphisms

Algebras with finite descriptions

Number Axioms. P. Danziger. A Group is a set S together with a binary operation (*) on S, denoted a b such that for all a, b. a b S.

FROM GROUPS TO GALOIS Amin Witno

Reducts of Polyadic Equality Algebras without the Amalgamation Property

Math 113 Homework 5. Bowei Liu, Chao Li. Fall 2013

NOTES ON CONGRUENCE n-permutability AND SEMIDISTRIBUTIVITY

MA Discrete Mathematics

Yale University Department of Mathematics Math 350 Introduction to Abstract Algebra Fall Midterm Exam Review Solutions

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

Permutation Groups and Transformation Semigroups Lecture 2: Semigroups

Lattices, closure operators, and Galois connections.

The Fundamental Group and Covering Spaces

Binomial Exercises A = 1 1 and 1

The Symmetric Groups

Free and Finitely Presented Lattices

2. Prime and Maximal Ideals

arxiv: v1 [math.rt] 4 Jan 2016

Class Notes on Poset Theory Johan G. Belinfante Revised 1995 May 21

INTRODUCING MV-ALGEBRAS. Daniele Mundici

INTRODUCTION TO THE GROUP THEORY

However another possibility is

arxiv: v2 [math.gr] 22 Aug 2016

EXAM 3 MAT 423 Modern Algebra I Fall c d a + c (b + d) d c ad + bc ac bd

Congruence Boolean Lifting Property

Generalized Pigeonhole Properties of Graphs and Oriented Graphs

Transcription:

Homework Problems Some Even with Solutions Problem 0 Let A be a nonempty set and let Q be a finitary operation on A. Prove that the rank of Q is unique. To say that n is the rank of Q is to assert that Q : A n A. So suppose that n and m are natural numbers and Q has rank m as well as rank n. We need to prove that n = m. It follows that A n = A m since both A n and A m turn out to be the domain of Q. Now in general A X is the set of all functions from X into A. Recalling that n = {0, 1,..., n 1} and m = {0, 1,..., m 1} we can understand more clearly what A n and A m are. Now, using that A is not empty, pick a A. The function with domain n having a as its constant value is just {(0, a), (1, a),..., (n 1, a)} A n. Since A n = A m we see that for some b 0, b 1,..., b m 1 A we have {(0, a), (1, a),..., (n 1, a)} = {(0, b 0 ), (1, b 1 ),..., (n 1, b m 1 )}. But the set on the left has exactly n distinct elements while the set on the right has exactly m distinct elements. Therefore n = m, as desired. Problem 1 Construct a semigroup that cannot be expanded to a monoid. To say that a semigroup cannot be expanded to a monoid is the same as saying that it has no element that can play the role of the identity. For example the even integers equipped with multiplication constitutes a semigroup that cannot be expanded to a monoid. Problem 2 Construct a semigroup that is not the multiplicative semigroup of any ring. This is a bit harder. In our understanding of the notion of ring we require that our ring have both a zero and a one. So a cheap answer is to use the solution to Problem 1. A little bit more sophisticated example would be to take the positive integers under multiplication. Then any attempt to add some weird addition (it need not be the one you know and love) must lead to zero element, say ζ with the property that ζn = nζ = ζ for all positive integers n. There is no such positive integer ζ so there is no weird addition that would make this semigroup into a ring. But what about an example of a semigroup that has both a 0 and a 1 but which cannot be expanded to a ring? Here is one such. On the five element set {1, 2, 3, 4, 5} impose a product that gives the cyclic group of order 5 whose identity element is 1. So this gives a nice semigroup with a unit. Still it has no zero. So throw in 0 and extend the operation by declaring 0 x = x 0 = 0 for all x {0, 1, 2, 3, 4, 5}. You should check that this extended binary operation is still associative. Now we have in fact a six element commutative semigroup with a zero and a one. Moreover, every nonzero element has an inverse. If we could throw on a wierd addition and produce a ring then we would have in fact a field with six elements. But the size on any finite field must be the power of a prime. Six is of course the smallest positive natural number that is not the power of some prime. We could argue more directly. Imagine we a found a wierd addition that gives us a ring. Then the additive reduct of this ring would be an Abelian group with six elements. Up to isomorphism, there is only one such group: the cyclic group of order six. It follows that 1 1 1 1 1 1 = 0. But also 1

2 1 1 1 1 1 1 = (1 1) (1 1 1). Since we have an integeral domain, it follows that either 1 1 = 0 or 1 1 1 = 0. That is 1 has order either 2 or 3 in the additive group of our ring. But then, since a (1 1) = a a and a (1 1 1) = a a a for all elements a. Then every nonzero element must have order either 2 or 3. But remember, our additive group is the cyclic group of order 6. Therefore, there must be an element of order 6. This is a contradiction. Problem 3 Let A be a set and denote by Eqv A the set of all equivalence realtions on A. For R, S Eqv A define R S = R S R S = R R S R S R R S R S... where stands for the relational product (that is a(r S)b means that there is some c A sucn that both arc and csb). Prove that Eqv A,, is a lattice. There are several ways to proceed. We could demonstrate all the equations which axiomatize lattices. The only ones that present any challenge are the associative law for and the two absorption laws. Another approach is to show that is a lattice order of Eqv A and that and are the greatest lower bound and the least upper bound with respect to this order. This is the approach taken here. CLAIM 1. If R, S Eqv A, then R S Eqv A. Proof. We need to show that R S is reflexive, symmetric, and transitive. Let a A. Since R and S are reflexive, we know a, a R and a, a S. So a, a R S and R S is reflexive. For symmetry, suppose a, b R S. Then a, b R and a, b S. Since R and S are symmetric, we see b, a R and b, a S. Therefore b, a R S and so R S is symmetric. Finally, to establish transitivity observe a.b R S and b, c R S = a, b, b, c R and a, b, b, c S = a, c R and a, c S = a, c R S Since R S is the largest set included in both R and S, it follows from the claim above that it must be the largest member of Eqv A included in both R and S. Dealing with the join is more trouble. CLAIM 2. If R, S, T Eqv A and R T and S T, then R S T. Proof. First observe that if P and Q are any binary relations on A and P Q T, then P Q T. This is a simple consequence of the transitivity of T. Then by a straightforward induction we have R S R S R S T and also the similar inclusion ending in R. Therefore R S T as desired. In view of this last claim, we would be finished once we show that R, S R S and R S is an equivalence relation on A. Of course R R S by the definition of the join. But observe that S R S, since R is reflexive. Thus we only need the next claim. CLAIM 3. If R, S Eqv A, then R S Eqv A.

Proof. R S is reflexive since R is reflexive and R R S. To see symmetry it helps to have a little notation. For any binary relation P let 3 P = { b, a a, b P }. The relation P is called the converse of the relation P. The statement that P is symmetric is just that P = P. Now if P and Q are binary relations, it is not hard to see that (P Q) = Q P. Now observe that (R S R R S) = S R R S R = S R R S R R S R R S R R S The converses drop out at the next-to-last line since R and S are symmetric. The first inclusion on the last line is a consequence of the reflexivity of R. Since the converse of each piece in the union that defines R S is included in R S, it follows that R S is symmetric. Finally we have to establish the transitivity of R S. It is an immediate consequence of reflexivity and transitivity that R R = R and S S = S. From the associativity of composition we see (R S S R) (R S S R S) = R S S R R S S R S = R S S R S S R S R S The transitivity of R S follows from considering a, b, b, c R S. Both ordered pairs must belong to (perhaps different) pieces that make up R S as a union. The display above shows why a, c R S. Problem 4 Let A and B be algebras. Prove hom(a, B) = (Sub A B) {h h is a function from A into B}

4 g hom(a, B) g {h h is a function from A into B} and g(q A (a 0,..., a r 1 ) = Q B (g(a 0 ),..., g(a r 1 )) for all operation symbols Q and all a 0,..., a r 1 A where r is the rank of Q g {h h is a function from A into B} and Q A (a 0,..., a r 1 ), Q B (g(a 0 ),..., g(a r 1 )) g for all operation symbols Q and all a 0,..., a r 1 A where r is the rank of Q g {h h is a function from A into B} and Q A B ( a 0, g(a 0 ),..., a r 1, g(a r 1 ) ) g for all operation symbols Q and all a 0,..., a r 1 A where r is the rank of Q g {h h is a function from A into B} and Q A B ( a 0, b 0,..., a r 1, b r 1 ) g for all operation symbols Q and all a 0,..., a r 1 A and all b 0,..., b r 1 B such that a 0, b 0,..., a r, b r 1 g, where r is the rank of Q g {h h is a function from A into B} and g is a subuniverse of A B g (Sub A B) {h h is a function from A into B} Problem 5 Let A = A i i I be a system of similar algebras. Prove that each projection function on A is a homomorphism. Recall that the projection function p j is defined so that p j ( a i i I ) = a j for all a i i I A. We need to show that p j preserves the operations. So let Q be an operation symbol and, wlog, suppose that Q has rank 3. Then let a = a i i I, b = b i i I, c = c i i I. Just observe p j (Q A (a, b, c) = p j ( Q A i (a i, b i, c i ) i I = Q A j (a j, b j, c j ) = Q A j (p j (a), p j (b), p j (c)) Problem 6 Let A = A i i I be a system of similar algebras. Further, assume B is an algebra of the same signature and that B = A. Prove that if each projection function on B is a homomorphism, then B = A.

Since B and A have the same universe, it only remains to show that they also have the same operations. So let Q be an operation symbols. Let s suppose that its rank is 3. Then let a = a i i I, b = b i i I, c = c i i I. Now notice that for all j I p j (Q B (a, b, c)) = Q A j (a j, b j, c j ) = p j (Q A (a, b, c). Thus, Q B (a, b, c) and Q A (a, b, c) agree at each coordinate. Therefore they are identical. Consequently, B = A. Problem 7 Let A = A i i I be a system of similar algebras. Let B be an algebra of the same signature and let h i be a homomorphism from B into A i, for each i I. Prove that there is a homomorphism g from B into A such that h i = p i g for all i I. (Here p i denotes the i th projection function. The definition of g is forced on us by the wish that h i = p i g. That is g(b) = h i (b) i I for all b B. We need only show that this g is a homomorphism. So let Q be an operation symbol and suppose it has rank, say 3. Let a, b, c B. Then g(q B (a, b, c)) = h i (Q B (a, b, c)) i I = Q A i (h i (a), h i (b), h i (b)) i I = Q A ( h i (a) i I, h i (b) i I, h i (c) i I ) = Q A (g(a), g(b), g(c)) 5 Problem 8 Let A be an algebra. Prove Con A = (Sub A A) {θ θ is an equivalence relation on A}. This is similar to Problem 4. To simplify matters this time, suppose that θ Eqv A. What we need to show is that θ is a congruence if and only if θ is a subalgebra of A A. This amounts to checking somethings about every basic operation. So suppose Q is an operation symbol, with rank let us say 3 this time. Let a, a, b, b, c, c A. Now observe that a, a, b, b. c, c θ = Q A (a, b, c), Q A (a, b, c) θ is what needs to be checked to see that θ is a congruence. But this implication is also exactly what needs to be checked to see that θ is a subalgebra of A A. Thus these to notions are the same. Problem 9 Let A be an algebra and let h be an endomorphism of A. Prove that h h 1 is a congruence of A. Observe that h 1 = {(b, a) h(a) = b and a A}. First notice that ah h 1 b h(a) = h(b). This means that h h 1 = ker h. Since h is an endomorphism, we know that its kernel must be a congruence. Problem 10 Let A be an algebra and let θ be a congruence of A. Prove that θ = {Cg A (a, a ) aθa }. If aθa then Cg A (a, a ) θ since Cg A (a, a ) is the intersection of all congruences containing the pair a, a. Therefore {Cg A (a, a ) aθa } θ. For the reverse inclusion, notice θ = {{ a.a } a, a θ} {Cg A (a, a ) aθa }

6 Problem 11 Let A be an algebra and let X A such that Sg A X = A. Suppose that B is an algebra with the same signature and let h and g be homomorphisms from A into B such that h(x) = g(x) for all x X. Prove that h = g. Let U = {u u A and h(u) = g(u)}. Plainly, X U. We are going to show that U is a subuniverse of A. From this it follows that Sg A X U. Since Sg A X = A we see that U = A and so h and g agree everywhere on their domain. To see that U is a subuniverse we only need to show it is closed with respect to all the operations. So let Q be an operation symbol and let us say for variety that it has rank 3. Let a, b, c U. Now But notice Q A (a, b, c) U g(q A (a, b, c)) = h(q A (a, b, c)). g(q A (a, b, c)) = Q B (g(a), g(b), g(c)) = Q B (h(a), h(b), h(c)) = h(q A (a, b, c)) where the link to the middle line happens because a, b, c U gives us g(a) = h(a), g(b) = h(b) and g(c) = h(c). Consequently, from a, b, c U we draw the conclusion that Q A (a, b, c) U. Hence, U is a subuniverse just as we wanted. Problem 12 Prove that every finite algebra is isomorphic to a direct product of directly indecomposable algebras. Suppose it were otherwise. Let A be a finite algebra with the least number of elements that is not decomposable has a direct product of directly indecomposable algebras. Now A must have at least two elements, since one-element algebras can be decomposed as a product of an empty system of algebras. Also A is not itself indecomposable (else we have the decomposition before us). This means that A = B C where both B and C have fewer elements than A. By the minimality of A, we can decompose B and C into direct products of directly indecomposable algebras. Putting these decompositions together we get a decomposition of A, which isn t supposed to have one. Problem 13 Find two algebras A and B so that neither A nor B can be embedded into A B. Let A = {0, 1}, f and B = {0, 1, 2}, g where f(0) = 1, f(1) = 0, g(0) = 1, g(1) = 2, g(2) = 0. So f is a 2-cycle and g is a 3-cycle. Now show that A B has a basic operation which is a 6-cylce. In particular, A B has no proper subalgebras at all. Problem 14 Prove that A has factorable congruences if and only if β = (β φ) (β φ ) for every pair φ, φ of complementary factor congruences of A and every β Con A. Problem 15 Prove that if Con A is a distributive lattice, then A has factorable congruences. This follows immediately from Problem 14, since φ φ = 1 B, making the equality from Problem 14 into an instance of the distributive law.

7 Problem 16 Suppose that β, η 0, η 1 Con B and η 0 η 1 β. Prove that B/β HP s (B/η 0, B/η 1 ). Define h 0 : B/η 0 η 1 B/η 0 by putting h 0 (b/η 0 η 1 ) = b/η 0 for all b B. It is routine to show that this definition is definite and that h 0 is a homomorphism. Define h 1 similarly. Then h 0, h 1 separates the points of B/η 0 η 1 and the image of h i is B/η i. This means that B/η 0 η 1 P s (B/η 0, B/η 1 ). Now B/β is a homomorphic image of B/η 0 η 1 by the Second Isomorphism Theorem, because η 0 η 1 β. Problem 17 Show that SH HS, PS SP, and PH HP. Problem 18 Show that restricted to classes of commutative semigroups, the operators SPH S, SH PS, and HSP are distinct. In fact, if K is the class of finite cyclic groups considered as semigroups (i.e., multiplication groups), then the three operators applied to K give different classes. Problem 19 Verify that if K is a class of Abelian groups then HSK = SHK. Formulate a property of varieties involving the behavior of congruences suc that if V has the property and K V, then HSK = SHK. Problem 20 (See the book for notation) Prove that if w is a term and if w is a proper initial segment of w, then w is not a term. Problem 21 Prove that the equality V = HP s holds for class operators. sufficiently large, the F V (X) is a subdirect power of A.) (Hint: If V = V (A) and X is Problem 22 If V 0 V 1 and X Y, then F V0 (X) is a homomorphic image of F V1 (Y ) in a natural way, and F V0 (X) is isomorphic to the subalgebra of F V1 (Y ) generated by X, in a natural way. Problem 23 Prove that if V is a nontrivial variety, then in a free algebra F V (X), the set X is a minimal generating set. Problem 24 Prove that an algebra A is arithmetical if and only if this version of the Chinese Remainder Theorem hold is A: For every finite sequence a 0, a 1,..., a n, ψ 0,..., ψ n of elements and congruences of A, if a i, a j ψ i ψ j for all i, j n, then there exists an element x A such that a i, x ψ i for all i n.

8 Problem 25 Prove that a variety V is arithmetical if and only if V has a Mal cev term p(x, y, z) and a term q(x, y, z) so that V = q(x, x, y) q(x, y, x) q(y, x, x) x. Problem 26 Prove that for any integer n > 1 the variety of rings obeying the law x n x is arithmetical.