Decidability of the theory of modules over Prüfer domains with dense value groups

We provide algebraic conditions ensuring the decidability of the theory of modules over effectively given Prüfer (in particular Bézout) domains whose localizations at maximal ideals have dense value groups. For Bézout domains, these conditions are also necessary.     

Notes on the largest irreducible character degree of a finite group

Let be a finite group and the largest irreducible character degree of . In this note, we show the following results: if , then ; if and, in addition, is -solvable with abelian Sylow -subgroup, then .

     

The Ordered Group of Invertible Ideals of a Prüfer Domain of Finite Character

Abstract

Let D be a Prüfer domain, and denote by ± b?(D) the multiplicative group of all invertible fractional ideals of D, ordered by A ≤ B if and only if A ? B. Denote by G _i the value group of the valuation associated with the valuation ring D _{M i} , where {M _i } _i∈I is the collection of all maximal ideals of D. In this note we prove that the natural map from ± b?(D) into ± b∏ _i∈I G _i is an isomorphism onto the cardinal sum ± b? _i∈I G _i if and only if D is h-local. As a corollary, the group of divisibility of an h-local Bézout domain is isomorphic to ± b? _i∈I G _i , the notation being as above.     

Butler Modules Over Prüfer Domains

If R is an integral domain, let  be the class of torsion free completely decomposable R-modules of finite rank. Denote by  the class of those torsion-free R-modules A such that A is a homomorphic image of some C ? , and let 𝒫 be the class of R-modules K such that K is a pure submodule of some C ? . Further, let Q  and Q 𝒫 be the respective closures of  and 𝒫 under quasi-isomorphism. In this article, it is shown that if R is a Prüfer domain, then Q  = Q 𝒫, and  = 𝒫 in the special case when R is h-local. Also, if R is an h-local Prüfer domain and if C ?  has a linearly ordered typeset, it is established that all pure submodules and all torsion-free homomorphic images of C are themselves completely decomposable. Finally, as an application of these results, we prove that if R is an h-local Prüfer domain, then  = Q  = Q 𝒫 = 𝒫 if and only if R is almost maximal.     

Arithmetic of divisibility in finite models

We prove that the finite‐model version of arithmetic with the divisibility relation is undecidable (more precisely, it has Π⁰₁‐complete set of theorems). Additionally we prove FM‐representability theorem for this class of finite models. This means that a relation R on natural numbers can be described correctly on each input on almost all finite divisibility models if and only if R is of degree ≤ 0 ′. We obtain these results by interpreting addition and multiplication on initial segments of finite models with divisibility only. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Kronecker Function Rings of Transcendental Field Extensions

We consider the ring Kr(F/D), where D is a subring of a field F, that is the intersection of the trivial extensions to F(X) of the valuation rings of the Zariski–Riemann space consisting of all valuation rings of the extension F/D and investigate the ideal structure of Kr(F/D) in the case where D is an affine algebra over a subfield K of F and the extension F/K has countably infinite transcendence degree, by using the topological structure of the Zariski–Riemann space. We show that for any pair of nonnegative integers d and h, there are infinitely many prime ideals of dimension d and height h that are minimal over any proper nonzero finitely generated ideal of Kr(F/D).     

Module-Theoretic Characterizations of Generalized GCD Domains

We give several module-theoretic characterizations of generalized GCD domains. For example, we show that an integral domain R is a generalized GCD domain if and only if semi-divisoriality and flatness are equivalent for torsion-free R-modules if and only if every w-finite w-module is projective if and only if R is w-Prüfer (in the sense of Zafrullah). We also characterize when a pullback R of a certain type is a generalized GCD domain. As an application, we characterize when R = D + XE[X] (here, D ? E is an extension of domains and X is an indeterminate) is a generalized GCD domain.     

The generic character table of a Sylow p-subgroup of a finite Chevalley group of type D4

Let U be a Sylow p-subgroup of the finite Chevalley group of type D₄ over the field of q elements, where q is a power of a prime p. We describe a construction of the generic character table of U.     

On the average degree of some irreducible characters of a finite group

Let G be a finite group and N be a non-trivial normal subgroup of G, such that the average degree of irreducible characters in $\mathrm{Irr}(G|N)$ is less than or equal to 16/5. Then, we prove that N is solvable. Also, we prove the solvability of G, by assuming that the average degree of irreducible characters in $\mathrm{Irr}(G|N)$ is strictly less than 16/5. We show that the bounds are sharp.     

The Jacobson radical of group rings of locally finite groups

This paper is the final installment in a series of articles, started in 1974, which study the semiprimitivity problem for group algebras of locally finite groups. Here we achieve our goal of describing the Jacobson radical in terms of the radicals of the group algebras of the locally subnormal subgroups of . More precisely, we show that if and if , then the controller of is the characteristic subgroup generated by the locally subnormal subgroups of with . In particular, we verify a conjecture proposed some twenty years ago and, in so doing, we essentially solve one half of the group ring semiprimitivity problem for arbitrary groups. The remaining half is the more difficult case of finitely generated groups. This article is effectively divided into two parts. The first part, namely the material in Sections 2-6, covers the group theoretic aspects of the proof and may be of independent interest. The second part, namely the work in Sections 7-12, contains the group ring and ring theoretic arguments and proves the main result. As usual, it is necessary for us to work in the more general context of twisted group algebras and crossed products. Furthermore, the proof ultimately depends upon results which use the Classification of the Finite Simple Groups.

     

The states of the character ring of a compact group

Deligne’s generalization of the Hadamard—Vallée Poussin method in classical number theory is formulated as the representability of certain states of the character ring of a compact group, and the determination of all the representable states is carried out. Research partially supported by NSF Grant 85-01742.