A Zariski Topology for Bicomodules and Corings

In this paper we introduce and investigate top (bi)comodules of corings, that can be considered as dual to top (bi)modules of rings. The fully coprime spectra of such (bi)comodules attains a Zariski topology, defined in a way dual to that of defining the Zariski topology on the prime spectra of (commutative) rings. We restrict our attention in this paper to duo (bi)comodules (satisfying suitable conditions) and study the interplay between the coalgebraic properties of such (bi)comodules and the introduced Zariski topology. In particular, we apply our results to introduce a Zariski topology on the fully coprime spectrum of a given non-zero coring considered canonically as duo object in its category of bicomodules. Supported by King Fahd University of Petroleum & Minerals, Research Project # INT/296.     

On the Prime Spectrum of X-Injective Modules

Let R be a commutative ring and M an R-module. The purpose of this article is to introduce a new class of modules over R called X-injective R-modules, where X is the prime spectrum of M. This class contains the family of top modules and that of weak multiplication modules properly. In this article our concern is to extend the properties of multiplication, weak multiplication, and top modules to this new class of modules. Furthermore, for a top module M, we study some conditions under which the prime spectrum of M is a spectral space for its Zariski topology.     

The Zariski Topology-Graph of Modules Over Commutative Rings

Let M be a module over a commutative ring, and let Spec(M) be the collection of all prime submodules of M. We topologize Spec(M) with Zariski topology, which is analogous to that for Spec(R), and for a nonempty subset T of Spec(M), we introduce a new graph G(τ _T ), called the Zariski topology-graph. This graph helps us to study the algebraic (resp. topological) properties of M (resp. Spec(M)) by using the graph theoretical tools.     

A dual Zariski topology for modules

We introduce a dual Zariski topology on the spectrum of fully coprime R-submodules of a given duo module M over an associative (not necessarily commutative) ring R. This topology is defined in a way dual to that of defining the Zariski topology on the prime spectrum of R. We investigate this topology and clarify the interplay between the properties of this space and the algebraic properties of the module under consideration.     

Generalizations of the Primitive and Normal Basis Theorems

Using a Zariski topology associated to a finite field extensions, we give new proofs and generalize the primitive and normal basis theorems.     

Modules with Noetherian Spectrum

Let M be a module over a commutative ring R. A submodule P of M is called prime if P ≠ M and, whenever r ∈ R, e ∈ M, and re ∈ P, we have rM ? P or e ∈ P. We let Spec(M) denote the set of all prime submodules of M. Using a topology analogous to the Zariski topology for Spec(R), we establish necessary and sufficient conditions for Spec(M) to be a Noetherian space. We produce some examples of modules with Noetherian spectrum that have not appeared in the literature previously. In particular, Laskerian modules and faithfully flat modules over Laskerian rings have Noetherian spectra. (The term Laskerian is defined in Section 3.)     

A topological characterization of the goldman prime spectrum of a commutative ring

A prime ideal p of a commutative ring R is said to be a Goldman ideal (or a G-ideal) if there exists a maximal ideal M of the polynomial ring R[X] such that p = M ∩ R. A topological space is said to be goldspectral if it is homeomorphic to the space Gold(R) of G-ideals of R (Gold(R) is considered as a subspace of the prime spectrum Spec(R) equipped with the Zariski topology). We give here a topological characterization of goldspectral spaces.     

Places of algebraic function fields in arbitrary characteristic

We consider the Zariski space of all places of an algebraic function field F|K of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime divisors, places of maximal rank, zero-dimensional discrete places) lie dense in this topology. Further, we give several equivalent characterizations of fields that are large, in the sense of F. Pop's Annals paper Embedding problems over large fields. We also study the question whether a field K is existentially closed in an extension field L if L admits a K-rational place. In the appendix, we prove the fact that the Zariski space with the Zariski topology is quasi-compact and that it is a spectral space.     

格的内蕴拓扑与完全分配律

本文以Ｓｃｏｔｔ拓扑，Ｚａｒｉｓｋｉ拓扑，区间拓朴等刻划了完全分配律；获得了格的特殊元的存在性与区间拓扑连通性等之间的众多制约关系，给出了若干应用实例和重要反例．     

Completeness in Zariski groups

Zariski groups are ℵ₀-stable groups with an axiomatically given Zariski topology and thus abstract generalizations of algebraic groups. A large part of algebraic geometry can be developed for Zariski groups. As a main result, any simple smooth Zariski group interprets an algebraically closed field, hence is almost an algebraic group over an algebraically closed field.     

An Analytic Zariski Structure Over a Field

Following the introduction and preliminary investigations of analytic Zariski structures in Peatfield and Zilber (Ann pure Appl Logic 132:125–180, 2005) an example of an analytic Zariski structure extending an algebraically closed field is provided. The example is constructed using Hrushovski’s method of free amalgamation, and a topology is introduced in which we can verify the analytic Zariski axioms.     

The Patch Topology and the Ultrafilter Topology on the Prime Spectrum of a Commutative Ring

Let R be a commutative ring and let Spec(R) denote the collection of prime ideals of R. We define a topology on Spec(R) by using ultrafilters and demonstrate that this topology is identical to the well-known patch or constructible topology. The proof is accomplished by use of a von Neumann regular ring canonically associated with R.     

The Spectrum of a Separable Dynkin Algebra and the Topology Defined on It

The author continues his previous works on preparation to develop generalized axiomatics of the probability theory. The approach is based on the study of set systems of a more general form than the traditional set algebras and their Boolean versions. They are referred to as Dynkin algebras. The author introduces the spectrum of a separable Dynkin algebra and an appropriate Grothendieck topology on this spectrum. Separable Dynkin algebras constitute a natural class of abstract Dynkin algebras, previously distinguished by the author. For these algebras, one can define partial Boolean operations with appropriate properties. The previous work found a structural result: each separable Dynkin algebra is the union of its maximal Boolean subalgebras. In the present note, leaning upon this result, the spectrum of a separable Dynkin algebra is defined and an appropriate Grothendieck topology on this spectrum is introduced. The corresponding constructions somewhat resemble the constructions of a simple spectrum of a commutative ring and the Zariski topology on it. This analogy is not complete: the Zariski topology makes the spectrum of a commutative ring an ordinary topological space, while the Grothendieck topology, which, generally speaking, is not a topology in the usual sense, turns the spectrum of a Dynkin algebra into a more abstract object (site or situs, according to Grothendieck). This suffices for the purposes of the work.     

On Discrete Zariski-Dense Subgroups of Algebraic Groups

We investigate under which conditions an algebraic group G defined over a locally compact field k admitr a subgroup Γ? G(k) which is dense in the Zariski topology, but discerte in the topology induced by the locally compact topology on k. For non—solvable groups we provide a complete answer.     

Étale neighbourhoods and the normal crossings locus

Given a property of the complete local ring of a variety at a point, how can we show that the set of all points on the variety sharing the same property is open or closed in the Zariski topology? Such questions are ubiquitous especially in resolution of singularities. In the example of the normal crossings property and some variations we give a solution via étale neighbourhoods and Artin approximation.     

无限维空间中的实零点定理

在本文中，我们建立了无限维空间中的实零点定理，同时从仿射空间的拓扑结构和域的序结构两个方面，分别刻划了适合无限维实零点定理的序域．此外，本文有例子表明，对任意的基数α，确实存在适合α维实零点定理的序域．     

Fuzzy topology on fuzzy sets: Product fuzzy topology and fuzzy topological groups

The notion of product fuzzy topology in the case of fuzzy topology on fuzzy sets is introduced and the product invariance of fuzzy Hausdorffness, compactness, connectedness are examined. The product fuzzy topology is used to define fuzzy group topology on a fuzzy subgroup of a group G and some properties of fuzzy topological groups are obtained.     

Order topology and bi-Scott topology on a poset

In this paper, some properties of order topology and bi-Scott topology on a poset are obtained. Order-convergence in posets is further studied. Especially, a sufficient and necessary condition for order-convergence to be topological is given for some kind of posets.     

Torsion divisors of plane curves with maximal flexes and Zariski pairs

There is a close relationship between the embedded topology of complex plane curves and the (group-theoretic) arithmetic of elliptic curves. In a recent paper, we studied the topology of some arrangements of curves that include a special smooth component, via the torsion properties induced by the divisors in the special curve associated to the remaining components, which is an arithmetic property. When this special curve has maximal flexes, there is a natural isomorphism between its Jacobian variety and the degree zero part of its Picard group. In this paper, we consider curve arrangements that contain a special smooth component with a maximal flex and exploit these properties to obtain Zariski tuples, which show the interplay between topology, geometry, and arithmetic.      

偏序集上的测度拓扑与稠拓扑

In this paper,the concepts of the essential topology and the density topology of dcpos are generalized to the setting of general posets.Basic properties of the essential topology and relations with other intrinsic topologies are explored.Comparisons between the density topology and the measurement topology are made.Via the essential topology,the density topology and the measurement topology,we obtain properties and characterizations of bases of continuous posets.We also provide some new conditions for a continuous poset to be an algebraic poset.