scholarly journals Direct limits of finite spaces of orderings

1984 ◽  
Vol 112 (2) ◽  
pp. 391-406 ◽  
Author(s):  
Mieczysław Kula ◽  
Murray Marshall ◽  
Andrzej Sładek
1984 ◽  
Vol 14 (4) ◽  
pp. 929-930
Author(s):  
M. Kula ◽  
M. Marshall ◽  
A. Slader

1989 ◽  
Vol 41 (5) ◽  
pp. 808-829 ◽  
Author(s):  
Victoria Powers

Marshall's Spaces of Orderings are an abstract setting for the reduced theory of quadratic forms and Witt rings. A Space of Orderings consists of an abelian group of exponent 2 and a subset of the character group which satisfies certain axioms. The axioms are modeled on the case where the group is an ordered field modulo the sums of squares of the field and the subset of the character group is the set of orders on the field. There are other examples, arising from ordered semi-local rings [4, p. 321], ordered skew fields [2, p. 92], and planar ternary rings [3]. In [4], Marshall showed that a Space of Orderings in which the group is finite arises from an ordered field. In further papers Marshall used these abstract techniques to provide new, more elegant proofs of results known for ordered fields, and to prove theorems previously unknown in the field setting.


1979 ◽  
Vol 31 (2) ◽  
pp. 320-330 ◽  
Author(s):  
Murray Marshall

1. Introduction. A space of orderings will refer to what was called a “set of quasi-orderings” in [5]. That is, a space of orderings is a pair (X, G) where G is an elementary 2-group (i.e. x2 = 1 for all x ∈ G) with a distinguished element – 1 ∈ G, and X is a subset of the character group x(G) = Horn (G, {1, –1};) satisfying the following properties:01: X is a closed subset of χ(G).02: σ(−l) = −1 holds for all σ ∊ X.03: X⊥ = {a ∊ G|χa = 1 for all a ∊ X} = 1.04: If f and g are forms over G and if x ∊ Df⊗g, then there exist y ∊ Df and z ∊ Dg such that x ∊ D(y, z).


1980 ◽  
Vol 32 (3) ◽  
pp. 603-627 ◽  
Author(s):  
Murray Marshall

A major goal of this paper is to give a proof of the following isotropy criterion: Let X = (X,G) be a space of orderings in the terminology of [9] or [10], and let f be a form defined over G.Then f is anisotropic over X if and only if f is anisotropic over some finite subspace of X.This is the content of Theorem 1.4, and generalizes [1, Corollary 3.4]. Moreover, in view of the known structure of finite spaces (see [9]), this has, essentially, the strength of [2, Satz 3.9] or [12, Theorem 8.12]. The technique used to prove this criterion is roughly patterned on that of [6], and yields some interesting by-products: An interesting invariant of a space of orderings called the chain length is introduced (Definition 1.1) and spaces of orderings with finite chain length are classified (Theorem 1.6).


2000 ◽  
Vol 42 (1) ◽  
pp. 97-113 ◽  
Author(s):  
Juan Rada ◽  
Manuel Saorín ◽  
Alberto del Valle

Given a full subcategory [Fscr ] of a category [Ascr ], the existence of left [Fscr ]-approximations (or [Fscr ]-preenvelopes) completing diagrams in a unique way is equivalent to the fact that [Fscr ] is reflective in [Ascr ], in the classical terminology of category theory.In the first part of the paper we establish, for a rather general [Ascr ], the relationship between reflectivity and covariant finiteness of [Fscr ] in [Ascr ], and generalize Freyd's adjoint functor theorem (for inclusion functors) to not necessarily complete categories. Also, we study the good behaviour of reflections with respect to direct limits. Most results in this part are dualizable, thus providing corresponding versions for coreflective subcategories.In the second half of the paper we give several examples of reflective subcategories of abelian and module categories, mainly of subcategories of the form Copres (M) and Add (M). The second case covers the study of all covariantly finite, generalized Krull-Schmidt subcategories of {\rm Mod}_{R}, and has some connections with the “pure-semisimple conjecture”.1991 Mathematics Subject Classification 18A40, 16D90, 16E70.


2015 ◽  
Vol 114 (11) ◽  
Author(s):  
R. Agnese ◽  
A. J. Anderson ◽  
D. Balakishiyeva ◽  
R. Basu Thakur ◽  
D. A. Bauer ◽  
...  

1988 ◽  
Vol 53 (1) ◽  
pp. 105-123
Author(s):  
Stefano Berardi

A dilator D is a functor from ON to itself commuting with direct limits and pull-backs. A dilator D is a flower iff D(x) is continuous. A flower F is regular iff F(x) is strictly increasing and F(f)(F(z)) = F(f(z)) (for f ϵ ON(x,y), z ϵ X).Equalization is the following axiom: if F, G ϵ Flr (class of regular flowers), then there is an H ϵ Flr such that F ° H = G ° H. From this we can deduce that if ℱ is a set ⊆ Flr, then there is an H ϵ Flr which is the smallest equalizer of ℱ (it can be said that H equalizes ℱ iff for every F, G ϵ ℱ we have F ° H = G ° H). Equalization is not provable in set theory because equalization for denumerable flowers is equivalent to -determinacy (see a forthcoming paper by Girard and Kechris).Therefore it is interesting to effectively find, by elementary means, equalizers even in the simplest cases. The aim of this paper is to prove Girard and Kechris's conjecture: “ is the (smallest) equalizer for Flr < ω” (where Flr < ω denotes the set of finite regular flowers). We will verify that is an equalizer of Flr < ω; we will sketch the proof that it is the smallest one at the end of the paper. We will denote by H.


2018 ◽  
Vol 17 (01) ◽  
pp. 1850014 ◽  
Author(s):  
Jian Wang ◽  
Yunxia Li ◽  
Jiangsheng Hu

In this paper, we introduce and study left (right) [Formula: see text]-semihereditary rings over any associative ring, and these rings are exactly [Formula: see text]-semihereditary rings defined by Mahdou and Tamekkante provided that [Formula: see text] is a commutative ring. Some new characterizations of left [Formula: see text]-semihereditary rings are given. Applications go in three directions. The first is to give a sufficient condition when a finitely presented right [Formula: see text]-module is Gorenstein flat if and only if it is Gorenstein projective provided that [Formula: see text] is left coherent. The second is to investigate the relationships between Gorenstein flat modules and direct limits of finitely presented Gorenstein projective modules. The third is to obtain some new characterizations of semihereditary rings, [Formula: see text]-[Formula: see text] rings and [Formula: see text] rings.


2010 ◽  
Vol 258 (8) ◽  
pp. 2714-2738 ◽  
Author(s):  
Lawrence W. Baggett ◽  
Nadia S. Larsen ◽  
Judith A. Packer ◽  
Iain Raeburn ◽  
Arlan Ramsay
Keyword(s):  

Sign in / Sign up

Export Citation Format

Share Document