TRANSCENDENTAL AND ALGEBRAIC EXTENSIONS OF COMMUTATIVE RINGS

Abstract

Transcendental and algebraic elements over commutative rings are defined. Rings with zero nil radical are considered. For a transcendental over R, necessary and sufficient conditions are derived for elements of R[α] to be algebraic or transcendental over R. For R a ring with identity and a finite number of minimal prime ideals, necessary and sufficient conditions are given for any element in a unitary overring of R to be algebraic or transcendental over R. It is proved that if α is algebraic Over R, so is every element of R[α]. It is show that if R is Noetherian, β is algebraic over R[α] and α is algebraic over R, then, under certain conditions, β is algebraic over R. If R has a finite number of minimal prime ideals, P₁,…,P_k, which are pairwise comaximal, then if t is transcendental over R, R[t] can be obtained by adjoining k algebraic elements a_i over R to R whose defining polynomials are in P_i [x], and conversely, if such elements are adjoined to R, they generate an element transcendental over R.     

Syzygies and the Rees algebra

Let a,b,c be linearly independent homogeneous polynomials in the standard Z-graded ring R?k[s,t] with the same degree d and no common divisors. This defines a morphism P¹→P². The Rees algebra of the ideal I=〈a,b,c〉 is the graded R-algebra which can be described as the image of an R-algebra homomorphism h: . This paper discusses one result concerning the structure of the kernel of the map h and its relation to the problem of finding the implicit equation of the image of the map given by a, b, c. In particular, we prove a conjecture of Hong, Simis and Vasconcelos. We also relate our results to the theory of adjoint curves and prove a special case of a conjecture of Cox.     

RELATIVE INJECTIVITY OF MODULES AND EXCELLENT EXTENSIONS

Abstract

Yesl Any equation of conservation of the form ?_x{P(?_xφ, ?_tφ) = ?_t{Q(?_xφ, ?_tφ) is shown to admit an infinite-dimensional, Abellan group of symmetries that is not a prolongation symmetry group. Explicit equations are given for the determination of the generators of the Lle algebra of this Abellan symmetry group, and for the generators of Its underlying Poisson algebra.     

ON FLATNESS RELATIVE TO A TORSION THEORY

Abstract

For a torsion radical, σ, σ-flatness (as defined in [8]) is studied. Many of the properties of flat modules are shown to extend and σ-flat modules are characterized under certain restrictions on the associated filter, Lσ. We also define semi-σ-flat modules in a natural way and find conditions equivalent to every R-module being semi-σ-flat.     

A relative interpolation theorem for infinitary universal Horn logic and its applications

In this paper we deal with infinitary universal Horn logic both with and without equality. First, we obtain a relative Lyndon-style interpolation theorem. Using this result, we prove a non-standard preservation theorem which contains, as a particular case, a Lyndon-style theorem on surjective homomorphisms in its Makkai-style formulation. Another consequence of the preservation theorem is a theorem on bimorphisms, which, in particular, provides a tool for immediate obtaining characterizations of infinitary universal Horn classes without equality from those with equality. From the theorem on surjective homomorphisms we also derive a non-standard Beth-style preservation theorem that yields a non-standard Beth-style definability theorem, according to which implicit definability of a relation symbol in an infinitary universal Horn theory implies its explicit definability by a conjunction of atomic formulas. We also apply our theorem on surjective homomorphisms, theorem on bimorphisms and definability theorem to algebraic logic for general propositional logic.     

NETS AND GRAPHS AS PINAL COMPLETIONS AND THE RELATIONS BETWEEN THEM

Abstract

Nets and graphs, both used in Computer Science, are studied from a categorical point of view. It is shown that they may be constructed via final completions of very simple small concrete categories and that their nice properties, namely to form topological categories which are quasitopoi with concrete powers such that products of final maps are final, depend on this fact. Furthermore, the relations between them can be described by means of adjoint functors.     

INITIAL COMPLETIONS OF MONOTOPOLOGICAL CATEGORIES,AND CARTESIAN CLOSEDNESS

Abstract

Herrlich and Strecker [9] give examples of monotopological categories for which the MacNeille completion coincides with the universal initial completion. It is shown here that this situation always holds for monotopological categories. If the category is a proper monotopological c-category, then the MacNeille completion also coincides with the largest epi-reflective initial completion. During the course of the proof a lemma is given which characterizes monotopological categories (not necessarily c-categories) which are already topological. (Schwarz [14] gave such a characterization for the case of c-categories.)

It is also shown that a monotopological c-category is Cartesian closed if and only if its largest epi-reflective initial completion is Cartesian closed. A similar result holds for the case of a topological category which is not necessarily a c-category.     

Principal Borel ideals and Gotzmann ideals

In this paper we characterize all principal Borel ideals with Borel generator up to degree 4 which are Gotzmann. We also classify principal Borel ideals with a Borel generator of degree d which are lexsegment and we describe the shadows of principal Borel ideals. Finally, we discuss the corresponding results for squarefree monomial ideals.Received: 10 May 2002     

More on directed colimits of models

M. Richter has proved that whenever a classK of -structures has a finitary first-order axiomatization then the inclusionK Str preserves all existing directed colimits (see [7]). We will generalize this result to classes of -structures having an infinitary first-order axiomatization in a larger signature . We will also show that, as categories, these classes have a natural characterization.In honour of Dieter Pumplün on the occassion of his 60th birthday     

Finite generation of Hochschild homology algebras

We prove converses of the Hochschild-Kostant-Rosenberg Theorem, in particular: If a commutative algebra S is flat and essentially of finite type over a noetherian ring , and the Hochschild homology HH _* (S|) is a finitely generated S-algebra for shuffle products, then S is smooth over . Oblatum 27-V-1999 & 27-IX-1999 / Published online: 24 January 2000     

Homotopy algebras and the inverse of the normalization functor

In this paper, we investigate multiplicative properties of the classical Dold-Kan correspondence. The inverse of the normalization functor maps commutative differential graded algebras to E_∞-algebras. We prove that it in fact sends algebras over arbitrary differential graded E_∞-operads to E_∞-algebras in simplicial modules and is part of a Quillen adjunction. More generally, this inverse maps homotopy algebras to weak homotopy algebras. We prove the corresponding dual results for algebras under the conormalization, and for coalgebra structures under the normalization resp. the inverse of the conormalization.     

Coherence for modalities

Positive modalities in S4, S5 and systems in their vicinity are investigated in terms of categorial proof theory. Coherence and maximality results are demonstrated, and connections with mixed distributive laws and Frobenius algebras are exhibited.     

FACTORIZATIONS OF CONES ALONG A FUNCTOR

Abstract

First a general Galois correspondence is established, which generalizes at the same time the correspondence between classes of monomorphisms and injective objects and the correspondence between classes of epimorphisms and monomorphisms in a category. This correspondence arises naturally if one tries to generalize some concepts of “topological” or also of “algebraic” functors. Both kinds of functors admit certain factorizations of cones, and just this fact implies some of their common nice properties: lifting limits, continuity and faithfulness, for instance. These properties can be shown without having a left adjoint. Therefore the theory yields also applications to functors which are neither “topological” nor “algebraic”.     

A characterization theorem for geometric logic

We establish a criterion for deciding whether a class of structures is the class of models of a geometric theory inside Grothendieck toposes; then we specialize this result to obtain a characterization of the infinitary first-order theories which are geometric in terms of their models in Grothendieck toposes, solving a problem posed by Ieke Moerdijk in 1989.     

A note on some chain conditions

We answer a question raised by Othman Echi: Is an E ₁ (resp., a C ₁) ring an E (resp., a C) ring? We construct a C ₁ (thus E ₁) ring which is not an E ₂ (thus not a C ₂) ring. Received: 11 June 2007     

C-system of a module over a Jf-relative monad

Let $\mathbb{F}$ be the category with the set of objects $\mathbb{N}$ and morphisms given by the functions between the standard finite sets of the corresponding cardinalities. Let $Jf:\mathbb{F}\to Sets(U)$ be the obvious functor from this category to the category of sets in a given Grothendieck universe U. In this paper we construct, for any Jf-relative monad RR and any left RR-module LM, a C-system $C(\mathbf{RR},\mathbf{LM})$ and explicitly compute the action of the four B-system operations on its B-sets.In the introduction we explain in detail the relevance of this result to the construction of the term C-systems of type theories.