Some Remarks on Minimal Clones
|
|
- Walter Walton
- 5 years ago
- Views:
Transcription
1 ALGORITHMIC COMPLEXITY and UNIVERSAL ALGEBRA Szeged, Hungary Some Remarks on Minimal Clones Hajime MACHIDA (Tokyo) Joint Work with Michael PINSKER (Wien)
2 ALGORITHMIC COMPLEXITY and UNIVERSAL ALGEBRA Szeged, Hungary Some Remarks on Minimal Clones A Minimal Adventure to the World of Béla Csákány Hajime MACHIDA (Tokyo) Joint Work with Michael PINSKER (Wien)
3 1 Where to Start 3
4 1 Where to Start Béla Csákány 4
5 1 Where to Start Béla Csákány In 1983, B. Csákány published the following paper : B. Csákány, All minimal clones on the three element set, Acta Cybernet., Vol. 6, , 1983 where he determined all minimal clones on a three-element set. Number of minimal clones = 84 5
6 0 Just in Case... Definitions clone C ( O k ) : clone on E k (i) (ii) C : closed under composition C J k L k : lattice of all clones on E k minimal clone C ( L k ) : minimal clone (i) C J k (ii) for C L k, J k C C = C = C 6
7 1 Where to Start... Continued Generators of Minimal Clones on a Three-Element Set ( B. Csákány, 1983 ) Each of the following operations generates mutually distinct minimal clone. 7
8 (II) Binary idempotent operations b 0 = b 364 = b 728 = b 8 = b 368 = b 80 = b 36 = b 40 = b 692 = b 10 = b 280 = b 458 = b 20 = b 448 = b 188 =
9 b 11 = b 286 = b 215 = b 16 = b 281 = b 296 = b 47 = b 205 = b 179 = b 17 = b 287 = b 53 = b 38 = b 43 = b 206 = b 26 = b 449 = b 37 =
10 b 33 = b 122 = b 557 = b 35 = b 125 = b 71 = b 42 = b 41 = b 530 = b 68 = b 528 = b 116 = b 178 = b 290 =
11 0 2 1 b 624 =
12 (III) Ternary majority operations m 0 = m 364 = m 728 = m 109 = m 473 =
13 m 510 = m 624 =
14 (IV) Ternary semiprojections s 0 = s 364 = s 728 = s 8 = s 368 =
15 s 80 = s 36 = s 40 = s 692 = s 26 = s 449 = s 37 =
16 s 76 = s 684 = s 332 = s 424 =
17 2 Tools of Our Research Polynomials over a Finite Field 17
18 2 Tools of Our Research Polynomials over a Finite Field Let k (> 1) be a power of a prime. We consider the base set E k = {0, 1,..., k 1} as a finite field (Galois field) GF(k), and express a function defined on E k as a polynomial over GF(k). 18
19 QUIZ ( Easy ) 19
20 QUIZ ( Easy ) Given polynomials f, g over GF(2) ( i.e., f, g : Boolean function ) f(x, y) = x y + 1 g(x, y) = x y + x + y 20
21 QUIZ ( Easy ) Given polynomials f, g over GF(2) ( i.e., f, g : Boolean function ) f(x, y) = x y + 1 g(x, y) = x y + x + y QUESTION : Which is weaker, f or g? ( with respect to the productive power of functions ) 21
22 ANSWER : g is much weaker than f 22
23 ANSWER : g is much weaker than f Because : f(x, y) = NAND (x, y) g(x, y) = OR (x, y) 23
24 QUIZ ( Hard ) 24
25 QUIZ ( Hard ) Given polynomials u v w over GF(3) u(x, y) = x 2 y 2 + xy 2 + x 2 y + 2xy + x + y v(x, y) = x 2 y 2 + xy 2 + x 2 y + xy + x + y w(x, y) = x 2 y 2 + xy 2 + x 2 y + 2xy + x + y
26 QUIZ ( Hard ) Given polynomials u v w over GF(3) u(x, y) = x 2 y 2 + xy 2 + x 2 y + 2xy + x + y v(x, y) = x 2 y 2 + xy 2 + x 2 y + xy + x + y w(x, y) = x 2 y 2 + xy 2 + x 2 y + 2xy + x + y + 1 QUESTION : Which is the weakest among u v and w? ( with respect to the productive power of functions ) 26
27 ANSWER : u is the weakest. 27
28 ANSWER : u is the weakest. Because : (1) u(x, y) generates a minimal clone. (3) w(x, y) is Webb function which generates all functons. (2) v(x, y) is inbetween. 28
29 Our Hope!! To characterize polynomials generating minimal clones in terms of the form of polynomials or To discover principles or rules that are common to polynomials generating minimal clones
30 3 Basic Facts on Minimal Clones Lemma A minimal clone is generated by a single function, i.e., for any minimal clone C L k there exists f O k such that C = f Proposition For any f O k, suppose f satisfies the following : (i) (ii) f J k For h f, if h J k then f h Then f generates a minimal clone. 30
31 Type Theorem for Minimal Clones An function f on E k is minimal if (i) it generates a minimal clone, and (ii) every function from f whose arity is smaller than the arity of f is a projection 31
32 Type Theorem for Minimal Clones An function f on E k is minimal if (i) it generates a minimal clone, and (ii) every function from f whose arity is smaller than the arity of f is a projection Theorem ( I. G. Rosenberg, 1986 ; Inspired by Csákány s work,... ) Every minimal function is classified in one of the following five types: (1) Unary function (2) Idempotent binary function (3) Majority function (4) Semiprojection (5) If k = 2 m, the ternary function f(x, y, z) := x + y + z where E k ; + is an elementary 2-group 32
33 Note f(x 1,..., x n ) : idempotent f(x,..., x) = x for x E k 33
34 Generators of all minimal clones of type (2) over GF(3) (Originally from B. Csákány) b 11 = xy 2 b 624 = 2x + 2y b 68 = 2x + 2xy 2 b 0 = 2x 2 y + 2xy 2 b 449 = x + y + 2x 2 y b 368 = x + y 2 + 2x 2 y 2 b 692 = x + 2y 2 + x 2 y 2 b 33 = x + 2x 2 y + xy 2 b 41 = x 2 + xy 2 + 2x 2 y 2 b 71 = 2x 2 + xy 2 + x 2 y 2 b 26 = 2x + x 2 + 2xy + 2x 2 y b 37 = 2x + 2x 2 + xy + 2x 2 y b 17 = 2x + x 2 + 2xy 2 + 2x 2 y 2 b 38 = 2x + 2x 2 + 2xy 2 + x 2 y 2 b 10 = xy + 2x 2 y + 2xy 2 + 2x 2 y 2 34
35 b 20 = 2xy + 2x 2 y + 2xy 2 + x 2 y 2 b 43 = x + xy + 2x 2 y + xy 2 + 2x 2 y 2 b 53 = x + 2xy + 2x 2 y + xy 2 + x 2 y 2 b 35 = x + xy + x 2 y + 2xy 2 + 2x 2 y 2 b 42 = x + 2xy + x 2 y + 2xy 2 + x 2 y 2 b 530 = x + y + y 2 + 2x 2 y + 2x 2 y 2 b 125 = x + y + 2y 2 + 2x 2 y + x 2 y 2 b 116 = x + y + xy + 2y 2 + 2xy 2 b 528 = x + y + 2xy + y 2 + 2xy 2 b 206 = x + 2y + y 2 + x 2 y + 2x 2 y 2 b 287 = x + 2y + 2y 2 + x 2 y + x 2 y 2 b 215 = x + 2y + 2xy + y 2 + xy 2 b 286 = x + 2y + xy + 2y 2 + xy 2 b 122 = y + x 2 + 2y 2 + 2x 2 y + xy 2 b 557 = y + 2x 2 + y 2 + 2x 2 y + xy 2 b 16 = 2x + x 2 + xy + 2x 2 y + x 2 y 2 b 47 = 2x + 2x 2 + 2xy + 2x 2 y + 2x 2 y 2 b 178 = 2x + 2y + x 2 + xy + y 2 b 290 = 2x + 2y + 2x 2 + 2xy + 2y 2 b 40 = x 2 + xy + 2x 2 y + 2xy 2 + x 2 y 2 35
36 b 80 = 2x 2 + 2xy + 2x 2 y + 2xy 2 + 2x 2 y 2 b 364 = x 2 + xy + y 2 + 2x 2 y + 2xy 2 b 728 = 2x 2 + 2xy + 2y 2 + 2x 2 y + 2xy 2 b 448 = x + y + xy + x 2 y + xy 2 + 2x 2 y 2 b 458 = x + y + 2xy + x 2 y + xy 2 + x 2 y 2 b 205 = x + 2y + xy + y 2 + xy 2 + x 2 y 2 b 296 = x + 2y + 2xy + 2y 2 + xy 2 + 2x 2 y 2 b 188 = 2x + 2y + x 2 + 2xy + y 2 + 2x 2 y 2 b 280 = 2x + 2y + 2x 2 + xy + 2y 2 + x 2 y 2 b 8 = 2x + x 2 + xy + x 2 y + xy 2 + x 2 y 2 b 36 = 2x + 2x 2 + 2xy + x 2 y + xy 2 + 2x 2 y 2 b 179 = 2x + 2y + x 2 + y 2 + x 2 y + 2xy 2 + x 2 y 2 b 281 = 2x + 2y + 2x 2 + 2y 2 + x 2 y + 2xy 2 + 2x 2 y 2 36
37 4 More Properties of Minimal Clones For f, g O k we write f g if g f ( Note : Binary relation on O k is a quasi-order ) Lemma Let f O (2) k be an essentially binary function. If f satisfies (1) and (2) then f is minimal. (1) f is idempotent (2) For any g O (m) k ( m 2 ) if f g then g is a projection or g f 37
38 Let m 3 and g O (m) k. We say g is a quasi-projection if g becomes a projection whenever two arguments of g are identified, i.e., if g(x 1,..., x i,..., x i,..., x m ) is always a projection. Lemma Let f O (2) k be a binary idempotent function. Then f is minimal (1) and (2) hold (1) For g O (2) k \ J k if f g then g f (2) For m 3 and g O (m) k \ J k if f g then g is not a quasiprojection. 38
39 For f O (2) k let Γ (x,y) f be : { f(f(x, y), x), f(f(x, y), y), f(x, f(x, y)), f(y, f(x, y)), f(f(x, y), f(y, x)) } Then let Γ f = Γ (x,y) f Γ (y,x) f Lemma Let f O (2) k be a binary idempotent function which is not a projection. Suppose that, for any γ Γ f, one of the following holds: γ(x, y) f(x, y) or γ(x, y) f(y, x) Then f is minimal ( Here, by h 1 (x, y) h 2 (x, y) we mean h 1 (x, y) = h 2 (x, y) for all (x, y) E 2 k ) 39
40 5 Polynomials generating Minimal Clones Here we consider only Binary Idempotent Minimal Functions 40
41 5 Polynomials generating Minimal Clones Here we consider only Binary Idempotent Minimal Functions Our Strategy Step 1 : Take arbitrary f(x, y) O (2) 3 from Csákány s list. Step 2 : Search for a polynomial g(x, y) O (2) k for k 3 whose counterpart for k = 3 is f(x, y) Step 3 : Examine if g is minimal. 41
42 (1) Linear Polynomials For k = 3, the binary linear polynomial is minimal. f(x, y) = 2x + 2y For k = 5, the binary linear polynomial f(x, y) = 2x + 4y is minimal, whose Cayley table is : f(x, y) = 2x + 4y x\y
43 Theorem (Á. Szendrei) Let k be a prime. Let f(x, y) be a binary linear polynomial on E k Then f is minimal if and only if f(x, y) = ax + (k + 1 a)y for some 1 < a < k Moreover, all such linear polynomials generate the same minimal clone. 43
44 (2) Monomials Consider x s y t for 1 s t < k For k = 3, f(x, y) = x y 2 is minimal. For k = 5, f(x, y) = x y 4 is minimal whose Cayley table is : f(x, y) = x y 4 x\y
45 Theorem Let k be a prime. (1) x y k 1 is a minimal function. (2) For any 1 < s < k 1, x s y k s is not a minimal function. 45
46 (3) More Examples 46
47 (3) More Examples Recall!! Our Strategy Step 1 : Take arbitrary f(x, y) O (2) 3 from Csákány s list. Step 2 : Search for a polynomial g(x, y) O (2) k for k 3 whose counterpart for k = 3 is f(x, y) Step 3 : Examine if g is minimal. 47
48 (3) More Examples (3-1) Example A Step 1 : k = 3 : x + y + 2 x y 2 48
49 (3) More Examples (3-1) Example A Step 1 : k = 3 : x + y + 2 x y 2 Step 2 : k 3 :??? 49
50 (3) More Examples (3-1) Example A Step 1 : k = 3 : x + y + 2 x y 2 Step 2 : k 3 : x + y + (k 1) x y k 1 50
51 (3) More Examples (3-1) Example A Step 1 : k = 3 : x + y + 2 x y 2 Step 2 : k 3 : x + y + (k 1) x y k 1 Example. k = 5 : f(x, y) = x + y + 4 x y 4 x\y
52 (3-2) Example B Step 1 : k = 3 : x + 2y 2 + x 2 y 2 52
53 (3-2) Example B Step 1 : k = 3 : x + 2y 2 + x 2 y 2 Step 2 : k 3 :??? 53
54 (3-2) Example B Step 1 : k = 3 : x + 2y 2 + x 2 y 2 Step 2 : k 3 : x + (k 1)y k 1 + x k 1 y k 1 54
55 (3-2) Example B Step 1 : k = 3 : x y x 2 + x 2 y 2 Step 2 : k 3 : x + (k 1)y k 1 + x k 1 y k 1 Example. k = 5 : f(x, y) = x + 4 y 4 + x 4 y 4 x\y
56 (3-3) Example C Step 1 : k = 3 : x y x 2 + x 2 y 2 56
57 (3-3) Example C Step 1 : k = 3 : x y x 2 + x 2 y 2 Step 2 : k 3 :??? 57
58 (3-3) Example C Step 1 : k = 3 : x y x 2 + x 2 y 2 Step 2 : k 3 : x y k 1 +(k 1)x k 1 +x k 1 y k 1 58
59 (3-3) Example C Step 1 : k = 3 : x y x 2 + x 2 y 2 Step 2 : k 3 : x y k 1 +(k 1)x k 1 +x k 1 y k 1 Example. k = 5 : f(x, y) = x y x 4 + x 4 y 4 x\y
60 (3-4) Example D A bit more difficult example! 60
61 (3-4) Example D Step 1 : k = 3 : 2 x + 2 x y 2 61
62 (3-4) Example D Step 1 : k = 3 : 2 x + 2 x y 2 Step 2 : k 3 :??? 62
63 (3-4) Example D Step 1 : k = 3 : 2 x + 2 x y 2 Step 2 : k 3 : (k 1) x + (k 1) x y k 1 is not good! 63
64 (3-4) Example D Step 1 : k = 3 : 2 x + 2 x y 2 Step 2 : k 3 : (k 1) x + 2 x y k 1 64
65 (3-4) Example D Step 1 : k = 3 : 2 x + 2 x y 2 Step 2 : k 3 : (k 1) x + 2 x y k 1 Example. k = 5 : f(x, y) = 4 x + 2 x y 4 x\y
66 (3-5) Example E This example requires better skill even to find a candidate of generalization!! 66
67 (3-5) Example E Step 1 : k = 3 : 2 x 2 y + 2 x y 2 67
68 (3-5) Example E Step 1 : k = 3 : 2 x 2 y + 2 x y 2 Step 2 : k 3 :??? 68
69 (3-5) Example E Step 1 : k = 3 : 2 x 2 y + 2 x y 2 Step 2 : k 3 : (k 1) x k 1 y + (k 1) x y k 1 is not good! 69
70 (3-5) Example E Step 1 : k = 3 : 2 x 2 y + 2 x y 2 Step 2 : k 3 : (k 1) x k 1 y + (k 1) x y k 1 is not good! 2 x k 1 y + (k 1) x y k 1 is also not good!! 70
71 (3-5) Example E Step 1 : Step 2 : k = 3 : 2 x 2 y + 2 x y 2 k 3 : (k 1) k 1 i=1 xk i y i 71
72 (3-5) Example E Step 1 : Step 2 : k = 3 : 2 x 2 y + 2 x y 2 k 3 : (k 1) k 1 i=1 xk i y i Step 3 (Sketch of Proof): f(x, x) = x since (k 1) 2 = 1 For x y, let D = k 1 i=1 xk i y i Then xy 1 D = D Hence xd = yd which implies D = 0 Therefore f(x, y) = x if x = y and f(x, y) = 0 if x y It is easy to see that f is minimal 72
73 (3-5) Example E Step 1 : Step 2 : k = 3 : 2 x 2 y + 2 x y 2 k 3 : Example. k = 5 : (k 1) k 1 i=1 xk i y i f(x, y) = 4 x 4 y + 4 x 3 y x 2 y x y 4 x\y
74 More and More Examples 74
75 More and More Examples You will hear at the conference celebrating the 80th Birthday of Béla Csákány!! 75
76 More and More Examples You will hear at the conference celebrating the 80th Birthday of Béla Csákány!! Thank you 76
Polynomials as Generators of Minimal Clones
Polynomials as Generators of Minimal Clones Hajime Machida Michael Pinser Abstract A minimal clone is an atom of the lattice of clones. A minimal function is a function which generates a minimal clone.
More informationChapter 6: Rational Expr., Eq., and Functions Lecture notes Math 1010
Section 6.1: Rational Expressions and Functions Definition of a rational expression Let u and v be polynomials. The algebraic expression u v is a rational expression. The domain of this rational expression
More informationDiscrete Mathematics. CS204: Spring, Jong C. Park Computer Science Department KAIST
Discrete Mathematics CS204: Spring, 2008 Jong C. Park Computer Science Department KAIST Today s Topics Combinatorial Circuits Properties of Combinatorial Circuits Boolean Algebras Boolean Functions and
More informationFinite Simple Abelian Algebras are Strictly Simple
Finite Simple Abelian Algebras are Strictly Simple Matthew A. Valeriote Abstract A finite universal algebra is called strictly simple if it is simple and has no nontrivial subalgebras. An algebra is said
More informationBernhard Nebel, Julien Hué, and Stefan Wölfl. June 27 & July 2/4, 2012
Bernhard Nebel, Julien Hué, and Stefan Wölfl Albert-Ludwigs-Universität Freiburg June 27 & July 2/4, 2012 vs. complexity For some restricted constraint languages we know some polynomial time algorithms
More informationCOLLAPSING PERMUTATION GROUPS
COLLAPSING PERMUTATION GROUPS KEITH A. KEARNES AND ÁGNES SZENDREI Abstract. It is shown in [3] that any nonregular quasiprimitive permutation group is collapsing. In this paper we describe a wider class
More informationTHE JOIN OF TWO MINIMAL CLONES AND THE MEET OF TWO MAXIMAL CLONES. Gábor Czédli, Radomír Halaš, Keith A. Kearnes, Péter P. Pálfy, and Ágnes Szendrei
THE JOIN OF TWO MINIMAL CLONES AND THE MEET OF TWO MAXIMAL CLONES Gábor Czédli, Radomír Halaš, Keith A. Kearnes, Péter P. Pálfy, and Ágnes Szendrei Dedicated to László Szabó on his 50th birthday Abstract.
More informationADDITIVE DECOMPOSITION SCHEMES FOR POLYNOMIAL FUNCTIONS OVER FIELDS
Novi Sad J. Math. Vol. 44, No. 2, 2014, 89-105 ADDITIVE DECOMPOSITION SCHEMES FOR POLYNOMIAL FUNCTIONS OVER FIELDS Miguel Couceiro 1, Erkko Lehtonen 2 and Tamás Waldhauser 3 Abstract. The authors previous
More information3. Abstract Boolean Algebras
3. ABSTRACT BOOLEAN ALGEBRAS 123 3. Abstract Boolean Algebras 3.1. Abstract Boolean Algebra. Definition 3.1.1. An abstract Boolean algebra is defined as a set B containing two distinct elements 0 and 1,
More informationA GUIDE FOR MORTALS TO TAME CONGRUENCE THEORY
A GUIDE FOR MORTALS TO TAME CONGRUENCE THEORY Tame congruence theory is not an easy subject and it takes a considerable amount of effort to understand it. When I started this project, I believed that this
More informationSmall Non-Associative Division Algebras up to. Isotopy
Small Non-Associative Division Algebras up to Isotopy Thomas Schwarz, S.J. 1 1 Department of Computer Engineering, Santa Clara University 500 El Camino Real, Santa Clara, CA 95053, USA tjschwarz@scu.edu
More informationOn the Structure of Rough Approximations
On the Structure of Rough Approximations (Extended Abstract) Jouni Järvinen Turku Centre for Computer Science (TUCS) Lemminkäisenkatu 14 A, FIN-20520 Turku, Finland jjarvine@cs.utu.fi Abstract. We study
More informationInfinitely many maximal primitive positive clones in a diagonalizable algebra
BULETINUL ACADEMIEI DE ŞTIINŢE A REPUBLICII MOLDOVA. MATEMATICA Numbers 2(72) 3(73), 2013, Pages 47 52 ISSN 1024 7696 Infinitely many maximal primitive positive clones in a diagonalizable algebra Andrei
More informationCLASSIFYING THE COMPLEXITY OF CONSTRAINTS USING FINITE ALGEBRAS
CLASSIFYING THE COMPLEXITY OF CONSTRAINTS USING FINITE ALGEBRAS ANDREI BULATOV, PETER JEAVONS, AND ANDREI KROKHIN Abstract. Many natural combinatorial problems can be expressed as constraint satisfaction
More informationA strongly rigid binary relation
A strongly rigid binary relation Anne Fearnley 8 November 1994 Abstract A binary relation ρ on a set U is strongly rigid if every universal algebra on U such that ρ is a subuniverse of its square is trivial.
More informationA monoidal interval of clones of selfdual functions
Journal of Automata, Languages and Combinatorics u v w, x y c Otto-von-Guericke-Universität Magdeburg A monoidal interval of clones of selfdual functions Andrei Krokhin Department of Computer Science,
More informationNorthwood High School Algebra 2/Honors Algebra 2 Summer Review Packet
Northwood High School Algebra 2/Honors Algebra 2 Summer Review Packet This assignment should serve as a review of the Algebra 1 skills necessary for success. Our hope is that this review will keep your
More informationSubdirectly Irreducible Modes
Subdirectly Irreducible Modes Keith A. Kearnes Abstract We prove that subdirectly irreducible modes come in three very different types. From the description of the three types we derive the results that
More informationA function is a special kind of relation. More precisely... A function f from A to B is a relation on A B such that. f (x) = y
Functions A function is a special kind of relation. More precisely... A function f from A to B is a relation on A B such that for all x A, there is exactly one y B s.t. (x, y) f. The set A is called the
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationA NOTE ON MULTIPLIERS OF SUBTRACTION ALGEBRAS
Hacettepe Journal of Mathematics and Statistics Volume 42 (2) (2013), 165 171 A NOTE ON MULTIPLIERS OF SUBTRACTION ALGEBRAS Sang Deok Lee and Kyung Ho Kim Received 30 : 01 : 2012 : Accepted 20 : 03 : 2012
More information2 Two-Point Boundary Value Problems
2 Two-Point Boundary Value Problems Another fundamental equation, in addition to the heat eq. and the wave eq., is Poisson s equation: n j=1 2 u x 2 j The unknown is the function u = u(x 1, x 2,..., x
More informationTesting assignments to constraint satisfaction problems
Testing assignments to constraint satisfaction problems Hubie Chen University of the Basque Country (UPV/EHU) E-20018 San Sebastián, Spain and IKERBASQUE, Basque Foundation for Science E-48011 Bilbao,
More information1 The Algebraic Normal Form
1 The Algebraic Normal Form Boolean maps can be expressed by polynomials this is the algebraic normal form (ANF). The degree as a polynomial is a first obvious measure of nonlinearity linear (or affine)
More informationA field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:
Byte multiplication 1 Field arithmetic A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: F is an abelian group under addition, meaning - F is closed under
More informationplus = +:RxR--->R, a binary operation; times = *:RxR--->R, another binary operation; constant elements zero = 0, one = 1 in R ;
Talk, Sept20 1. Commutative ring : a set R; operations: plus = +:RxR--->R, a binary operation; times = *:RxR--->R, another binary operation; constant elements zero = 0, one = 1 in R ; laws: unit laws zero
More informationMath 110 Midterm 1 Study Guide October 14, 2013
Name: For more practice exercises, do the study set problems in sections: 3.4 3.7, 4.1, and 4.2. 1. Find the domain of f, and express the solution in interval notation. (a) f(x) = x 6 D = (, ) or D = R
More informationON STRUCTURE AND COMMUTATIVITY OF NEAR - RINGS
Proyecciones Vol. 19, N o 2, pp. 113-124, August 2000 Universidad Católica del Norte Antofagasta - Chile ON STRUCTURE AND COMMUTATIVITY OF NEAR - RINGS H. A. S. ABUJABAL, M. A. OBAID and M. A. KHAN King
More informationNOTES ON CONGRUENCE n-permutability AND SEMIDISTRIBUTIVITY
NOTES ON CONGRUENCE n-permutability AND SEMIDISTRIBUTIVITY RALPH FREESE Abstract. In [1] T. Dent, K. Kearnes and Á. Szendrei define the derivative, Σ, of a set of equations Σ and show, for idempotent Σ,
More informationA Generalization of Boolean Rings
A Generalization of Boolean Rings Adil Yaqub Abstract: A Boolean ring satisfies the identity x 2 = x which, of course, implies the identity x 2 y xy 2 = 0. With this as motivation, we define a subboolean
More informationwhere c R and the content of f is one. 1
9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.
More informationCHAPTER 10: POLYNOMIALS (DRAFT)
CHAPTER 10: POLYNOMIALS (DRAFT) LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN The material in this chapter is fairly informal. Unlike earlier chapters, no attempt is made to rigorously
More informationRINGS IN POST ALGEBRAS. 1. Introduction
Acta Math. Univ. Comenianae Vol. LXXVI, 2(2007), pp. 263 272 263 RINGS IN POST ALGEBRAS S. RUDEANU Abstract. Serfati [7] defined a ring structure on every Post algebra. In this paper we determine all the
More informationAlgebras. Riley Chien. April 27, 2015
Algebras Riley Chien April 27, 2015 Copyright c Riley Chien. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or
More informationLesson 3: Polynomials and Exponents, Part 1
Lesson 2: Introduction to Variables Assessment Lesson 3: Polynomials and Exponents, Part 1 When working with algebraic expressions, variables raised to a power play a major role. In this lesson, we look
More informationG52DOA - Derivation of Algorithms Predicate Logic
G52DOA - Derivation of Algorithms Predicate Logic Venanzio Capretta Predicate Logic So far, we studied propositional logic, in which we started with unspecified propositional variables A, B, C, and combined
More informationBINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS. A CAYLEY THEOREM FOR DISTRIBUTIVE LATTICES
International Journal of Algebra and Computation Vol. 19, No. 1 (2009) 97 106 c World Scientific Publishing Company BINARY REPRESENTATIONS OF ALGEBRAS WITH AT MOST TWO BINARY OPERATIONS. A CAYLEY THEOREM
More informationContents. Appendix D (Inner Product Spaces) W-51. Index W-63
Contents Appendix D (Inner Product Spaces W-5 Index W-63 Inner city space W-49 W-5 Chapter : Appendix D Inner Product Spaces The inner product, taken of any two vectors in an arbitrary vector space, generalizes
More informationPOSITIVE POLYNOMIALS LECTURE NOTES (09: 10/05/10) Contents
POSITIVE POLYNOMIALS LECTURE NOTES (09: 10/05/10) SALMA KUHLMANN Contents 1. Proof of Hilbert s Theorem (continued) 1 2. The Motzkin Form 2 3. Robinson Method (1970) 3 3. The Robinson Form 4 1. PROOF OF
More informationarxiv: v1 [math.ra] 22 Dec 2018
On generating of idempotent aggregation functions on finite lattices arxiv:1812.09529v1 [math.ra] 22 Dec 2018 Michal Botur a, Radomír Halaš a, Radko Mesiar a,b, Jozef Pócs a,c a Department of Algebra and
More informationExistence and uniqueness: Picard s theorem
Existence and uniqueness: Picard s theorem First-order equations Consider the equation y = f(x, y) (not necessarily linear). The equation dictates a value of y at each point (x, y), so one would expect
More informationMath 418 Algebraic Geometry Notes
Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R
More informationSection VI.33. Finite Fields
VI.33 Finite Fields 1 Section VI.33. Finite Fields Note. In this section, finite fields are completely classified. For every prime p and n N, there is exactly one (up to isomorphism) field of order p n,
More informationChapter 5. Modular arithmetic. 5.1 The modular ring
Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence
More informationGeneralized Boolean and Boolean-Like Rings
International Journal of Algebra, Vol. 7, 2013, no. 9, 429-438 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ija.2013.2894 Generalized Boolean and Boolean-Like Rings Hazar Abu Khuzam Department
More informationInternational Workshop on Mathematics of Constraint Satisfaction: Algebra, Logic and Graph Theory
International Workshop on Mathematics of Constraint Satisfaction: Algebra, Logic and Graph Theory 20-24 March 2006 St Anne's College, University of Oxford www.comlab.ox.ac.uk/mathscsp Constraints & Algebra
More informationON A THEOREM OF TARTAKOWSKY
ON A THEOREM OF TARTAKOWSKY MICHAEL A. BENNETT Dedicated to the memory of Béla Brindza Abstract. Binomial Thue equations of the shape Aa n Bb n = 1 possess, for A and B positive integers and n 3, at most
More informationTHE WONDERLAND OF REFLECTIONS
THE WONDERLAND OF REFLECTIONS LIBOR BARTO, JAKUB OPRŠAL, AND MICHAEL PINSKER Abstract. A fundamental fact for the algebraic theory of constraint satisfaction problems (CSPs) over a fixed template is that
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationAlgebraic closure of some generalized convex sets
Algebraic closure of some generalized convex sets Anna B. ROMANOWSKA* Warsaw University of Technology, Poland Gábor CZÉDLI University of Szeged, Hungary 1 AFFINE SPACES AND CONVEX SETS 1. Real affine spaces
More informationMATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions.
MATH 409 Advanced Calculus I Lecture 12: Uniform continuity. Exponential functions. Uniform continuity Definition. A function f : E R defined on a set E R is called uniformly continuous on E if for every
More informationClones (3&4) Martin Goldstern. TACL Olomouc, June Discrete Mathematics and Geometry, TU Wien
Martin Goldstern Discrete Mathematics and Geometry, TU Wien TACL Olomouc, June 2017 Galois connections Let A, B be sets, R A B. For any S A and any T B let S u := {b B a S : arb} T l := {a A b T : arb}.
More informationOn a quasi-ordering on Boolean functions
Theoretical Computer Science 396 (2008) 71 87 www.elsevier.com/locate/tcs On a quasi-ordering on Boolean functions Miguel Couceiro a,b,, Maurice Pouzet c a Department of Mathematics and Statistics, University
More information3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall
c Dr Oksana Shatalov, Fall 2016 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from the set A to the set B is a correspondence that assigns to
More informationQuasi-reducible Polynomials
Quasi-reducible Polynomials Jacques Willekens 06-Dec-2008 Abstract In this article, we investigate polynomials that are irreducible over Q, but are reducible modulo any prime number. 1 Introduction Let
More informationarxiv:cs/ v1 [cs.cc] 13 Jun 2006
Approximability of Bounded Occurrence Max Ones Fredrik Kuivinen Department of Computer and Information Science, Linköpings Universitet, S-581 83 Linköping, Sweden, freku@ida.liu.se ariv:cs/0606057v1 [cs.cc]
More informationSection 33 Finite fields
Section 33 Finite fields Instructor: Yifan Yang Spring 2007 Review Corollary (23.6) Let G be a finite subgroup of the multiplicative group of nonzero elements in a field F, then G is cyclic. Theorem (27.19)
More informationPreprint MCS-P , Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, Ill., November 1993.
Preprint MCS-P386-1093, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, Ill., November 1993. Single Identities for Ternary Boolean Algebras R. Padmanabhan Department of
More informationDerivatives in 2D. Outline. James K. Peterson. November 9, Derivatives in 2D! Chain Rule
Derivatives in 2D James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University November 9, 2016 Outline Derivatives in 2D! Chain Rule Let s go back to
More informationx y More precisely, this equation means that given any ε > 0, there exists some δ > 0 such that
Chapter 2 Limits and continuity 21 The definition of a it Definition 21 (ε-δ definition) Let f be a function and y R a fixed number Take x to be a point which approaches y without being equal to y If there
More informationAlgebras with finite descriptions
Algebras with finite descriptions André Nies The University of Auckland July 19, 2005 Part 1: FA-presentability A countable structure in a finite signature is finite-automaton presentable (or automatic)
More informationLogic Synthesis and Verification
Logic Synthesis and Verification Boolean Algebra Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Fall 2014 1 2 Boolean Algebra Reading F. M. Brown. Boolean Reasoning:
More informationSTEP Support Programme. Pure STEP 1 Questions
STEP Support Programme Pure STEP 1 Questions 2012 S1 Q4 1 Preparation Find the equation of the tangent to the curve y = x at the point where x = 4. Recall that x means the positive square root. Solve the
More informationComputation of De Morgan and Quasi-De Morgan Functions
Computation of De Morgan and Quasi-De Morgan Functions Yu.M. Movsisyan Yerevan State University Yerevan, Armenia e-mail: yurimovsisyan@yahoo.com V.A. Aslanyan Yerevan State University Yerevan, Armenia
More informationClass Meeting # 9: Poisson s Formula, Harnack s Inequality, and Liouville s Theorem
MATH 8.52 COUSE NOTES - CLASS MEETING # 9 8.52 Introduction to PDEs, Fall 20 Professor: Jared Speck Class Meeting # 9: Poisson s Formula, Harnack s Inequality, and Liouville s Theorem. epresentation Formula
More informationTHE DEGREE DISTRIBUTION OF RANDOM PLANAR GRAPHS
THE DEGREE DISTRIBUTION OF RANDOM PLANAR GRAPHS Michael Drmota joint work with Omer Giménez and Marc Noy Institut für Diskrete Mathematik und Geometrie TU Wien michael.drmota@tuwien.ac.at http://www.dmg.tuwien.ac.at/drmota/
More informationLecture Notes on Metric Spaces
Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],
More informationbe any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism
21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore
More informationON ENDOMORPHISM MONOIDS OF PARTIAL ORDERS AND CENTRAL RELATIONS 1
Novi Sad J. Math. Vol. 38, No. 1, 2008, 111-125 ON ENDOMORPHISM MONOIDS OF PRTIL ORDERS ND CENTRL RELTIONS 1 Dragan Mašulović 2 bstract. In this paper we characterize pairs of Rosenberg s (ρ, σ) with the
More informationOn Additive Polynomials
On Additive Polynomials Zachary Scherr 1 Preliminaries The purpose of this article is to explore the following question: Question 1. Let K be a field. For which f(z) K[z] does f(a+b) = f(a)+f(b) for all
More informationLagrange Multipliers
Optimization with Constraints As long as algebra and geometry have been separated, their progress have been slow and their uses limited; but when these two sciences have been united, they have lent each
More informationImmerse Metric Space Homework
Immerse Metric Space Homework (Exercises -2). In R n, define d(x, y) = x y +... + x n y n. Show that d is a metric that induces the usual topology. Sketch the basis elements when n = 2. Solution: Steps
More informationDisjointness conditions in free products of. distributive lattices: An application of Ramsay's theorem. Harry Lakser< 1)
Proc. Univ. of Houston Lattice Theory Conf..Houston 1973 Disjointness conditions in free products of distributive lattices: An application of Ramsay's theorem. Harry Lakser< 1) 1. Introduction. Let L be
More informationMath Boot Camp Functions and Algebra
Fall 017 Math Boot Camp Functions and Algebra FUNCTIONS Much of mathematics relies on functions, the pairing (relation) of one object (typically a real number) with another object (typically a real number).
More informationDetermining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields
Determining elements of minimal index in an infinite family of totally real bicyclic biquadratic number fields István Gaál, University of Debrecen, Mathematical Institute H 4010 Debrecen Pf.12., Hungary
More informationFirst order Logic ( Predicate Logic) and Methods of Proof
First order Logic ( Predicate Logic) and Methods of Proof 1 Outline Introduction Terminology: Propositional functions; arguments; arity; universe of discourse Quantifiers Definition; using, mixing, negating
More informationChapter 8. Exploring Polynomial Functions. Jennifer Huss
Chapter 8 Exploring Polynomial Functions Jennifer Huss 8-1 Polynomial Functions The degree of a polynomial is determined by the greatest exponent when there is only one variable (x) in the polynomial Polynomial
More informationTESTING FOR A SEMILATTICE TERM
TESTING FOR A SEMILATTICE TERM RALPH FREESE, J.B. NATION, AND MATT VALERIOTE Abstract. This paper investigates the computational complexity of deciding if a given finite algebra is an expansion of a semilattice.
More informationClass Meeting # 9: Poisson s Formula, Harnack s Inequality, and Liouville s Theorem
MATH 85 COUSE NOTES - CLASS MEETING # 9 85 Introduction to PDEs, Fall 0 Professor: Jared Speck Class Meeting # 9: Poisson s Formula, Harnack s Inequality, and Liouville s Theorem epresentation Formula
More informationBoolean Algebra CHAPTER 15
CHAPTER 15 Boolean Algebra 15.1 INTRODUCTION Both sets and propositions satisfy similar laws, which are listed in Tables 1-1 and 4-1 (in Chapters 1 and 4, respectively). These laws are used to define an
More informationExtending Algebraic Operations to D-Completions
Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. Extending Algebraic Operations to D-Completions Klaus
More informationMathematics 426 Robert Gross Homework 9 Answers
Mathematics 4 Robert Gross Homework 9 Answers. Suppose that X is a normal random variable with mean µ and standard deviation σ. Suppose that PX > 9 PX
More informationDegree of commutativity of infinite groups
Degree of commutativity of infinite groups... or how I learnt about rational growth and ends of groups Motiejus Valiunas University of Southampton Groups St Andrews 2017 11th August 2017 The concept of
More informationLATTICE AND BOOLEAN ALGEBRA
2 LATTICE AND BOOLEAN ALGEBRA This chapter presents, lattice and Boolean algebra, which are basis of switching theory. Also presented are some algebraic systems such as groups, rings, and fields. 2.1 ALGEBRA
More informationMA22S3 Summary Sheet: Ordinary Differential Equations
MA22S3 Summary Sheet: Ordinary Differential Equations December 14, 2017 Kreyszig s textbook is a suitable guide for this part of the module. Contents 1 Terminology 1 2 First order separable 2 2.1 Separable
More informationMathematical Foundations of Logic and Functional Programming
Mathematical Foundations of Logic and Functional Programming lecture notes The aim of the course is to grasp the mathematical definition of the meaning (or, as we say, the semantics) of programs in two
More information(z 0 ) = lim. = lim. = f. Similarly along a vertical line, we fix x = x 0 and vary y. Setting z = x 0 + iy, we get. = lim. = i f
. Holomorphic Harmonic Functions Basic notation. Considering C as R, with coordinates x y, z = x + iy denotes the stard complex coordinate, in the usual way. Definition.1. Let f : U C be a complex valued
More informationBURGESS INEQUALITY IN F p 2. Mei-Chu Chang
BURGESS INEQUALITY IN F p 2 Mei-Chu Chang Abstract. Let be a nontrivial multiplicative character of F p 2. We obtain the following results.. Given ε > 0, there is δ > 0 such that if ω F p 2\F p and I,
More informationExpansions of Heyting algebras
1 / 16 Expansions of Heyting algebras Christopher Taylor La Trobe University Topology, Algebra, and Categories in Logic Prague, 2017 Motivation Congruences on Heyting algebras are determined exactly by
More informationA note on the Isomorphism Problem for Monomial Digraphs
A note on the Isomorphism Problem for Monomial Digraphs Aleksandr Kodess Department of Mathematics University of Rhode Island kodess@uri.edu Felix Lazebnik Department of Mathematical Sciences University
More informationIrreducible multivariate polynomials obtained from polynomials in fewer variables, II
Proc. Indian Acad. Sci. (Math. Sci.) Vol. 121 No. 2 May 2011 pp. 133 141. c Indian Academy of Sciences Irreducible multivariate polynomials obtained from polynomials in fewer variables II NICOLAE CIPRIAN
More informationEQ-algebras: primary concepts and properties
UNIVERSITY OF OSTRAVA Institute for Research and Applications of Fuzzy Modeling EQ-algebras: primary concepts and properties Vilém Novák Research report No. 101 Submitted/to appear: Int. Joint, Czech Republic-Japan
More informationMATH 307: Problem Set #3 Solutions
: Problem Set #3 Solutions Due on: May 3, 2015 Problem 1 Autonomous Equations Recall that an equilibrium solution of an autonomous equation is called stable if solutions lying on both sides of it tend
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More information1 Absolute values and discrete valuations
18.785 Number theory I Lecture #1 Fall 2015 09/10/2015 1 Absolute values and discrete valuations 1.1 Introduction At its core, number theory is the study of the ring Z and its fraction field Q. Many questions
More informationSTRICTLY ORDER PRIMAL ALGEBRAS
Acta Math. Univ. Comenianae Vol. LXIII, 2(1994), pp. 275 284 275 STRICTLY ORDER PRIMAL ALGEBRAS O. LÜDERS and D. SCHWEIGERT Partial orders and the clones of functions preserving them have been thoroughly
More informationWarm Up Lesson Presentation Lesson Quiz. Holt Algebra 2 2
6-7 Warm Up Lesson Presentation Lesson Quiz 2 Warm Up Identify all the real roots of each equation. 1. x 3 7x 2 + 8x + 16 = 0 1, 4 2. 2x 3 14x 12 = 0 1, 2, 3 3. x 4 + x 3 25x 2 27x = 0 4. x 4 26x 2 + 25
More informationSPECIAL POINTS AND LINES OF ALGEBRAIC SURFACES
SPECIAL POINTS AND LINES OF ALGEBRAIC SURFACES 1. Introduction As we have seen many times in this class we can encode combinatorial information about points and lines in terms of algebraic surfaces. Looking
More informationComplete permutation polynomials of monomial type
Complete permutation polynomials of monomial type Giovanni Zini (joint works with D. Bartoli, M. Giulietti and L. Quoos) (based on the work of thesis of E. Franzè) Università di Perugia Workshop BunnyTN
More informationSeries Solutions of Differential Equations
Chapter 6 Series Solutions of Differential Equations In this chapter we consider methods for solving differential equations using power series. Sequences and infinite series are also involved in this treatment.
More information