Elements of Representation Theory for Pawlak Information Systems
|
|
- Randall Allan Grant
- 5 years ago
- Views:
Transcription
1 Elements of Representation Theory for Pawlak Information Systems Marcin Wolski 1 and Anna Gomolińska 2 1 Maria Curie-Skłodowska University, Department of Logic and Philosophy of Science, Pl. Marii Curie-Skłodowskiej 4, Lublin, Poland, marcin.wolski@umcs.lublin.pl 2 Białystok University, Institute of Computer Science, Sosnowa 64, Białystok, Poland, anna.gom@math.uwb.edu.pl Abstract. Representation theory is a branch of mathematics whose original purpose was to represent information about abstract algebraic structures by means of methods of linear algebra (usually, by linear transformations and matrices). Rota in his famous Foundations defined a representation of a locally finite partially ordered set (poset) P in terms of a module over a ring A, which can be further extended to an associative A-algebra called incidence algebra of P. He applied this construction to solve a number of important problems in combinatorics. Our goal in this paper is to apply Rota s construction of incidence algebras to (arbitrary) Pawlak information systems. To be more precise, we analyse both incidence algebras and information systems in the context of granular computing. Therefore, starting from objects and an indiscernibility relation, we focus our attention upon information granules (i.e. equivalence classes) and a corresponding incidence algebra; finally, we discuss a lattice of closed ideals of this algebra (whose maximal elements serve as a representation of information granules). In this way we obtain a (partially ordered) set of maximal (closed) ideals which is isomorphic to the set of information granules of a Pawlak information system (also equipped with a natural information order). 1 Introduction Representation theory is a branch of mathematics which studies abstract algebraic structures by means of methods of linear algebra, with special emphasis put upon vector spaces and linear transformations. Roughly speaking, since the 1930s when Noether gave to the theory its modern settings, studying representations of an algebra has been actually studying modules over this algebra. In the paper we focus our attention on partially ordered sets (posets) regarded as abstract algebraic structures and incidence algebras regarded as their linear algebraic counterparts. To be more precise, in representation theory representations of posets are studied by means of modules of corresponding incidence algebras. The concept of an incidence algebra understood as an associative algebra over a ring, which corresponds to a poset, has been introduced by Rota in Foundations I. However, Rota actually established an incidence algebra a fundamental concept in combinatorics rather than in representation theory. The primary object of his study was a Möbius function of a given poset P, that is a special element
2 of the incidence algebra INC(P ) of P ; it turned out that the Möbius function was a fundamental invariant of posets. In contrast to his approach, in the present paper we are not interested in combinatorial properties of posets and their incidence algebras, but in their mutual relationships and possible applications to data analysis. For this reason we simplify a bit also representation theory and we focus our attention on special features of incidence algebras proved by Rota in [3]. Thus, in what follows, we discuss objects and the corresponding incidence ring, then we focus on equivalence classes of indiscernible objects (information granules) and the corresponding incidence algebra, and finally we shortly discuss a lattice of ideals of these rings whose elements (closed ideals) may serve as a representation of information granules. 2 Rough Sets and Granular Computing In this section we recall basic concepts from rough sets, however, we frame the presentation so as to fit the granular computing approach to data. Generally speaking, granular computing is a paradigm of (or better still, theoretical perspective on) information processing. It focuses on the idea that the knowledge which is present in data can be processed at various levels of resolution or scales; in other words, at various levels of granulation. Therefore in this section, while considering a partition of a set of objects (induced by an indiscernibility relation), we make further steps and equip this partition (regarded as a set of information granules) with some additional structure (e.g. order), which would reflect the information about objects on the level of granules (i.e. at a lower resolution). Definition 1 (Information System). A quadruple I = U, Att, V al, f is called an information system, where U is a non empty finite set of objects; Att is a non empty finite set of attributes; V al = A Att V al A, where V al A is a (non-empty) value domain of the attribute A; f : U Att P(V al) is an information function, such that for all A Att and a U, f(a, A) V al A. If f(a, A) for all a U and A Att, then the information system I is called complete; otherwise, it is called incomplete. If f(a, A) is a singleton (i.e. {val}, where val V al A ), for all a U and A Att, then it is called deterministic. Usually, an information system is supposed to be complete and deterministic. However, in what follows by an information system it is meant a system without any additional requirements. The language for object description in an information system U, Att, V al, f is the descriptor language L Desc [8]; its primitive formulas (atoms) are descriptors of the form [A = val], where A Att and val V al A, which is read as an attribute A has a value val: α ::= [A = val] α α β α β The set of atoms is denoted by Φ, and F Desc denotes the set of all well-formed formulas.
3 Definition 2 (L Desc Model). Let L Desc be a descriptor language over an information system U, Att, V al, f. Then U, v is a model, where v : U Φ {0, 1} is a function assigning to each pair (a, p), where a U and p Φ, a truth value. We usually write v(a, p) = 1 (or v a (p) = 1), which is read as for the object a, p is true. Let us define: v a ([A = val]) = 1 if val f(a, A), and 0 otherwise. As usual, the function v is extended to every formula α F Desc in the standard way. It is worth noticing that in the case of an incomplete information system, if f(a, A) =, then v a ([A = val]) = 0 for all values val V al A. With each object a U we associate the set of atoms of L Desc which are true for the object a: a LDesc = {p Φ v a (p) = 1} Whenever the context of an information system and the descriptor language over this system is clear, we shall omit the subscript and simply write a. The sets of this form induce a preorder on the set of objects U: a b iff a b, for all a, b U. Intuitively, a b means that we have more pieces of information about the object b than about a. As usual, when we have the same knowledge about two objects, then these objects are indiscernible, denoted by a IND b: Clearly, IND is an equivalence relation. a IND b iff a b and b a. Proposition 1. Let U, Att, V al, f be a complete and deterministic information system. Then and IND coincide. As usual, the partition of U induced by IND is denoted by U/IND. The proposition above tells that in the case of a complete information system, the quotient set U/IND inherits no order (different than the identity) from the preordered set (U, ). However, in the case of incomplete and nondeterministic systems there is non-trivial inheritance of information. Let [a] IND U/IND denote the equivalence class induced by a, then let us define on U/IND (by abuse of notation we use the same symbol as for U): [a] IND [b] IND iff a b. Proposition 2. Let U, Att, V al, f be an information system. Then (U/IND, ) is a partially ordered set. Actually, any preordered set P = (U, ) can be viewed as a partially ordered set U/IND with the order inherited from P. Furthermore, for finite sets the preordered set P can be viewed as a pair (U/IND, γ), where γ : U/IND N returns the number of elements of a given equivalence class. The following proposition comes from [1]. Proposition 3. Let P = (U, ) and P = (U, ) be two finite preordered sets. Sets P and P will be isomorphic if there exists an isomorphism f of partially ordered sets (U/IND, γ) and (U /IND, γ ) such that γ = f γ.
4 In consequence, in the case of a finite preordered set P = (U, ), we can pass between P and its representation (U/IND, γ) forth and back by means of a partially ordered set (U/IND, ) without any loss of information. Example 1. Let us consider a simple example of a data table describing patients and their mammography test results and the medical diagnosis concerning cancer (as depicted by Fig. 1). This information system is nondeterministic and for the object 5 we have v 5 ([T est result = P ositive]) = v 5 ([T est result = Negative]) = 1. In consequence, the relations and IND are given by = {(1, 1), (2, 2), (1, 2), (1, 5), (2, 1), (2, 5), (3, 3), (4, 4), (3, 4), (3, 5), (4, 3), (4, 5), (5, 5)}, IND = {(1, 1), (2, 2), (1, 2), (2, 1), (3, 3), (4, 4), (3, 4), (4, 3), (5, 5)}, respectively. The quotient set U/IND is equal to {[1] IND, [3] IND, [5] IND }, where [1] IND = [2] IND = {1, 2}, [3] IND = [4] IND = {3, 4} and [5] IND = {5}. Because these two relations are different we obtain a non-trivial poset (U/IN D, ), depicted in Fig. 1. Patient Test result Cancer 1 Positive No 2 Positive No 3 Negative No 4 Negative No 5 Positive, Negative No Fig. 1. A data table (i.e. information system) corresponding to the mammography test. γ([5] IND) = 1 γ([1] IND) = 2 γ([3] IND) = 2 Fig. 2. Hasse diagram of (U/IND, ).
5 Intuitively, the set U/IN D consists of basic information granules induced by an information system U, Att, V al, f. Thus the poset (U/IND, γ) actually represents information encoded by U, Att, V al, f from granular perspective. As said earlier, we can regard (U/IND, ) as (U, ) presented at a lower resolution. 3 Incidence Algebras Incidence algebras were introduced by Rota in [10] and elaborated in [3]. In order to make the presentation self-contained we recall some basic concepts from algebra (and only them) useful for a better understanding of the paper. Definition 3 (Module). A left module M over a ring A consists of an Abelian group (M, +) and an operation : A M M such that for all r, s A and a, b M we have: 1. r (a + b) = r a + r b, 2. (r + s) a = r a + s a, 3. (r s) a = r (s a), 4. 1 a = a if A has a multiplicative identity 1. A right A-module M is defined similarly, only the ring acts on the right; if A is commutative, then left A-modules are the same as right A-modules and are simply called A-modules. Definition 4 (Associative Algebra). Let A be a fixed commutative ring. An associative A-algebra is an additive Abelian group M which has the structure of both a ring and an A-module in such a way that ring multiplication is A-bilinear: for all r A and a, b M. r (a b) = (r a) b = a (r b), In other words, an A-algebra is an A-module equipped with the operation of multiplication (convolution) : M M M of elements of M such that the above equations hold. By the standard abuse of notation, we have used the same symbol for multiplication by scalars (i.e. r a, r A and a M) and multiplication (convolution) of elements of M (i.e. a b, a, b M). Obviously, the context always makes clear the meaning of the symbol. Definition 5 (Ideal). A subset I M will be called a left ideal of A-algebra if the following conditions hold: a + b I, for all a, b I, r a I, for all r A and a I, a b I, for all a M and b I. In other words, a left ideal I M is closed under addition, multiplication by scalars, and left multiplication by arbitrary elements of M. Replacing a b I by b a I we define a right ideal. A two-sided ideal is a subset that is both a left and a right ideal. Usually a two-sided ideal is referred to as an ideal.
6 Definition 6 (Product of Ideals). Let I and J be ideals in a ring A. The ideal product is defined by IJ = { a i b i a i I, b i J}. Let P = (U, ) be a locally finite partially ordered set (poset), that is the relation is a reflexive, transitive and antisymmetric, such that every interval [a, b] = {c U a c b} is finite. Definition 7 (Incidence Algebra). An incidence algebra INC A (P ) of a locally finite partially ordered set P = (U, ) is a set of all functions f : U U A, where A is a commutative ring with multiplicative identity such that f(a, b) = 0 if a b. Of course, the sum and multiplication by scalars of these functions are defined in the standard way: (f + g)(a, b) = f(a, b) + g(a, b) and (r f)(a, b) = r f(a, b) for all f, g Inc A (P ), a, b U and r A. Formally, it means that Inc A (P ) is an A-module, which can be made an A-algebra by the addition of convolution, justifying the term incidence algebra: (f g)(a, b) = f(a, c)g(c, b) c:a c b If a b, then there will be no c such that a c b and (f g)(a, b) = 0; such a sum we shall call degenerated. It is also worth noting that if P is finite and we present f Inc A (P ) as n n matrix m f, where n is the number of elements of U, with (a, b) entry f(a, b), then the operation of convolution will be the standard multiplication of matrices. Definition 8 (Standard Topology). The standard topology on an incidence algebra INC(P ) of a locally finite partially ordered set P = (U, ) is defined as follows: A sequence f 1, f 2, f 3,... converges to a function f if and only if f n (a, b) converges to f(a, b) in the field A for every a, b U, when n goes to the infinity. When studying of incidence algebras, a special role is played by ideals. When P is finite, then any two-sided ideal I is closed, i.e. I is a closed set in the standard topology. The following propositions proved by Rota in [3] are of special importance. Proposition 4. In a locally finite poset P, let S(P ) be the set of all segments of P ordered by inclusion. Then there is a natural anti-isomorphism between the lattice of closed ideals of INC(P ) and the lattice of order ideals of S(P ). Since the proposition actually reveals the structure of closed ideals, let us sketch a proof (whose full form can be found in [3]). Firstly, let us recall that an order ideal I of a poset P = (U, ) is a set I U such that if a b and b I, then a I. Let J be an ideal of INC(P ) and Z(J) be the family of all segments [a, b] such that f(a, b) = 0, for all f J. Then Z(J) is an order ideal of S(P ). Conversely, let Z be an order ideal of S(P ), and let J be the set of all f INC(P ) such that f(a, b) = 0 if [a, b] Z. Then J is a closed ideal of INC(P ).
7 Proposition 5. The closed maximal ideals of incidence algebra INC A (P ) are those of the form J a = {f INC(P ) f(a, a) = 0}. Actually, what is important from our perspective is a one-to-one correspondence between elements of P and maximal closed ideals of INC(P ) which have a very simple form. Therefore, we do not actually need to go into details of standard topologies of posets. It suffices to keep in mind that J a is a set of special functions f such that f(a, a) = 0. The proposition above suggests how to represent the elements of P while building the representation of P in terms of an incidence algebra; we shall come back to this idea soon. The following proposition comes from Stanley (see e.g. [11]) the proof is also presented in [3] and shows that an ordered set P is uniquely determined by its incidence algebra. Proposition 6. Let P and P be (locally finite) partially ordered sets, and let A be a field. If INC A (P ) and INC A (P ) are isomorphic as A-algebras, then P and P will be isomorphic. The concept of an incidence algebra originally introduced by Rota for partially ordered sets can naturally be extended for preordered sets (just by replacing a poset by a preordered set in the above definitions). Belding in [2] proved that: Proposition 7. Let P and P be finite preordered sets and let A be a field. Then if INC A (P ) and INC A (P ) are isomorphic as A-algebras, then P and P will be isomorphic as preordered sets. In the case of preordered sets and rings, INC A (P ) is often referred to as an incidence ring. To complete the presentation, let us recall the connection between incidence rings of a preordered set and its corresponding partial order (see e.g. [5]). Proposition 8. Let P = (U, ) be a finite preordered set and A a commutative ring with multiplicative identity, and ˆP = (U/IND, ). Then INC A (P ) and INC A ( ˆP ) are Morita equivalent. Recall that two unital rings A and A will be Morita equivalent if the categories of their left modules are equivalent. In the category of commutative rings the Morita equivalence is exactly an isomorphism. Of course, the operation of convolution need not be commutative. However, Morita equivalent rings have isomorphic lattices of ideals. Thus, since maximal (closed) ideals are supposed to serve as representation for points according to Proposition 5, we will not loose much information when we confine our interest to the case of partial orders and their incidence algebras. 4 A Linear Algebra of Pawlak Systems In Sect. 2 we presented an information system I = U, Att, V al, f as a partially ordered set P I = (U/IND, ), or better still, as (U/IND, γ). In consequence, we can
8 associate with every information system its incidence algebra INC(I) = INC(P I ). As already mentioned, the points of P I correspond to maximal closed ideals of the algebra IN C(I). Therefore, before we will proceed in this study we introduce some auxiliary concepts allowing us to focus attention upon these ideals. For elements a, b of a poset P define It is obvious that S(a, b) = {[c, d] [c, d] S(P ) and a c d b}, J S(a,b) = {f INC(P ) f(c, d) = 0 for all [c, d] S(a, b)}. J a = J S(a,a), and a b implies J S(a,b) = INC(P ). Of course, J S(a,b) is a closed ideal of INC(P ) for all a, b P, as required. Proposition 9. Let I = U, Att, V al, f be an information system. Then I is complete and deterministic if and only if for all a, b U, such that a b, J S(a,b) = INC(I). The property of being deterministic and complete system can also be expressed by means of the operation of convolution. Let us recall that convolution f g was defined by (f g)(a, b) = f(a, c)g(c, b). (1) c:a c b Hence, given that I is complete and deterministic, if a b then (f g)(a, b) = 0 for all f, g. In the case a = b we obtain (f g)(a, a) = f(a, a)g(a, a). Since the underlying ring A is commutative, we get that for such an information system I the convolution is also commutative. Proposition 10. Let I = U, Att, V al, f be an information system. Then I is complete and deterministic if and only if its incidence algebra INC(I) is commutative. Thus, incompleteness or nondeterminism of an information system means that the corresponding algebra is not commutative. Although this case is not necessarily desirable in data analysis, it is mathematically much more interesting than the case of complete and deterministic systems. In what follows we analyse the non-commutative cases. In order to make the presentation less abstract we shall take advantage of the correspondence of incidence algebras with rings of square matrices (e.g. [11]), which will allow us to visualise some features of these algebras. In the case of a finite set P = (U, ), we can present P by its incidence matrix c P as usual, that is, a square matrix n n, where n is the number of elements of U: { 1 if a b c P = [c ab ] a,b U with c ab = 0 if a b For example, the incidence matrix of (U/IND, ) from Sect. 2 (see Fig. 1), where U = {[1] IND, [3] IND, [5] IND }, is given by (to simplify the matrix we omit the subscript IND): c P = c [1][1] = 1 c [1][3] = 0 c [1][5] = 1 c [3][1] = 0 c [3][3] = 1 c [3][5] = 1 c [5][1] = 0 c [5][3] = 0 c [5][5] = 1
9 As usual, given a commutative ring A and a finite non-empty set U with n elements, we can consider the associative algebra M(A) of all square n n matrices m = [m ab ] a,b U with entries from A. As was mentioned in Sect. 3, elements of an incidence algebra INC(P ) of a finite partially ordered set P = (U, ), can be viewed as n n matrices: INC(P ) = {m = [m ab ] a,b U m ab = 0 if a b} In other words, INC(P ) is a subalgebra of M(A). It consists of matrices m f (labelled by elements of INC(P )), which are consistent with the incidence matrix c P : { m f f(a, b) if a b = [m ab ] a,b U with m ab = 0 if a b That is, for a finite P we have which is isomorphic to INC(P ) = {f : U U A f(a, b) = 0 if x y} {m f m ab = f(a, b) where f INC(P )}. For instance, the incidence algebra of our example consists of matrices of the following form: f([1], [1]) A f([1], [3]) = 0 f([1], [5]) A m f = f([3], [1]) = 0 f([3], [3]) A f([3], [5]) A f([5], [1]) = 0 f([5], [3]) = 0 f([5], [5]) A As was proved by Rota [3], the elements of P are in one-to-one correspondence with maximal elements of the lattice of the closed ideals J a of INC(P ). Fortunately, they have a very simple characteristic and we do not need to pay much attention to the standard topology τ associated with the poset P. In terms of matrices, elements of J a have the form m f with an additional requirement that m aa = f(a, a) = 0. Given representations for points, we now find out how the partial order is related to the maximal closed ideals. As usual, a < b means a b and a b. We say that b covers a, symbolically a b if a < b and no element c U satisfies a < c < b. Thus, what a Hasse diagram of P actually illustrates is the induced covering relation. Of course, a a for all a U. Since we deal with ideals of INC(P ), the only operation we have at hand is the product of ideals J a J b : J a J b = { f i g i f i J a, g i J b } Previously we introduced closed ideals of the form J S(a,b) ; so, let us ask when it is true that J a J b J S(a,b). It turns out that this inclusion holds in three simple cases: 1. If a b, then for any element f INC(P ) it holds that f(a, b) = If a = b, then h(a, a) = f(a, a)g(a, a) = 0 and h(b, b) = f(b, b)g(b, b) = The last case is when a b: (f g)(a, b) = f(a, a)g(a, b) + f(a, b)g(b, b) = 0
10 The first case may be ruled out by the restriction that J S(a,b) INC(P ). On the other hand, the other two cases are consistent with the order of P. In this way we obtained the following order on ideals. Definition 9 (Order on Ideals). Let INC(P ) be an incidence algebra of finite partially ordered set P over a field A. We shall say that J a J b if J S(a,b) INC(P ) and J a J b = J S(a,b). Now define J to be a transitive closure of. Generally, when a b then for every f J a J b it will hold that f(a) = 0 = f(b), and f(a, b) will be some value from A. However, in the case when a b, we shall also get that f(a, b) = 0. Thus, if a b, then Z(J a J b ) = {[a, a], [b, b], [a, b]} = S(a, b) and hence J a J b = J S(a,b). On the other hand, if a b and a b, then {[a, a], [b, b], [a, b]} S(a, b). But J a J b = J S(a,b) and hence S(a, b) = Z(J a J b ) {[a, a], [b, b], [a, b]}. It is possible only when a b. Proposition 11. Let IN C(P ) be an incidence algebra of a finite partially ordered set P over a field A. Then J is a partial order on J. If we define J a J b when a b and J a J b, then will be a covering relation induced by J. Proposition 12. Let INC(P ) be an incidence algebra of finite partially ordered set P over a field A, and let J be a set of closed maximal ideals equipped with J. Then P and J are isomorphic as partial orders. The easy computation brings us the following Hasse diagram of (J, J ) induced by our example (Fig. 3). Summing up, when we start with an information system I we J [5]IND = J c J [1]IND = J a J [3]IND = J b Fig. 3. Hasse diagram of (J, J). can associate with I two incidence algebras: (1) an incidence ring INC(P ) where P = (U, ), and (2) an incidence algebra INC(P ) where P = (U/IND, ). As we know, INC(P ) and INC(P ) are Morita equivalent. Therefore, their granular representations given in terms of maximal closed ideals J are isomorphic. It can also be derived from Proposition 4 in [3]: For a preordered set P = (U, ) and the corresponding poset P = (U/INC, ), their lattices of order ideals S(P ) and S(P ) are isomorphic, which amounts to the isomorphism of the lattices of closed ideals of incidence algebras. Hence, without any loss of important information we can proceed with
11 INC(P ) and use the results proved by Rota to build the corresponding partial order defined on maximal closed ideals. It is worth emphasising that the above representation works virtually for all structures used in rough sets. Consider e.g. a tolerance space (U, T ) where U is a set of objects and T is a tolerance relation, that is T is symmetric and reflexive. Define T (a) = {b U at b} and a b iff T (a) T (b). Then is a preorder and hence, as presented in the paper, we can produce two incidence rings whose lattices of ideals are isomorphic. Recently, Peters [9] suggested to use perceptual systems instead of information systems when dealing with visual information. The special role is played there by a perceptual tolerance relation which, as in the case of tolerance spaces, is an easy object to representation. In the last paragraph let us sketch some possible applications of the above algebras. As the reader may know, interaction is an emerging paradigm of models of computation. It is supposed to reflect some recent changes in technology such as multiagent systems and object-based distributed systems [4]. However, rough set framework seems to lack theoretical tools to deal with interactions: what we have at hand are standard settheoretical operations (which have already got simple interpretations). In our approach, we not only have an intersection of ideals at hand, but also their product, which may provide a means for modelling some kind of interaction between granules. Of course, the product has not provided such a means, but it may provide such a tool. Nonetheless, it seems that to deal with the problem of interactions we must at least seek some (conservative) enrichments of rough set framework, what we actually did in the article. Acknowledgement. The research has partly been supported by the grant N N from Ministry of Science and Higher Education of the Republic of Poland. Thanks to the anonymous referee for interesting comments. References 1. Abrams, G., Haefner, J., Del Rio, A.: Corrections and addenda to The isomorphism problem for incidence rings. Pacific J. of Mathematics 207 (2), 2002, Belding, W. R.: Incidence rings of pre-ordered sets. Notre Dame J. Formal Logic 14, 1973, Doubilet, P., Rota, G. C., Stanley, R. P.: On the foundations of combinatorial theory VI. The idea of generating function. In: Proceedings of the Sixth Berkeley Symposium on Mathematical Statistics and Probability (University of California, Berkeley, CA 1970/1971), Vol. II: Probability Theory, University of California Press, Berkeley, CA Goldin, D., Smolka, S. A., Wegner, P. (Eds.): Interactive Computation. The New Paradigm. Springer Haack, J.: Isomorphism of incidence rings. Illinois J. of Mathematics 28 (4), 1984, Pawlak, Z.: Rough sets. Int. J. Computer and Information Sci. 11, 1982, Pawlak, Z.: Rough logic. Bull. Polish Acad. Sci. (Tech. Sci.) 35 (5-6), 1987, Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer Academic Publisher 1991.
12 9. Peters, J. F.: Near sets. Special theory about nearness of objects. Fundamenta Informaticae 75, 2007, Rota, G. C.: On the foundations of combinatorial theory I. Z. Wahrscheinlichkeitstheo. Verwandte Geb. 2, 1964, Stanley, R. P.: Enumerative Combinatorics, Vol. I. Cambridge U. Press 1997.
Semantic Rendering of Data Tables: Multivalued Information Systems Revisited
Semantic Rendering of Data Tables: Multivalued Information Systems Revisited Marcin Wolski 1 and Anna Gomolińska 2 1 Maria Curie-Skłodowska University, Department of Logic and Cognitive Science, Pl. Marii
More informationUniversal Algebra for Logics
Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic
More informationOn minimal models of the Region Connection Calculus
Fundamenta Informaticae 69 (2006) 1 20 1 IOS Press On minimal models of the Region Connection Calculus Lirong Xia State Key Laboratory of Intelligent Technology and Systems Department of Computer Science
More information1. To be a grandfather. Objects of our consideration are people; a person a is associated with a person b if a is a grandfather of b.
20 [161016-1020 ] 3.3 Binary relations In mathematics, as in everyday situations, we often speak about a relationship between objects, which means an idea of two objects being related or associated one
More informationON IDEALS OF TRIANGULAR MATRIX RINGS
Periodica Mathematica Hungarica Vol 59 (1), 2009, pp 109 115 DOI: 101007/s10998-009-9109-y ON IDEALS OF TRIANGULAR MATRIX RINGS Johan Meyer 1, Jenő Szigeti 2 and Leon van Wyk 3 [Communicated by Mária B
More informationTopology Proceedings. COPYRIGHT c by Topology Proceedings. All rights reserved.
Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail: Topology Proceedings Department of Mathematics & Statistics Auburn University, Alabama 36849, USA E-mail: topolog@auburn.edu ISSN: 0146-4124
More informationClosure operators on sets and algebraic lattices
Closure operators on sets and algebraic lattices Sergiu Rudeanu University of Bucharest Romania Closure operators are abundant in mathematics; here are a few examples. Given an algebraic structure, such
More informationCommutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013)
Commutative Algebra Lecture 3: Lattices and Categories (Sept. 13, 2013) Navid Alaei September 17, 2013 1 Lattice Basics There are, in general, two equivalent approaches to defining a lattice; one is rather
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
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 informationCOMPACT ORTHOALGEBRAS
COMPACT ORTHOALGEBRAS ALEXANDER WILCE Abstract. We initiate a study of topological orthoalgebras (TOAs), concentrating on the compact case. Examples of TOAs include topological orthomodular lattices, and
More informationHierarchical Structures on Multigranulation Spaces
Yang XB, Qian YH, Yang JY. Hierarchical structures on multigranulation spaces. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY 27(6): 1169 1183 Nov. 2012. DOI 10.1007/s11390-012-1294-0 Hierarchical Structures
More informationTree sets. Reinhard Diestel
1 Tree sets Reinhard Diestel Abstract We study an abstract notion of tree structure which generalizes treedecompositions of graphs and matroids. Unlike tree-decompositions, which are too closely linked
More informationBoolean Algebras. Chapter 2
Chapter 2 Boolean Algebras Let X be an arbitrary set and let P(X) be the class of all subsets of X (the power set of X). Three natural set-theoretic operations on P(X) are the binary operations of union
More informationClass Notes on Poset Theory Johan G. Belinfante Revised 1995 May 21
Class Notes on Poset Theory Johan G Belinfante Revised 1995 May 21 Introduction These notes were originally prepared in July 1972 as a handout for a class in modern algebra taught at the Carnegie-Mellon
More informationEquality of P-partition Generating Functions
Bucknell University Bucknell Digital Commons Honors Theses Student Theses 2011 Equality of P-partition Generating Functions Ryan Ward Bucknell University Follow this and additional works at: https://digitalcommons.bucknell.edu/honors_theses
More informationA MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ
A MODEL-THEORETIC PROOF OF HILBERT S NULLSTELLENSATZ NICOLAS FORD Abstract. The goal of this paper is to present a proof of the Nullstellensatz using tools from a branch of logic called model theory. In
More informationKnowledge spaces from a topological point of view
Knowledge spaces from a topological point of view V.I.Danilov Central Economics and Mathematics Institute of RAS Abstract In this paper we consider the operations of restriction, extension and gluing of
More informationCW complexes. Soren Hansen. This note is meant to give a short introduction to CW complexes.
CW complexes Soren Hansen This note is meant to give a short introduction to CW complexes. 1. Notation and conventions In the following a space is a topological space and a map f : X Y between topological
More informationA Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries
A Discrete Duality Between Nonmonotonic Consequence Relations and Convex Geometries Johannes Marti and Riccardo Pinosio Draft from April 5, 2018 Abstract In this paper we present a duality between nonmonotonic
More informationA Generalized Decision Logic in Interval-set-valued Information Tables
A Generalized Decision Logic in Interval-set-valued Information Tables Y.Y. Yao 1 and Qing Liu 2 1 Department of Computer Science, University of Regina Regina, Saskatchewan, Canada S4S 0A2 E-mail: yyao@cs.uregina.ca
More informationFinite homogeneous and lattice ordered effect algebras
Finite homogeneous and lattice ordered effect algebras Gejza Jenča Department of Mathematics Faculty of Electrical Engineering and Information Technology Slovak Technical University Ilkovičova 3 812 19
More information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set
More informationSet theory. Math 304 Spring 2007
Math 304 Spring 2007 Set theory Contents 1. Sets 2 1.1. Objects and set formation 2 1.2. Unions and intersections 3 1.3. Differences 4 1.4. Power sets 4 1.5. Ordered pairs and binary,amscdcartesian products
More informationSection Summary. Relations and Functions Properties of Relations. Combining Relations
Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included
More informationNEAR GROUPS ON NEARNESS APPROXIMATION SPACES
Hacettepe Journal of Mathematics and Statistics Volume 414) 2012), 545 558 NEAR GROUPS ON NEARNESS APPROXIMATION SPACES Ebubekir İnan and Mehmet Ali Öztürk Received 26:08:2011 : Accepted 29:11:2011 Abstract
More information18.S097 Introduction to Proofs IAP 2015 Lecture Notes 1 (1/5/2015)
18.S097 Introduction to Proofs IAP 2015 Lecture Notes 1 (1/5/2015) 1. Introduction The goal for this course is to provide a quick, and hopefully somewhat gentle, introduction to the task of formulating
More information0. Introduction 1 0. INTRODUCTION
0. Introduction 1 0. INTRODUCTION In a very rough sketch we explain what algebraic geometry is about and what it can be used for. We stress the many correlations with other fields of research, such as
More information1. A Little Set Theory
. A Little Set Theory I see it, but I don t believe it. Cantor to Dedekind 29 June 877 Functions are the single most important idea pervading modern mathematics. We will assume the informal definition
More informationA Logical Formulation of the Granular Data Model
2008 IEEE International Conference on Data Mining Workshops A Logical Formulation of the Granular Data Model Tuan-Fang Fan Department of Computer Science and Information Engineering National Penghu University
More informationContinuity and the Logic of Perception. John L. Bell. In his On What is Continuous of 1914 ([2]), Franz Brentano makes the following observation:
Continuity and the Logic of Perception by John L. Bell In his On What is Continuous of 1914 ([2]), Franz Brentano makes the following observation: If we imagine a chess-board with alternate blue and red
More informationLecture 1: Lattice(I)
Discrete Mathematics (II) Spring 207 Lecture : Lattice(I) Lecturer: Yi Li Lattice is a special algebra structure. It is also a part of theoretic foundation of model theory, which formalizes the semantics
More informationz -FILTERS AND RELATED IDEALS IN C(X) Communicated by B. Davvaz
Algebraic Structures and Their Applications Vol. 2 No. 2 ( 2015 ), pp 57-66. z -FILTERS AND RELATED IDEALS IN C(X) R. MOHAMADIAN Communicated by B. Davvaz Abstract. In this article we introduce the concept
More informationA Family of Finite De Morgan Algebras
A Family of Finite De Morgan Algebras Carol L Walker Department of Mathematical Sciences New Mexico State University Las Cruces, NM 88003, USA Email: hardy@nmsuedu Elbert A Walker Department of Mathematical
More informationCOMBINATORIAL GROUP THEORY NOTES
COMBINATORIAL GROUP THEORY NOTES These are being written as a companion to Chapter 1 of Hatcher. The aim is to give a description of some of the group theory required to work with the fundamental groups
More informationConnectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).
Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of well-known results.
More informationTHE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter
THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,
More information1 Commutative Rings with Identity
1 Commutative Rings with Identity The first-year courses in (Abstract) Algebra concentrated on Groups: algebraic structures where there is basically one algebraic operation multiplication with the associated
More informationcse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska
cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 3 CHAPTER 1 SETS, RELATIONS, and LANGUAGES 6. Closures and Algorithms 7. Alphabets and Languages 8. Finite Representation
More informationOn Linear Subspace Codes Closed under Intersection
On Linear Subspace Codes Closed under Intersection Pranab Basu Navin Kashyap Abstract Subspace codes are subsets of the projective space P q(n), which is the set of all subspaces of the vector space F
More informationTWO TYPES OF ONTOLOGICAL STRUCTURE: Concepts Structures and Lattices of Elementary Situations
Logic and Logical Philosophy Volume 21 (2012), 165 174 DOI: 10.12775/LLP.2012.009 Janusz Kaczmarek TWO TYPES OF ONTOLOGICAL STRUCTURE: Concepts Structures and Lattices of Elementary Situations Abstract.
More informationCATEGORY THEORY. Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths.
CATEGORY THEORY PROFESSOR PETER JOHNSTONE Cats have been around for 70 years. Eilenberg + Mac Lane =. Cats are about building bridges between different parts of maths. Definition 1.1. A category C consists
More informationThe Integers. Peter J. Kahn
Math 3040: Spring 2009 The Integers Peter J. Kahn Contents 1. The Basic Construction 1 2. Adding integers 6 3. Ordering integers 16 4. Multiplying integers 18 Before we begin the mathematics of this section,
More informationRough Sets, Rough Relations and Rough Functions. Zdzislaw Pawlak. Warsaw University of Technology. ul. Nowowiejska 15/19, Warsaw, Poland.
Rough Sets, Rough Relations and Rough Functions Zdzislaw Pawlak Institute of Computer Science Warsaw University of Technology ul. Nowowiejska 15/19, 00 665 Warsaw, Poland and Institute of Theoretical and
More informationTHE SURE-THING PRINCIPLE AND P2
Economics Letters, 159: 221 223, 2017 DOI 10.1016/j.econlet.2017.07.027 THE SURE-THING PRINCIPLE AND P2 YANG LIU Abstract. This paper offers a fine analysis of different versions of the well known sure-thing
More informationLocally Convex Vector Spaces II: Natural Constructions in the Locally Convex Category
LCVS II c Gabriel Nagy Locally Convex Vector Spaces II: Natural Constructions in the Locally Convex Category Notes from the Functional Analysis Course (Fall 07 - Spring 08) Convention. Throughout this
More informationA multiplicative deformation of the Möbius function for the poset of partitions of a multiset
Contemporary Mathematics A multiplicative deformation of the Möbius function for the poset of partitions of a multiset Patricia Hersh and Robert Kleinberg Abstract. The Möbius function of a partially ordered
More informationQuantum logics with given centres and variable state spaces Mirko Navara 1, Pavel Ptak 2 Abstract We ask which logics with a given centre allow for en
Quantum logics with given centres and variable state spaces Mirko Navara 1, Pavel Ptak 2 Abstract We ask which logics with a given centre allow for enlargements with an arbitrary state space. We show in
More informationTHE SURE-THING PRINCIPLE AND P2
Economics Letters, 159: 221 223, 2017. Doi: 10.1016/j.econlet.2017.07.027 THE SURE-THING PRINCIPLE AND P2 YANG LIU Abstract. This paper offers a fine analysis of different versions of the well known sure-thing
More informationLattice Theory Lecture 4. Non-distributive lattices
Lattice Theory Lecture 4 Non-distributive lattices John Harding New Mexico State University www.math.nmsu.edu/ JohnHarding.html jharding@nmsu.edu Toulouse, July 2017 Introduction Here we mostly consider
More informationA quasisymmetric function generalization of the chromatic symmetric function
A quasisymmetric function generalization of the chromatic symmetric function Brandon Humpert University of Kansas Lawrence, KS bhumpert@math.ku.edu Submitted: May 5, 2010; Accepted: Feb 3, 2011; Published:
More informationNoncommutative geometry and quantum field theory
Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 11
18.312: Algebraic Combinatorics Lionel Levine Lecture date: March 15, 2011 Lecture 11 Notes by: Ben Bond Today: Mobius Algebras, µ( n ). Test: The average was 17. If you got < 15, you have the option to
More informationarxiv: v1 [math.ra] 1 Apr 2015
BLOCKS OF HOMOGENEOUS EFFECT ALGEBRAS GEJZA JENČA arxiv:1504.00354v1 [math.ra] 1 Apr 2015 Abstract. Effect algebras, introduced by Foulis and Bennett in 1994, are partial algebras which generalize some
More informationThe Integers. Math 3040: Spring Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers Multiplying integers 12
Math 3040: Spring 2011 The Integers Contents 1. The Basic Construction 1 2. Adding integers 4 3. Ordering integers 11 4. Multiplying integers 12 Before we begin the mathematics of this section, it is worth
More informationClC (X ) : X ω X } C. (11)
With each closed-set system we associate a closure operation. Definition 1.20. Let A, C be a closed-set system. Define Cl C : : P(A) P(A) as follows. For every X A, Cl C (X) = { C C : X C }. Cl C (X) is
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato September 10, 2015 ABSTRACT. This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a
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 informationJónsson posets and unary Jónsson algebras
Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal
More informationwhere Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset
Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More informationTopological Data Analysis - Spring 2018
Topological Data Analysis - Spring 2018 Simplicial Homology Slightly rearranged, but mostly copy-pasted from Harer s and Edelsbrunner s Computational Topology, Verovsek s class notes. Gunnar Carlsson s
More informationCONDITIONS THAT FORCE AN ORTHOMODULAR POSET TO BE A BOOLEAN ALGEBRA. 1. Basic notions
Tatra Mountains Math. Publ. 10 (1997), 55 62 CONDITIONS THAT FORCE AN ORTHOMODULAR POSET TO BE A BOOLEAN ALGEBRA Josef Tkadlec ABSTRACT. We introduce two new classes of orthomodular posets the class of
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationFields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.
Fields and Galois Theory Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory. This should be a reasonably logical ordering, so that a result here should
More informationHOMOLOGY THEORIES INGRID STARKEY
HOMOLOGY THEORIES INGRID STARKEY Abstract. This paper will introduce the notion of homology for topological spaces and discuss its intuitive meaning. It will also describe a general method that is used
More informationThe prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce
The prime spectrum of MV-algebras based on a joint work with A. Di Nola and P. Belluce Luca Spada Department of Mathematics and Computer Science University of Salerno www.logica.dmi.unisa.it/lucaspada
More informationCHAPTER 3: THE INTEGERS Z
CHAPTER 3: THE INTEGERS Z MATH 378, CSUSM. SPRING 2009. AITKEN 1. Introduction The natural numbers are designed for measuring the size of finite sets, but what if you want to compare the sizes of two sets?
More informationSupplementary Material for MTH 299 Online Edition
Supplementary Material for MTH 299 Online Edition Abstract This document contains supplementary material, such as definitions, explanations, examples, etc., to complement that of the text, How to Think
More informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationPartial, Total, and Lattice Orders in Group Theory
Partial, Total, and Lattice Orders in Group Theory Hayden Harper Department of Mathematics and Computer Science University of Puget Sound April 23, 2016 Copyright c 2016 Hayden Harper. Permission is granted
More informationA new Approach to Drawing Conclusions from Data A Rough Set Perspective
Motto: Let the data speak for themselves R.A. Fisher A new Approach to Drawing Conclusions from Data A Rough et Perspective Zdzisław Pawlak Institute for Theoretical and Applied Informatics Polish Academy
More informationINITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY. the affine space of dimension k over F. By a variety in A k F
INITIAL COMPLEX ASSOCIATED TO A JET SCHEME OF A DETERMINANTAL VARIETY BOYAN JONOV Abstract. We show in this paper that the principal component of the first order jet scheme over the classical determinantal
More informationLecture 4. 1 Circuit Complexity. Notes on Complexity Theory: Fall 2005 Last updated: September, Jonathan Katz
Notes on Complexity Theory: Fall 2005 Last updated: September, 2005 Jonathan Katz Lecture 4 1 Circuit Complexity Circuits are directed, acyclic graphs where nodes are called gates and edges are called
More informationBoolean Algebra and Propositional Logic
Boolean Algebra and Propositional Logic Takahiro Kato June 23, 2015 This article provides yet another characterization of Boolean algebras and, using this characterization, establishes a more direct connection
More informationchapter 12 MORE MATRIX ALGEBRA 12.1 Systems of Linear Equations GOALS
chapter MORE MATRIX ALGEBRA GOALS In Chapter we studied matrix operations and the algebra of sets and logic. We also made note of the strong resemblance of matrix algebra to elementary algebra. The reader
More informationThe Logic of Partitions
The Logic of Partitions Introduction to the Dual of "Propositional" Logic David Ellerman Philosophy U. of California/Riverside U. of Ljubljana, Sept. 8, 2015 David Ellerman Philosophy U. of California/Riverside
More informationCategories and functors
Lecture 1 Categories and functors Definition 1.1 A category A consists of a collection ob(a) (whose elements are called the objects of A) for each A, B ob(a), a collection A(A, B) (whose elements are called
More informationTABLEAU SYSTEM FOR LOGIC OF CATEGORIAL PROPOSITIONS AND DECIDABILITY
Bulletin of the Section of Logic Volume 37:3/4 (2008), pp. 223 231 Tomasz Jarmużek TABLEAU SYSTEM FOR LOGIC OF CATEGORIAL PROPOSITIONS AND DECIDABILITY Abstract In the article we present an application
More information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
More informationA NATURAL EXTENSION OF THE YOUNG PARTITIONS LATTICE
A NATURAL EXTENSION OF THE YOUNG PARTITIONS LATTICE C. BISI, G. CHIASELOTTI, G. MARINO, P.A. OLIVERIO Abstract. Recently Andrews introduced the concept of signed partition: a signed partition is a finite
More informationSets with Partial Memberships A Rough Set View of Fuzzy Sets
Sets with Partial Memberships A Rough Set View of Fuzzy Sets T. Y. Lin Department of Mathematics and Computer Science San Jose State University San Jose, California 95192-0103 E-mail: tylin@cs.sjsu.edu
More informationConstructions of Derived Equivalences of Finite Posets
Constructions of Derived Equivalences of Finite Posets Sefi Ladkani Einstein Institute of Mathematics The Hebrew University of Jerusalem http://www.ma.huji.ac.il/~sefil/ 1 Notions X Poset (finite partially
More informationYOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP
YOUNG TABLEAUX AND THE REPRESENTATIONS OF THE SYMMETRIC GROUP YUFEI ZHAO ABSTRACT We explore an intimate connection between Young tableaux and representations of the symmetric group We describe the construction
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationDIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO
DIFFERENTIAL POSETS SIMON RUBINSTEIN-SALZEDO Abstract. In this paper, we give a sampling of the theory of differential posets, including various topics that excited me. Most of the material is taken from
More information2. Introduction to commutative rings (continued)
2. Introduction to commutative rings (continued) 2.1. New examples of commutative rings. Recall that in the first lecture we defined the notions of commutative rings and field and gave some examples of
More information2. The Concept of Convergence: Ultrafilters and Nets
2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two
More informationALGEBRAIC PROPERTIES OF BIER SPHERES
LE MATEMATICHE Vol. LXVII (2012 Fasc. I, pp. 91 101 doi: 10.4418/2012.67.1.9 ALGEBRAIC PROPERTIES OF BIER SPHERES INGA HEUDTLASS - LUKAS KATTHÄN We give a classification of flag Bier spheres, as well as
More informationMEREOLOGICAL FUSION AS AN UPPER BOUND
Bulletin of the Section of Logic Volume 42:3/4 (2013), pp. 135 149 Rafał Gruszczyński MEREOLOGICAL FUSION AS AN UPPER BOUND Abstract Among characterizations of mereological set that can be found in the
More informationDenotational Semantics
5 Denotational Semantics In the operational approach, we were interested in how a program is executed. This is contrary to the denotational approach, where we are merely interested in the effect of executing
More informationOn certain Regular Maps with Automorphism group PSL(2, p) Martin Downs
BULLETIN OF THE GREEK MATHEMATICAL SOCIETY Volume 53, 2007 (59 67) On certain Regular Maps with Automorphism group PSL(2, p) Martin Downs Received 18/04/2007 Accepted 03/10/2007 Abstract Let p be any prime
More informationAlgebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014
Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................
More informationarxiv: v2 [math.co] 3 Jan 2019
IS THE SYMMETRIC GROUP SPERNER? arxiv:90.0097v2 [math.co] 3 Jan 209 LARRY H. HARPER AND GENE B. KIM Abstract. An antichain A in a poset P is a subset of P in which no two elements are comparable. Sperner
More informationCAHIERS DE TOPOLOGIE ET Vol. LI-2 (2010) GEOMETRIE DIFFERENTIELLE CATEGORIQUES ON ON REGULAR AND HOMOLOGICAL CLOSURE OPERATORS by Maria Manuel CLEMENT
CAHIERS DE TOPOLOGIE ET Vol. LI-2 (2010) GEOMETRIE DIFFERENTIELLE CATEGORIQUES ON ON REGULAR AND HOMOLOGICAL CLOSURE OPERATORS by Maria Manuel CLEMENTINO and by Maria Manuel Gonçalo CLEMENTINO GUTIERRES
More information5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mci
5-valued Non-deterministic Semantics for The Basic Paraconsistent Logic mci Arnon Avron School of Computer Science, Tel-Aviv University http://www.math.tau.ac.il/ aa/ March 7, 2008 Abstract One of the
More information