On the Structure of Finite Boolean Algebra Delin Tan, Ph.D.

Similar documents
Boolean Algebra Part 1

Chapter 9. Systems of Linear Equations

Logic in Computer Science: Logic Gates

THE DIMENSION OF A VECTOR SPACE

Section IV.21. The Field of Quotients of an Integral Domain

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Properties of Real Numbers

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

Algebraic expressions are a combination of numbers and variables. Here are examples of some basic algebraic expressions.

Negative Integer Exponents

8 Primes and Modular Arithmetic

Switching Algebra and Logic Gates

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

1. Prove that the empty set is a subset of every set.

Basic Proof Techniques

So let us begin our quest to find the holy grail of real analysis.

T ( a i x i ) = a i T (x i ).

SECOND DERIVATIVE TEST FOR CONSTRAINED EXTREMA

ON SOME CLASSES OF REGULAR ORDER SEMIGROUPS

Gröbner Bases and their Applications

26 Integers: Multiplication, Division, and Order

Undergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics

Chapter 3. Cartesian Products and Relations. 3.1 Cartesian Products

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

Full and Complete Binary Trees

Quotient Rings and Field Extensions

Continued Fractions and the Euclidean Algorithm

A characterization of trace zero symmetric nonnegative 5x5 matrices

DEFINABLE TYPES IN PRESBURGER ARITHMETIC

CHAPTER 3. Methods of Proofs. 1. Logical Arguments and Formal Proofs

MATH10212 Linear Algebra. Systems of Linear Equations. Definition. An n-dimensional vector is a row or a column of n numbers (or letters): a 1.

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

NOTES ON LINEAR TRANSFORMATIONS

LEARNING OBJECTIVES FOR THIS CHAPTER

0.8 Rational Expressions and Equations

On strong fairness in UNITY

Matrix Representations of Linear Transformations and Changes of Coordinates

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9

Discrete Mathematics and Probability Theory Fall 2009 Satish Rao, David Tse Note 2

it is easy to see that α = a

Mathematical Induction

CH3 Boolean Algebra (cont d)

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

Chapter 13: Basic ring theory

Every Positive Integer is the Sum of Four Squares! (and other exciting problems)

Binary Adders: Half Adders and Full Adders

Mathematics Review for MS Finance Students

Finite dimensional topological vector spaces

Clock Arithmetic and Modular Systems Clock Arithmetic The introduction to Chapter 4 described a mathematical system

Adding vectors We can do arithmetic with vectors. We ll start with vector addition and related operations. Suppose you have two vectors

SUM OF TWO SQUARES JAHNAVI BHASKAR

2.3. Finding polynomial functions. An Introduction:

4.5 Linear Dependence and Linear Independence

CONTENTS 1. Peter Kahn. Spring 2007

Indiana State Core Curriculum Standards updated 2009 Algebra I

Notes from February 11

ADDITIVE GROUPS OF RINGS WITH IDENTITY

8 Divisibility and prime numbers

3.1. RATIONAL EXPRESSIONS

SMALL SKEW FIELDS CÉDRIC MILLIET

Vocabulary. Term Page Definition Clarifying Example. biconditional statement. conclusion. conditional statement. conjecture.

ON GALOIS REALIZATIONS OF THE 2-COVERABLE SYMMETRIC AND ALTERNATING GROUPS

Answer Key for California State Standards: Algebra I

You know from calculus that functions play a fundamental role in mathematics.

(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.

Some strong sufficient conditions for cyclic homogeneous polynomial inequalities of degree four in nonnegative variables

Linear Algebra I. Ronald van Luijk, 2012

Click on the links below to jump directly to the relevant section

How To Prove The Dirichlet Unit Theorem

Math 223 Abstract Algebra Lecture Notes

Unified Lecture # 4 Vectors

LAKE ELSINORE UNIFIED SCHOOL DISTRICT

Boolean Algebra. Boolean Algebra. Boolean Algebra. Boolean Algebra

5.3 SOLVING TRIGONOMETRIC EQUATIONS. Copyright Cengage Learning. All rights reserved.

Group Theory. Contents

INTRODUCTORY SET THEORY

1.5. Factorisation. Introduction. Prerequisites. Learning Outcomes. Learning Style

1 Sets and Set Notation.

Linear Algebra. A vector space (over R) is an ordered quadruple. such that V is a set; 0 V ; and the following eight axioms hold:

Introduction. Appendix D Mathematical Induction D1

Solutions to Homework 10

a 11 x 1 + a 12 x a 1n x n = b 1 a 21 x 1 + a 22 x a 2n x n = b 2.

CS 3719 (Theory of Computation and Algorithms) Lecture 4

SYSTEMS OF PYTHAGOREAN TRIPLES. Acknowledgements. I would like to thank Professor Laura Schueller for advising and guiding me

Section 12.6: Directional Derivatives and the Gradient Vector

Breaking The Code. Ryan Lowe. Ryan Lowe is currently a Ball State senior with a double major in Computer Science and Mathematics and

GROUP ALGEBRAS. ANDREI YAFAEV

The last three chapters introduced three major proof techniques: direct,

Limits and Continuity

Computing exponents modulo a number: Repeated squaring

About the inverse football pool problem for 9 games 1

PYTHAGOREAN TRIPLES KEITH CONRAD

Vector and Matrix Norms

Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan

Computing divisors and common multiples of quasi-linear ordinary differential equations

COMBINATORIAL PROPERTIES OF THE HIGMAN-SIMS GRAPH. 1. Introduction

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

Row Echelon Form and Reduced Row Echelon Form

def: An axiom is a statement that is assumed to be true, or in the case of a mathematical system, is used to specify the system.

Mathematical Induction

Transcription:

On the Structure of Finite Boolean Algebra Delin Tan, Ph.D. Abstract Boolean algebra has very important applications in computer digital design. In this paper, we have investigated the structure of general finite Boolean Algebra and proved that the size of a Boolean Algebra is 2 n for some positive integer n and two finite Boolean Algebras are isomorphic if and only if they have the same size. Introduction to Boolean Algebra Boolean algebraic structure was firstly introduced by George Boole in 1854 [1]. The following definition was proposed by Edward V. Huntington [2]. Let B be a set having two operators + and satisfying the following conditions: 1. B is commutative under operators + and, i.e. x, y B, x+ y= y+x and x y= y x. 2. B is associative under operators + and, i.e. x, y, z B, (x+ y) + z = x+(y+ z) and (x y) z = x ( y z). 3. B has identity elements 0 with respect to +, i.e. x B, x+ 0 = x. B has identity elements 1 with respect to, i.e. x B, x 1 = x. 4. Operator is distributive over operator +, i.e. x, y, z B, x (y + z)= x y + x z. Operator + is distributive over operator, i.e. x, y, z B, x+ (y z)= (x+ y) (x + z). 5. x B, x' B (called the complementary element of x) such that x+ x'=1 and x x'=0. then {B, +, } is called a Boolean Algebra. Notes: 1. The following properties can be derived from the above definitions Property 1: x B, x + x = x. Property 2: x B, x x = x. Property 3: x B, x + 1 = 1. Property 4: x B, x 0 = 0. Property 5: x B, x' is unique and (x' )' = x. Property 6: x, y B, (x + y)' = x' y'. Property 7: x,y B, (x y)' = x' + y'. Property 8: x, y B, x + x y = x. Property 9: x,y B, x (x + y) = x. The detail proofs can be found in [3]. 2. There are no inverse operators for both + and in a Boolean Algebra, 3. Let B 1, B 2 be two Boolean algebras. If there exists a 1-1 mapping φ from B 1 onto B 2 such that φ keeps operations, i.e. x, y B 1, Journal of Mathematical Sciences & Mathematics Education, Vol. 5 No. 1 20

φ( x+ y)= φ( x)+ φ( y), φ( x y) = φ( x) φ( y), and φ( x') = [φ( x)]', then B 1 is called isomorphic to B 2, φ is called an isomorphism from B 1 to B 2. Examples: 1. Let B be a two elements set {true, false}. Let the operator + be the logic operator OR and operator be the logic operator AND. The {B, OR, AND} is a Boolean Algebra. 2. Let B be the set of all subsets of a set U. Let the operator + be the set operator union and operator be the set operator intersection. Then {B,, } is a Boolean Algebra. Some Lemmas Definition of minimal element: Let B be a Boolean Algebra and let e be a non-zero element of B. If x B and x 1 and x e, we always have x e=0, then e is called a minimal element of B. Note: A Boolean Algebra may have more than one minimal elements. Lemma 1: If e is a minimal element of Boolean algebra B, then x B, either x e = 0 or x e = e. This is because if x e 0, then either x=1 or x=e, therefore x e = e. Definition of partial relation <: Let x, y be two distinct non-zero elements of a Boolean Algebra B. If x y = x, then we say x<y or x is smaller than y. Note: Two elements of a Boolean algebra may not have smaller relation < at all. Lemma 2: Let x<y<z be three elements of a Boolean algebra, then x< z. Proof: If x = z, then x=x y=z y=y. It is a contradiction to x<y. So we have x z. Moreover, x=x y= x (y z) = (x y) z = x z. Therefore we have x <z. Lemma 3: Let B be a finite Boolean algebra, then minimal element exists. Proof: If the size of B is 2, then 1 is a minimal element. Now assume the size of B>2, so there exists an element x of B such that x 1, 0. If x is not a minimal element of B, then there exists an element y of B such that x y x and x y 0. Define x 2 = x y. Because x 2 x and x x 2 = x (x y) = (x x) y= x y= x 2, we get x 2 <x. If x 2 is not minimal, we can use the same way to find x 3 0 such that x 3 <x 2. If x 3 is not minimal, then we can continue to find smaller element x 4. If each step cannot yield a minimal element, we always can find a new smaller element by the above construction. From lemma 2, those constructed elements are all different. However, the size of B is finite; the above constructing procedure must be end after finite steps and yield a minimal element. Note: 1. If the size of B is 2, then 1 is its only one minimal element. Journal of Mathematical Sciences & Mathematics Education, Vol. 5 No. 1 21

2. If size of B > 2, then we have an element x 1, 0. From the above proof, we can find a minimal element a small than x. However, we also can find another minimal element b smaller than x'. Then a b= (a x) (b x') = 0. So a and b are different and the count of minimal elements is 2. Lemma 4: Let B be a finite Boolean algebra and e 1, e 2, e 3,..., e n be all its minimal elements, then e 1 +e 2 + e 3 + + e n = 1. Proof: If the size of B is 2, then 1 is its only one minimal element and the theorem holds. If the size of B>2, then n 2. Let y = e 1 +e 2 + e 3 + + e n. If y 1, then y' 0. From the proof of Lemma 3, there exists a minimal element x< y'. If x= e k for some k ( 1 k n), then e k= e k e k = e k x = e k (x y')= e k x ( e 1 +e 2 + + e n ) ' = e k x ( e 1 ' e 2 ' e n ')=0. This is a contradiction to the definition of the minimal element. Therefore we have e 1 +e 2 + e 3 + + e n = 1. Lemma 5: Let B be a finite Boolean algebra and let e 1, e 2, e 3,..., e n be all minimal elements of B. Then every element x of B has a unique linear expression x = c 1 e 1 + c 2 e 2 + c 3 e 3 + +c n e n, where either c k = 0 or c k = 1 for each k (1 k n). Therefore any element of B is a unique sum of several minimal elements. Proof: Let e 1, e 2, e 3,..., e n be all minimal elements of B. Then from Lemma 4 x B, x = x 1 = x ( e 1 +e 2 + e 3 + + e n ) = x e 1 + x e 2 + x e 3 + + x e n. From Lemma 1, x e k = 0 or x e k = e k for each k (1 k n). So x is a sum of several minimal elements and has expression x = c 1 e 1 + c 2 e 2 + c 3 e 3 + +c n e n. where c k = 0 or c k = 1 for each k (1 k n). If x has another expression x = d 1 e 1 + d 2 e 2 + d 3 e 3 + +d n e n. where either d k = 0 or d k = 1 each k (1 k n). Then c 1 e 1 + c 2 e 2 + c 3 e 3 + +c n e n = d 1 e 1 + d 2 e 2 + d 3 e 3 + +d n e n. For each k (1 k n), e k (c 1 e 1 + c 2 e 2 + c 3 e 3 + +c n e n )= e k ( d 1 e 1 + d 2 e 2 + d 3 e 3 + +d n e n ). Then we get c k e k =d k e k Because c k and d k are either 0 or 1, they must be the same. Therefore the expression is unique. Main Theorems Definition of Boolean Algebra B n : Let n>0 be an integer. Define set B n as the set like the following: B n ={ (a 1, a 2, a 3,, a n )}, where a k is integer 0 or 1 for each k (1 k n). Define operators +, and complementary operator ' in B n as the following: Journal of Mathematical Sciences & Mathematics Education, Vol. 5 No. 1 22

x, y B n, write x= (a 1, a 2, a 3,, a n ), y= (b 1, b 2, b 3,, b n ), Define x+y = (a 1 + b 1, a 2 + b 2, a 3 + b 3,, a n +b n ), where the operation rule for each component is 0 + 0 = 0, 0 + 1 = 1, 1 + 1 = 1. Define x y = (a 1 b 1, a 2 b 2, a 3 b 3,, a n b n ), where the operation rule for each component is the regular multiplication Define x' = (1 a 1, 1 a 2, 1 a 3,, 1 a n ), where the operation rule for each component is the regular subtraction. Then we can verify that B n is a Boolean algebra. We omit the detail verification process here. Now we have our main theorems: Theorem 1: Every finite Boolean Algebra is isomorphic to a finite Boolean Algebra B n for some integer n>0. Proof: Let B be a finite Boolean algebra and let e 1, e 2, e 3,..., e n be its all minimal elements of B. From lemma 5, x B, x has a unique linear expression x = c 1 e 1 + c 2 e 2 + c 3 e 3 + +c n e n. where c k = 0 or c k = 1 for each k (1 k n). Then define a mapping φ: Β B n as the following: φ(x) = (a 1, a 2, a 3,, a n ) where a k = 0 if c k = 0 and a k = 1 if c k = 1 for each k (1 k n). If we accept the elements 1 and 0 in B as integers in B n, we can simply define φ(x) = (c 1, c 2, c 3,, c n ) It is obviously the mapping φ is 1-1 and onto. Moreover, because for each k (1 k n) e k +0 = e k, e k +e k = e k, e k 0 = e k, e k e k = e k, we can verify that x, y B φ( x+ y)= φ( x)+ φ( y) and φ( x y) = φ( x) φ( y) This is because the elements on both sides of the equations have exactly the same coordinate expressions. Also it is easy to verify that φ( x') = [φ( x)]', We omit the detail verification steps here too. Therefore B is isomorphic to B n for some integer n>0 Theorem 2: The size of any finite Boolean Algebra is 2 n for some positive integer n. Proof: We only need to calculate the size of B n for integer n>0. There is only one element in B n having all ones as its component values. n For integer k (1 k n). there are elements in B n having k zeros as their k component values. Therefore the size of B n is 1 n n n... n + + + + + = 2 n. 1 2 3 n Journal of Mathematical Sciences & Mathematics Education, Vol. 5 No. 1 23

Corollary: Two finite Boolean Algebras are isomorphic if and only if they have the same size. Delin Tan, Ph.D., Southern University of New Orleans, USA References 1. Cori, Rene; Lascar, Daniel (2000), Mathematical Logic, Oxford University Press, 2. Huntington, E. V. (1933), "New sets of independent postulates for the algebra of logic", Transactions of the American Mathematical Society 35 (1): 274 304. 3. Mano and Ciletti (2006), Digital Design, Addison Wesley Longman. Journal of Mathematical Sciences & Mathematics Education, Vol. 5 No. 1 24