We prove the following theorem. Let G be a connected simple bad group (i.e. of finite Morley rank, nonsolvable and with all the Borel subgroups nilpotent) of minimal Morley rank. Then the Borel subgroups of G are conjugate to each other, and if B is a Borel subgroup of G, then $G = \bigcup_{g \in G}B^g,N_G(B) = B$ , and G has no involutions.

We classify actions of groups of finite Morley rank on abelian groups of Morley rank 2: there are essentially two, namely the natural actions of SL(V) and GL(V) with V a vector space of dimension 2. We also prove an identification theorem for the natural module of SL₂ in the finite Morley rank category.

We prove several results about groups of finite Morley rank without unipotent p-torsion: p-torsion always occurs inside tori, Sylow p-subgroups are conjugate, and p is not the minimal prime divisor of our approximation to the "Weyl group". These results are quickly finding extensive applications within the classification project.

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 2-rank m2 is at least three. This substantially extends results known for even larger groups having Prüfer 2-rank at least three, so as to cover the two groups PSp 4 and G 2. With an eye towards more distant developments, we carry out this analysis for (...) L*-groups, a context which is substantially broader than the K* setting. (shrink)

We show how the notion of full Frobenius group of finite Morley rank generalizes that of bad group, and how it seems to be more appropriate when we consider the possible existence (still unknown) of nonalgebraic simple groups of finite Morley rank of a certain type, notably with no involution. We also show how these groups appear as a major obstacle in the analysis of FT-groups, if one tries to extend the (...) Feit-Thompson theorem to groups of finite Morley rank. (shrink)

The Cherlin–Zil'ber Conjecture states that all simple groups of finite Morley rank are algebraic. We prove that any minimal counterexample to this conjecture has a unique conjugacy class of Carter subgroups, which are analogous to Cartan subgroups in algebraic groups.

If K is a field of finite Morley rank, then for any parameter set $A \subseteq K^{eq}$ the prime model over A is equal to the model-theoretic algebraic closure of A. A field of finite Morley rank eliminates imaginaries. Simlar results hold for minimal groups of finite Morley rank with infinite acl( $\emptyset$ ).

The Schur-Zassenhaus Theorem is one of the fundamental theorems of finite group theory. Here is its statement:Fact1.1 (Schur-Zassenhaus Theorem). Let G be a finite group and let N be a normal subgroup of G. Assume that the order ∣N∣ is relatively prime to the index [G:N]. Then N has a complement in G and any two complements of N are conjugate in G.The proof can be found in most standard books in group theory, e.g., in [S, Chapter 2, (...) Theorem 8.10]. The original statement stipulated one ofNorG/Nto be solvable. Since then, the Feit-Thompson theorem [FT] has been proved and it forces eitherNorG/Nto be solvable. (The analogous Feit-Thompson theorem for groups of finite Morley rank is a long standing open problem).The literal translation of the Schur-Zassenhaus theorem to the finite Morley rank context would state that in a groupGof finite Morley rank a normal π-Hall subgroup (if it exists at all) has a complement and all the complements are conjugate to each other. (Recall that a groupHis called aπ-group, where π is a set of prime numbers, if elements ofHhave finite orders whose prime divisors are from π. Maximal π-subgroups of a groupGare called π-Hall subgroups. They exist by Zorn's lemma. Since a normal π-subgroup ofGis in all the π-Hall subgroups, if a group has a normal π-Hall subgroup then this subgroup is unique.)The second assertion of the Schur-Zassenhaus theorem about the conjugacy of complements is false in general. As a counterexample, consider the multiplicative group ℂ* of the complex number field ℂ and consider thep-Sylow for any primep, or even the torsion part of ℂ*. LetHbe this subgroup.Hhas a complement, but this complement is found by Zorn's Lemma (consider a maximal subgroup that intersectsHtrivially) and the use of Zorn's Lemma is essential. In fact, by Zorn's Lemma, any subgroup that has a trivial intersection withHcan be extended to a complement ofH. Since ℂ* is abelian, these complements cannot be conjugated to each other. (shrink)

The notion of CM-triviality was introduced by Hrushovski, who showed that his new strongly minimal sets have this property. Recently Baudisch has shown that his new ω 1 -categorical group has this property. Here we show that any group of finite Morley rank definable in a CM-trivial theory is nilpotent-by-finite, or equivalently no simple group of finite Morley rank can be definable in a CM-trivial theory.

We present numerous natural algebraic examples without the so-called Canonical Base Property (CBP). We prove that every commutative unitary ring of finite Morley rank without finite-index proper ideals satisfies the CBP if and only if it is a field, a ring of positive characteristic or a finite direct product of these. In addition, we construct a CM-trivial commutative local ring with a finite residue field without the CBP. Furthermore, we also show that finite-dimensional (...) non-associative algebras over an algebraically closed field of characteristic [Formula: see text] give rise to triangular rings without the CBP. This also applies to Baudisch’s [Formula: see text]-step nilpotent Lie algebras, which yields the existence of a [Formula: see text]-step nilpotent group of finite Morley rank whose theory, in the pure language of groups, is CM-trivial and does not satisfy the CBP. (shrink)

The Alperin-Goldschmidt Fusion Theorem [1, 5], when combined with pushing up [7], was a useful tool in the classification of the finite simple groups. Similar theorems are needed in the study of simple groups of finite Morley rank, in the even type case (that is, when the Sylow 2-subgroups are of bounded exponent, as in algebraic groups over fields of characteristic 2). In that context a body of results relating to fusion of 2-elements (...) and the structure of 2-local subgroups is needed: pushing up, and the classification of groups with strongly or weakly embedded subgroups, or have strongly closed abelian subgroups (c.f, [2]). Two theorems of Alperin-Goldschmidt type are proved here. Both are needed in applications.The following is an exact analog of the Alperin-Goldschmidt Fusion Theorem for groups of finite Morley rank, in the case of 2-elements:Theorem 1.1.Let G be a group of finite Morley rank, and P a Sylow2-subgroup of G.If A, B⊆P are conjugate in G, then there are subgroups Hi≤Pand elementsxi∈N(Hi)for1 ≤i≤n,and an elementy∈N(P),such that for all i:1.Hiis a tame intersection of two Sylow2-subgroups;2.CP(Hi) ≤Hi;3.N(Hi)/Hiis2-isolatedand(a)(b). (shrink)

We define a characteristic and definable subgroup F*(G) of any group G of finite Morley rank that behaves very much like the generalized Fitting subgroup of a finite group. We also prove that semisimple subnormal subgroups of G are all definable and that there are finitely many of them.

Let G be a simple group of finite Morley rank with a definable BN-pair of rank 2 where B=UT for T=B ∩ N and U a normal subgroup of B with Z≠1. By [9] 853) the Weyl group W=N/T has cardinality 2n with n=3,4,6,8 or 12. We prove here:Theorem 1. If n=3, then G is interpretably isomorphic to PSL3 for some algebraically closed field K.Theorem 2. Suppose Z contains some B-minimal subgroup AZ with RMRM for both (...) parabolic subgroups P1 and P2. Then n=3,4 or 6 and G is interpretably isomorphic to PSL3, PSp4 or G2 for some algebraically closed field K.Theorem 3. If U is nilpotent and n≠8, then G is interpretably isomorphic to either PSL3, PSp4 or G2 for some algebraically closed field K. (shrink)

We consider a universe of finite Morley rank and the following definable objects: a field math formula, a non-trivial action of a group math formula on a connected abelian group V, and a torus T of G such that math formula. We prove that every T-minimal subgroup of V has Morley rank math formula. Moreover V is a direct sum of math formula-minimal subgroups of the form math formula, where W is T-minimal and ζ is (...) an element of G of order 4 inverting T. (shrink)

We know quite a lot about the general structure of ω-stable solvable centerless groups of finite Morley rank. Abelian groups of finite Morley rank are also well-understood. By comparison, nonabelian nilpotent groups are a mystery except for the following general results:• An ω1-categorical torsion-free nonabelian nilpotent group is an algebraic group over an algebraically closed field of characteristic 0 [Z3].• A nilpotent group of finite Morley rank is the (...) central product of a definable subgroup of finite exponent and of a definable divisible subgroup [N3].• A divisible nilpotent group of finite Morley rank is the direct product of its torsion part (which is central) and of a torsion-free subgroup [N3].However, we do not understand nilpotent groups of bounded exponent. It seems that the classification of nilpotent (but nonabelian)p-groups of finite Morley rank is impossible. Even the nilpotent groups of Morley rank 2 contain insurmountable difficulties [C], [T]. At first glance, this may seem to be an obstacle to proving the Cherlin-Zil'ber conjecture (“simple groups of finite Morley rank are algebraic groups”). Our purpose in this article is to show that if such a group is a definable subgroup of a nonnilpotent group, then it is possible to obtain a classification within the boundaries of our present knowledge. In this respect, our article may be considered as a relief to those who are trying to classify simple groups of finite Morley rank.Before explicitly stating our result, we need the following definition. (shrink)

We study definable irreducible actions of SL₂(K) on an abelian group of Morley rank ≤ 3rk(K) and prove they are rational representations of the group.

In this paper we study the algebraic structure ofω-stable bilinear maps, arbitrary rings, and nilpotent groups. We will also provide rather complete structure theorems for the above structures in the finite Morley rank case.

Morley rank and Lascar rank are equal on generic types of definable groups in differentially closed fields with finitely many commuting derivations.

We show that any structure of finite Morley Rank having the definable multiplicity property has a rank and multiplicity preserving interpretation in a strongly minimal set. In particular, every totally categorical theory admits such an interpretation. We also show that a slightly weaker version of the DMP is necessary for a structure of finite rank to have a strongly minimal expansion. We conclude by constructing an almost strongly minimal set which does not have the (...) DMP in any rank preserving expansion, and ask whether this structure is interpretable in a strongly minimal set. (shrink)

The role played by the symmetric structure of a group of finite Morley rank without involutions in the proof by contradiction of Frécon 2018 was put in evidence in Poizat 2018; indeed, this proof consists in the construction of a symmetric space of dimension two (“a plane”), and then in showing that such a plane cannot exist.To a definable symmetric subset of such a group are associated symmetries and transvections, that we undertake here to study in the (...) abstract, without mentioning a group envelopping them. This leads us to consider axiomatically defined structures that we callsymmetrons(preferably todyadic symmetric setsas was done in Lawson & Lim 2004).Glauberman's$Z^*$-Theorem allows to elucidate completely the structure of the finite symmetrons: each of them is isomorphic to the set of symmetries associated to a symmetric subspace of a finite group without involutions, which is far from being uniquely determined. In fact, there exist non-isomorphic finite groups which have the same symmetries, and also finite symmetrons which are not isomorphic to the symmetries of a group.The situation is not so clear in the case of symmetrons of finite Morley rank, or even algebraic, which are the main objects of study of this paper. But in spite of the fact that a symmetron be a structure much weaker that a group, we can extend to symmetrons some well-known results concerning groups of finite Morley rank: chain condition, decomposition into connected components, characterisation of the generic definable subsets, elliptic generation, etc. These properties are new even in the case of a symmetric subspace of a group, and allow to bypass the computations made by Frécon during the construction of his paradoxical plane.Moreover, assuming the Algebricity Conjecture, we generalize Glauberman's Theorem to the finite Morley rank context. (shrink)

RésuméACarter subgroupis a self-normalizing locally nilpotent subgroup. For studying these subgroups in groups of finite Morley rank, we introduce the new notion of alocally closed subgroup. We show that every solvable group of finite Morley rank has a unique conjugacy class of Carter subgroups.

A Carter subgroup is a self-normalizing locally nilpotent subgroup. For studying these subgroups in groups of finite Morley rank, we introduce the new notion of a locally closed subgroup. We show that every solvable group of finite Morley rank has a unique conjugacy class of Carter subgroups.

In this paper, we shall discuss some recent contributions to the project [15, 14, 2, 18, 22, 23] of explaining why no satisfactory system of complete invariants has yet been found for the torsion-free abelian groups of finite rank n ≥ 2. Recall that, up to isomorphism, the torsion-free abelian groups of rank n are exactly the additive subgroups of the n-dimensional vector space ℚn which contain n linearly independent elements. Thus the collection of torsion-free (...) abelian groups of rank at most n can be naturally identified with the set S of all nontrivial additive subgroups of ℚn. In 1937, Baer [4] solved the classification problem for the class Sof rank 1 groups as follows.Let ℙ be the set of primes. If G is a torsion-free abelian group and 0 ≠ x ϵ G, then the p-height of x is defined to behx = sup{n ϵ ℕ ∣ There exists y ϵ G such that pny = x} ϵ ℕ ∪{∞}; and the characteristic χ of x is defined to be the function. (shrink)

In this paper, we give a complete algebraic description of groups elementarily equivalent to the P. Hall completion of a given free nilpotent group of finite rank over an arbitrary binomial domain. In particular, we characterize all groups elementarily equivalent to a free nilpotent group of finite rank.

In this paper the following theorem is proved regarding groups of finite Morley rank which are perfect central extensions of quasisimple algebraic groups.Theorem1.Let G be a perfect group of finite Morley rank and let C0be a definable central subgroup of G such that G/C0is a universal linear algebraic group over an algebraically closed field; that is G is a perfect central extension of finite Morley rank of a universal linear (...) algebraic group. Then C0= 1.Contrary to an impression which exists in some circles, the center of the universal extension of a simple algebraic group, as an abstract group, is not finite in general. Thus the finite Morley rank assumption cannot be omitted.Corollary1.Let G be a perfect group of finite Morley rank such that G/Z(G) is a quasisimple algebraic group. Then G is an algebraic group. In particular, Z(G) is finite([4],Section27.5).An understanding of central extensions of quasisimple linear algebraic groups which are groups of finite Morley rank is necessary for the classification oftamesimpleK*-groupsof finite Morley rank, which constitutes an approach to the Cherlin-Zil’ber conjecture. For this reason the theorem above and its corollary were proven in [1] (Theorems 4.1 and 4.2) under the assumption oftameness, which simplifies the argument considerably. The result of the present paper shows that this assumption can be dropped. The main line of argument is parallel to that in [1]; the absence of the tameness assumption will be countered by a model-theoretic result and results fromK-theory. The model-theoretic result places limitations on definability in stable fields, and may possibly be relevant to eliminating certain other uses of tameness. (shrink)

In this note we study some local properties ofω-stable groups of finite Morley rank.

Borovik proposed an axiomatic treatment of Morley rank in groups, later modified by Poizat, who showed that in the context of groups the resulting notion of rank provides a characterization of groups of finite Morley rank [2]. (This result makes use of ideas of Lascar, which it encapsulates in a neat way.) These axioms form the basis of the algebraic treatment of groups of finite Morley rank undertaken (...) in [1].There are, however, ranked structures, i.e., structures on which a Borovik-Poizat rank function is defined, which are not ℵ0-stable [1, p. 376]. In [2, p. 9] Poizat raised the issue of the relationship between this notion of rank and stability theory in the following terms: “… ungroupede Borovik est une structure stable, alors qu'un univers rangé n'a aucune raison de l'être …” (emphasis added). Nonetheless, we will prove the following:Theorem 1.1.A ranked structure is superstable.An example of a non-ℵ0-stable structure with Borovik-Poizat rank 2 is given in [1, p. 376]. Furthermore, it appears that this example can be modified in a straightforward way to give ℵ0-stable structures of Borovik-Poizat rank 2 in which the Morley rank is any countable ordinal (which would refute a claim of [1, p. 373, proof of C.4]). We have not checked the details. This does not leave much room for strenghthenings of our theorem. On the other hand, the proof of Theorem 1.1 does give a finite bound for the heights of certain trees of definable sets related to unsuperstability, as we will see in Section 5. (shrink)

We prove that a nonabelian superstable CSA-group has an infinite definable simple subgroup all of whose proper definable subgroups are abelian. This imply in particular that the existence of nonabelian CSA-group of finite Morley rank is equivalent to the existence of a simple bad group all whose definable proper subgroups are abelian. We give a new proof of a result of Mustafin and Poizat [E. Mustafin, B. Poizat, Sous-groupes superstables de SL2 ] which states that a superstable (...) model of the universal theory of nonabelian free groups is abelian. We deduce also that a superstable torsion-free hyperbolic group is cyclic. We close the paper by showing that an existentially closed CSA*-group is not superstable. (shrink)

Generalizedn-gons are certain geometric structures (incidence geometries) that generalize the concept of projective planes (the nontrivial generalized 3-gons are exactly the projective planes).In a simplified world, every generalizedn-gon of finite Morley rank would be an algebraic one, i.e., one of the three families described in [9] for example. To our horror, John Baldwin [2], using methods discovered by Hrushovski [7], constructed ℵ1-categorical projective planes which are not algebraic. The projective planes that Baldwin constructed fail to be algebraic (...) in a dramatic way.Indeed, every algebraic projective plane over an algebraically closed field is Desarguesian [12]. In particular, an algebraically closed field (isomorphic to the base field) can be interpreted in every one of them. However, in the projective planes that Baldwin constructed, one cannot even interpret an infinite group.In this article we show that the same phenomenon occurs for the generalizedn-gons ifn≥ 3 is an odd integer. For each suchnwe constructmany nonisomorphic generalizedn-gons of finite Morley rank that do not interpret an infinite group. As one may expect, our method is inspired by Hrushovski and Baldwin, and we follow Baldwin's line of approach. Quite often our proofs are a verification of the fact that the proofs of Baldwin [2] forn= 3 carry over to an arbitrary positive odd integern(which is sometimes far from being obvious). As in [2], we begin by defining a certain collection of finite graphsK* and a binary relation ≤ on these graphs. We show that (K*, ≤) satisfies the amalgamation property. (shrink)

We show that if G is a group of finite Morley rank, then the verbal subgroup is of finite width, where w is a concise word. As a byproduct, we show that if G is any abelian-by-finite group, then Gn= is definable.

It is proved that all groups of finite U-rank that have the descending chain condition on definable subgroups are totally transcendental. A corollary is that any stable group that is definable in an o-minimal structure is totally transcendental of finite Morley rank.

We say that a first order formula Φ distinguishes a structure M over a vocabulary L from another structure M' over the same vocabulary if Φ is true on M but false on M'. A formula Φ defines an L-structure M if Φ distinguishes M from any other non-isomorphic L-structure M'. A formula Φ identifies an n-element L-structure M if Φ distinguishes M from any other non-isomorphic n-element L-structure M'. We prove that every n-element structure M is identifiable by a (...) formula with quantifier rank less than (1- 1/2k)n+k²-k+4 and at most one quantifier alternation, where k is the maximum relation arity of M. Moreover, if the automorphism group of M contains no transposition of two elements, the same result holds for definability rather than identification. The Bernays-Schönfinkel class consists of prenex formulas in which the existential quantifiers all precede the universal quantifiers. We prove that every n-element structure M is identifiable by a formula in the Bernays-Schönfinkel class with less than (1-1/2k²+2)n+k quantifiers. If in this class of identifying formulas we restrict the number of universal quantifiers to k, then less than n-√ n+k²+k quantifiers suffice to identify M and, as long as we keep the number of universal quantifiers bounded by a constant, at total n-O(√ n) quantifiers are necessary. (shrink)

In this paper we construct a non-CM-trivial stable theory in which no infinite field is interpretable. In fact our theory will also be trivial and ω-stable, but of infinite Morley rank. A long term aim would be to find a nonCM-trivial theory which has finite Morley rank (or is even strongly minimal) and does not interpret a field. The construction in this paper is direct, and is a “3-dimensional” version of the free pseudoplane. In a (...) sense we are cheating: the original point of the notion ofCM-triviality was to describe the geometry of a strongly minimal set, or even of a regular type. In our example, non-CM-triviality will come from the behaviour of three orthogonal regular types.A stable theory is said to beCM-trivial if wheneverA⊆Band acl(Ac) ∩ acl(B) = acl(A) inTeq, then Cb(stp(c/A)) ⊆ Cb(stp(c/B)). ( An infinite stable field will not beCM-trivial.) The notion is due to Hrushovski [3], where he gave several equivalent definitions, as well as showing that his new strongly minimal sets constructed “ab ovo” wereCM-trivial. The notion was studied further in [6] where it was shown thatCM-trivial groups of finite Morley rank are nilpotent-by-finite. These results were generalized in various ways to the superstable case in [8]. (shrink)

This book considers the place and value of knowledge in contemporary society. “Knowledge” is not a self-evident concept: both its denotations and connotations are historically situated. Since the Enlightenment, knowledge has been a matter of discovery through effort, and “knowledge for its own sake” a taken-for-granted ideal underwriting progressive education as a process which not only taught “for” and “about” something, but also ennobled the soul. While this ideal has not been explicitly rejected, in recent decades there has been a (...) tacit move away from a strong emphasis on its centrality, even in Higher Education. The authors address the values that inform knowledge production in its present forms, and seek to identify social and cultural factors that support these values.Against the background of increasingly restrictive conditions of academic work, the first section of this volume offers incisive critiques of Higher Education, with examples drawn from Australia and New Zealand. The second group of chapters considers how academics have viewed, and have tried to adapt to, present circumstances. The third section comprises papers that consider epistemological issues in the generation and promulgation of knowledge. The chapters in this volume are indicative of the work that needs to be done so that we can come to comprehend – and perhaps try and improve – our relationship to learning and knowledge in the 21st Century.This timely book will be of particular interest to workers in higher education; it should also inform and challenge all those who have concerns for the future of the intellectual life of our civilization. (shrink)

Social work is a contested tradition, torn between the demands of social governance and autonomy. Today, this struggle is reflected in the division between the dominant, neoliberal agenda of service provision and the resistance offered by various critical perspectives employed by disparate groups of practitioners serving diverse communities. Critical social work challenges oppressive conditions and discourses, in addition to addressing their consequences in individuals’ lives. However, very few recent critical theorists informing critical social work have advocated revolution. A challenging (...) exception can be found in the work of Cornelius Castoriadis (1922–97), whose explication of ontological underdetermination and creation evades the pitfalls of both structural determinism and post-structural relativism, enabling an understanding of society as the contested creation of collective imaginaries in action and a politics of radical transformation. On this basis, we argue that Castoriadis’s radical-democratic revisioning of revolutionary praxis can help in reimagining critical social work’s emancipatory potential. (shrink)

As the range of potential uses for Artificial Intelligence, in particular machine learning, has increased, so has awareness of the associated ethical issues. This increased awareness has led to the realisation that existing legislation and regulation provides insufficient protection to individuals, groups, society, and the environment from AI harms. In response to this realisation, there has been a proliferation of principle-based ethics codes, guidelines and frameworks. However, it has become increasingly clear that a significant gap exists between the theory (...) of AI ethics principles and the practical design of AI systems. In previous work, we analysed whether it is possible to close this gap between the ‘what’ and the ‘how’ of AI ethics through the use of tools and methods designed to help AI developers, engineers, and designers translate principles into practice. We concluded that this method of closure is currently ineffective as almost all existing translational tools and methods are either too flexible or too strict. This raised the question: if, even with technical guidance, AI ethics is challenging to embed in the process of algorithmic design, is the entire pro-ethical design endeavour rendered futile? And, if no, then how can AI ethics be made useful for AI practitioners? This is the question we seek to address here by exploring why principles and technical translational tools are still needed even if they are limited, and how these limitations can be potentially overcome by providing theoretical grounding of a concept that has been termed ‘Ethics as a Service.’. (shrink)

We give a reduction of the function field Mordell–Lang conjecture to the function field Manin–Mumford conjecture, for abelian varieties, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for Zariski geometries. Additional ingredients include the “Theorem of the Kernel”, and a result of Wagner on commutative groups of finite Morley rank without proper infinite definable subgroups. In positive characteristic, where the main interest lies, there is one more crucial ingredient: “quantifier-elimination” for the (...) corresponding [Formula: see text] where [Formula: see text] is a saturated separably closed field. (shrink)

One of the purposes of this paper is to prove a partial Schur-Zassenhaus Theorem for groups of finite Morley rank.Theorem 2.Let G be a solvable group of finite Morley rank. Let π be a set of primes, and let H ⊲ G a normal π-Hall subgroup. Then H has a complement in G.This result has been proved in [1] with the additional assumption thatGis connected, and thought to be generalized in [2] by the (...) authors of the present article. Unfortunately in the last section of the latter paper there is an irrepairable mistake. Here we give a new proof of the Schur-Zassenhaus Theorem using the results of [2] up to the last section and a new result that we are going to state below.The second author has shown in [11] that a nilpotentω-stable group is the central product of a divisible subgroup and a subgroup of bounded exponent, generalizing a well-known result of Angus Macintyre about abelian groups [8]. One could ask a similar question for solvable groups: are they a product of two subgroups, one divisible, one of bounded exponent? One is allowed to be hopeful because of the well-known decomposition of the connected solvable algebraic groups over algebraically closed fields as the product of the unipotent radical and a torus. (shrink)