The Algebraicity Conjecture for simple groups of finite Morley rank, also known as the Cherlin-Zilber conjecture, states that simple groups of finite Morley rank are simple algebraic groups over algebraically closed fields. In the last 15 years, the main line of attack on this problem has been the so-called Borovik program of transferring methods from finite group theory. This program has led t...

Let ∗ be a star operation on an integral domain D. Let f(D) be the set of all nonzero finitely generated fractional ideals of D. Call D a ∗–Prüfer (respectively, (∗, v)–Prüfer) domain if (FF−1)∗ = D (respectively, (F vF−1)∗ = D) for all F ∈ f(D). We establish that ∗–Prüfer domains (and (∗, v)–Prüfer domains) for various star operations ∗ span a major portion of the known generalizations of Prüf...

We deal with two forms of the “uniqueness cases” in the classification of large simple K-groups of finite Morley rank of odd type, where large means the m2(G) at least three. This substantially extends results known for even larger groups having Prüfer 2rank at least three, to cover the two groups PSp 4 and G2. With an eye towards distant developments, we carry out this analysis for L-groups wh...

For certain classes of Prüfer domains A, we study the completion Â,T ofA with respect to the supremum topology T = sup{Tw|w ∈ Ω}, where Ω is the family of nontrivial valuations on the quotient field which are nonnegative on A and Tw is a topology induced by a valuation w ∈ Ω. It is shown that the concepts ‘SFT Prüfer domain’ and ‘generalized Dedekind domain’ are the same. We show that if E is t...

The most important element in the design of a decoder-based evolutionary algorithm is its genotypic representation. The genotypedecoder pair must exhibit efficiency, locality, and heritability to enable effective evolutionary search. Prüfer numbers have been proposed to represent spanning trees in evolutionary algorithms. Several researchers have made extravagant claims for the usefulness of th...

This article explores several extensions of the Prüfer domain notion to rings with zero divisors. These extensions include semihereditary rings, rings with weak global dimension less than or equal to 1, arithmetical rings, Gaussian rings, locally Prüfer rings, strongly Prüfer rings, and Prüfer rings. The renewed interest in these properties, due to their connection to Kaplansky’s Conjecture, ha...

Let D be an integral domain and X an indeterminate over D. It is well known that (a) D is quasi-Prüfer (i.e, its integral closure is a Prüfer domain) if and only if each upper to zero Q in D[X] contains a polynomial g ∈ D[X] with content cD(g) = D; (b) an upper to zero Q in D[X] is a maximal t-ideal if and only if Q contains a nonzero polynomial g ∈ D[X] with cD(g) v = D. Using these facts, the...

We show that in certain Prüfer domains, each nonzero ideal I can be factored as I = I v Π, where I v is the divisorial closure of I and Π is a product of maximal ideals. This is always possible when the Prüfer domain is h-local, and in this case such factorizations have certain uniqueness properties. This leads to new characterizations of the h-local property in Prüfer domains. We also explore ...

There is a longstanding conjecture, due to Gregory Cherlin and Boris Zilber, that all simple groups of finite Morley rank are simple algebraic groups. One of the major theorems in the area is Borovik’s trichotomy theorem. The ‘trichotomy’ here is a case division of the generic minimal counterexamples within odd type, that is, groups with a large and divisible Sylow◦ 2-subgroup. The so-called ‘u...