|
Ziegler Spectrum
In mathematics, the (right) Ziegler spectrum of a ring ''R'' is a topological space whose points are (isomorphism classes of) indecomposable pure-injective right ''R''-modules. Its closed subsets correspond to theories of modules closed under arbitrary products and direct summands. Ziegler spectra are named after Martin Ziegler, who first defined and studied them in 1984. Definition Let ''R'' be a ring (associative, with 1, not necessarily commutative). A (right) pp-''n''-formula is a formula in the language of (right) ''R''-modules of the form : \exists \overline \ (\overline,\overline) A=0 where \ell,n,m are natural numbers, A is an (\ell+n)\times m matrix with entries from ''R'', and \overline is an \ell-tuple of variables and \overline is an n-tuple of variables. The (right) Ziegler spectrum, \operatorname_R, of ''R'' is the topological space whose points are isomorphism classes of indecomposable pure-injective right modules, denoted by \operatorname_R, and the topology ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting poin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring (mathematics)
In mathematics, rings are algebraic structures that generalize fields: multiplication need not be commutative and multiplicative inverses need not exist. In other words, a ''ring'' is a set equipped with two binary operations satisfying properties analogous to those of addition and multiplication of integers. Ring elements may be numbers such as integers or complex numbers, but they may also be non-numerical objects such as polynomials, square matrices, functions, and power series. Formally, a ''ring'' is an abelian group whose operation is called ''addition'', with a second binary operation called ''multiplication'' that is associative, is distributive over the addition operation, and has a multiplicative identity element. (Some authors use the term " " with a missing i to refer to the more general structure that omits this last requirement; see .) Whether a ring is commutative (that is, whether the order in which two elements are multiplied might change the resu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Space
In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called points, along with an additional structure called a topology, which can be defined as a set of neighbourhoods for each point that satisfy some axioms formalizing the concept of closeness. There are several equivalent definitions of a topology, the most commonly used of which is the definition through open sets, which is easier than the others to manipulate. A topological space is the most general type of a mathematical space that allows for the definition of limits, continuity, and connectedness. Common types of topological spaces include Euclidean spaces, metric spaces and manifolds. Although very general, the concept of topological spaces is fundamental, and used in virtually every branch of modern mathematics. The study of topologi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Indecomposable Module
In abstract algebra, a module is indecomposable if it is non-zero and cannot be written as a direct sum of two non-zero submodules. Jacobson (2009), p. 111. Indecomposable is a weaker notion than simple module (which is also sometimes called irreducible module): simple means "no proper submodule" N < M, while indecomposable "not expressible as ". A direct sum of indecomposables is called completely decomposable; this is weaker than being semisimple, which is a direct sum of s. A direct sum decomposition of a module into indecomposable modules is called an |
Algebraically Compact
In mathematics, algebraically compact modules, also called pure-injective modules, are modules that have a certain "nice" property which allows the solution of infinite systems of equations in the module by finitary means. The solutions to these systems allow the extension of certain kinds of module homomorphisms. These algebraically compact modules are analogous to injective modules, where one can extend all module homomorphisms. All injective modules are algebraically compact, and the analogy between the two is made quite precise by a category embedding. Definitions Let be a ring, and a left -module. Consider a system of infinitely many linear equations :\sum_ r_x_j = m_i, where both sets and may be infinite, m_i\in M, and for each the number of nonzero r_\in R is finite. The goal is to decide whether such a system has a ''solution'', that is whether there exist elements of such that all the equations of the system are simultaneously satisfied. (It is not required th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Closed Set
In geometry, topology, and related branches of mathematics, a closed set is a set whose complement is an open set. In a topological space, a closed set can be defined as a set which contains all its limit points. In a complete metric space, a closed set is a set which is closed under the limit operation. This should not be confused with a closed manifold. Equivalent definitions By definition, a subset A of a topological space (X, \tau) is called if its complement X \setminus A is an open subset of (X, \tau); that is, if X \setminus A \in \tau. A set is closed in X if and only if it is equal to its closure in X. Equivalently, a set is closed if and only if it contains all of its limit points. Yet another equivalent definition is that a set is closed if and only if it contains all of its boundary points. Every subset A \subseteq X is always contained in its (topological) closure in X, which is denoted by \operatorname_X A; that is, if A \subseteq X then A \subseteq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subbasis
In topology, a subbase (or subbasis, prebase, prebasis) for a topological space X with topology T is a subcollection B of T that generates T, in the sense that T is the smallest topology containing B. A slightly different definition is used by some authors, and there are other useful equivalent formulations of the definition; these are discussed below. Definition Let X be a topological space with topology T. A subbase of T is usually defined as a subcollection B of T satisfying one of the two following equivalent conditions: #The subcollection B ''generates'' the topology T. This means that T is the smallest topology containing B: any topology T^\prime on X containing B must also contain T. #The collection of open sets consisting of all finite intersections of elements of B, together with the set X, forms a basis for T. This means that every proper open set in T can be written as a union of finite intersections of elements of B. Explicitly, given a point x in an open set U \sub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hausdorff Space
In topology and related branches of mathematics, a Hausdorff space ( , ), separated space or T2 space is a topological space where, for any two distinct points, there exist neighbourhoods of each which are disjoint from each other. Of the many separation axioms that can be imposed on a topological space, the "Hausdorff condition" (T2) is the most frequently used and discussed. It implies the uniqueness of limits of sequences, nets, and filters. Hausdorff spaces are named after Felix Hausdorff, one of the founders of topology. Hausdorff's original definition of a topological space (in 1914) included the Hausdorff condition as an axiom. Definitions Points x and y in a topological space X can be '' separated by neighbourhoods'' if there exists a neighbourhood U of x and a neighbourhood V of y such that U and V are disjoint (U\cap V=\varnothing). X is a Hausdorff space if any two distinct points in X are separated by neighbourhoods. This condition is the third separati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Kolmogorov Space
In topology and related branches of mathematics, a topological space ''X'' is a T0 space or Kolmogorov space (named after Andrey Kolmogorov) if for every pair of distinct points of ''X'', at least one of them has a neighborhood not containing the other. In a T0 space, all points are topologically distinguishable. This condition, called the T0 condition, is the weakest of the separation axioms. Nearly all topological spaces normally studied in mathematics are T0 spaces. In particular, all T1 spaces, i.e., all spaces in which for every pair of distinct points, each has a neighborhood not containing the other, are T0 spaces. This includes all T2 (or Hausdorff) spaces, i.e., all topological spaces in which distinct points have disjoint neighbourhoods. In another direction, every sober space (which may not be T1) is T0; this includes the underlying topological space of any scheme. Given any topological space one can construct a T0 space by identifying topologically indistinguish ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Space
In mathematics, specifically general topology, compactness is a property that seeks to generalize the notion of a closed and bounded subset of Euclidean space by making precise the idea of a space having no "punctures" or "missing endpoints", i.e. that the space not exclude any ''limiting values'' of points. For example, the open interval (0,1) would not be compact because it excludes the limiting values of 0 and 1, whereas the closed interval ,1would be compact. Similarly, the space of rational numbers \mathbb is not compact, because it has infinitely many "punctures" corresponding to the irrational numbers, and the space of real numbers \mathbb is not compact either, because it excludes the two limiting values +\infty and -\infty. However, the ''extended'' real number line ''would'' be compact, since it contains both infinities. There are many ways to make this heuristic notion precise. These ways usually agree in a metric space, but may not be equivalent in other top ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sober Space
In mathematics, a sober space is a topological space ''X'' such that every (nonempty) irreducible closed subset of ''X'' is the closure of exactly one point of ''X'': that is, every irreducible closed subset has a unique generic point. Definitions Sober spaces have a variety of cryptomorphic definitions, which are documented in this section. All except the definition in terms of nets are described in. In each case below, replacing "unique" with "at most one" gives an equivalent formulation of the T0 axiom. Replacing it with "at least one" is equivalent to the property that the T0 quotient of the space is sober, which is sometimes referred to as having "enough points" in the literature. In terms of morphisms of frames and locales A topological space ''X'' is sober if every map that preserves all joins and all finite meets from its partially ordered set of open subsets to \ is the inverse image of a unique continuous function from the one-point space to ''X''. This may be vie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grothendieck Category
In mathematics, a Grothendieck category is a certain kind of abelian category, introduced in Alexander Grothendieck's Tôhoku paper of 1957English translation in order to develop the machinery of homological algebra for modules and for sheaves in a unified manner. The theory of these categories was further developed in Pierre Gabriel's seminal thesis in 1962. To every algebraic variety V one can associate a Grothendieck category \operatorname(V), consisting of the quasi-coherent sheaves on V. This category encodes all the relevant geometric information about V, and V can be recovered from \operatorname(V) (the Gabriel–Rosenberg reconstruction theorem). This example gives rise to one approach to noncommutative algebraic geometry: the study of "non-commutative varieties" is then nothing but the study of (certain) Grothendieck categories. Definition By definition, a Grothendieck category \mathcal is an AB5 category with a generator. Spelled out, this means that * \mathcal is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
