Groups with few conjugacy classes of non-normal subgroups

The structure of groups with finitely many non-normal subgroups is well known. In this paper, groups are investigated with finitely many conjugacy classes of non-normal subgroups with a given property. In particular, it is proved that a locally soluble group with finitely many non-trivial conjugacy classes of non-abelian subgroups has finite commutator subgroup. This result generalizes a theorem by Romalis and Sesekin on groups in which every non-abelian subgroup is normal.      

Compactly Generated Relative Stable Categories

Let G be a finite group. The stable module category of G has been applied extensively in group representation theory. In particular, it has been used to great effect that it is a triangulated category which is compactly generated by the class of finitely generated modules. Let H be a subgroup of G. It is possible to define a stable module category of G relative to H. This is also a triangulated category, but no non-trivial examples have been known where it was compactly generated. While the finitely generated modules are compact objects, they do not necessarily generate the category. We show that the relative stable category is compactly generated if the group algebra of H has finite representation type. In characteristic p, this is equivalent to the Sylow p-subgroups of H being cyclic.     

ON THE EXISTENCE AND NON-EXISTENCE OF COMPLEMENTARY RADICAL AND SEMISIMPLE CLASSES

ABSTRACT

In certain categories of mathematical structures, non-trivial complementary radical classes (torsion classes or connectednesses) can be found. The question is why this is true for some but not for all categories. The answer depends on the embedding of trivial objects into nontrivial objects and is given by our main result: Any ‘reasonable’ category has no non-trivial complementary radical and semisimple classes if and only if for every trivial object T and every non-trivial object A there is a morphism T → A. Roughly, a ‘reasonable’ category in our sense is one with at least one object into which a terminal object can be embedded and has finite products, coproducts or lexicographic products.     

New properties of lattices in Lie groups

We study finite extension groups of lattices in Lie groups which have finitely many connected components. We show that every non-cocompact Fuchsian group (these are the non-cocompact lattices in $\text{PSL}\text{(2,}\text{R}\text{)}$) has an extension group of finite index which is not isomorphic to a lattice in a Lie group with finitely many connected components. On the other hand we prove that these are, in an appropriate sense, the only lattices in Lie groups which have extension groups of this kind. We also show that an extension group of finite index of a lattice in a Lie group with finitely many connected components has only finitely many conjugacy classes of finite subgroups. To cite this article: F. Grunewald, V. Platonov, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

<Emphasis Type="Italic">K</Emphasis><Subscript>0</Subscript> and rings over which the class of finitely generated strongly gorenstein projective modules is closed under extensions

In this paper, we consider the rings over which the class of finitely generated strongly Gorenstein projective modules is closed under extensions (called fs-closed rings). We give a characterization about the Grothendieck groups of the category of the finitely generated strongly Gorenstein projective R-modules and the category of the finitely generated R-modules with finite strongly Gorenstein projective dimensions for any left Noetherian fs-closed ring R.     

Singular superspaces

We introduce a wide category of superspaces, called locally finitely generated, which properly includes supermanifolds, but enjoys much stronger permanence properties, as are prompted by applications. Namely, it is closed under taking finite fibre products (i.e. is finitely complete) and thickenings by spectra of Weil superalgebras. Nevertheless, in this category, morphisms with values in a supermanifold are still given in terms of coordinates. This framework gives a natural notion of relative supermanifolds over a locally finitely generated base. Moreover, the existence of inner homs, whose source is the spectrum of a Weil superalgebra, is established; they are generalisations of the Weil functors defined for smooth manifolds.     

Categorical Generalization of a Universal Domain

J. Adámek defined SC categories as a categorical generalization of Scott domains. Namely, an SC category is finitely accessible, has an initial object and is boundedly cocomplete (each diagram with a compatible cocone has a colimit). SC categories are proved to serve well as a basis for the computer language semantics.The purpose of this paper is to generalize the concept of a universal Scott domain to a universal SC category. We axiomatize properties of subcategories of finitely presentable objects of SC categories (generalizing thus semilattices of compact elements of Scott domains). The categories arising are called FCC (finitely consistently cocomplete) categories. It is shown that there exists a universal FCC category, i.e., such that every FCC category may be FCC embedded into it. The result is an application of a general procedure introduced 30 years ago by V. Trnková.     

Classifying thick subcategories of the stable category of Cohen-Macaulay modules

Various classification theorems of thick subcategories of a triangulated category have been obtained in many areas of mathematics. In this paper, as a higher-dimensional version of the classification theorem of thick subcategories of the stable category of finitely generated representations of a finite p-group due to Benson, Carlson and Rickard, we consider classifying thick subcategories of the stable category of Cohen-Macaulay modules over a Gorenstein local ring. The main result of this paper yields a complete classification of the thick subcategories of the stable category of Cohen-Macaulay modules over a local hypersurface in terms of specialization-closed subsets of the prime ideal spectrum of the ring which are contained in its singular locus.     

Varieties of two-dimensional cylindric algebras.¶Part I: Diagonal-free case

We investigate the lattice of all subvarieties of the variety Df ₂ of two-dimensional diagonal-free cylindric algebras. We prove that a Df ₂-algebra is finitely representable if it is finitely approximable, characterize finite projective Df ₂-algebras, and show that there are no non-trivial injectives and absolute retracts in Df ₂. We prove that every proper subvariety of Df ₂ is locally finite, and hence Df ₂ is hereditarily finitely approximable. We describe all six critical varieties in , which leads to a characterization of finitely generated subvarieties of Df ₂. Finally, we describe all square representable and rectangularly representable subvarieties of Df ₂. Received May 25, 2000; accepted in final form November 2, 2001.     

K-Theory of Braided Monoidal Categories

We show that the commutativity constraint of a braided monoidal category gives rise to an algebraic structure on its K-theory known as a Gerstenhaber algebra. If, in addition, the braiding has a compatible balanced structure the Gerstenhaber bracket on the K-theory is generated by a Batalin–Vilkovisky differential. We use these algebraic structures to prove a generalization of the Anderson–Moore–Vafa theorem which says that the order of the twist, in a semi-simple balanced monoidal category with duals and finitely many simple objects, is finite.     

Relative Regular Objects in Categories

We define the concept of a regular object with respect to another object in an arbitrary category. We present basic properties of regular objects and we study this concept in the special cases of abelian categories and locally finitely generated Grothendieck categories. Applications are given for categories of comodules over a coalgebra and for categories of graded modules, and a link to the theory of generalized inverses of matrices is presented. Some of the techniques we use are new, since dealing with arbitrary categories allows us to pass to the dual category.      

Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties

We introduce new sufficient conditions for a finite algebraU to possess a finite basis of identities. The conditions are that the variety generated byU possess essentially only finitely many subdirectly irreducible algebras, and have definable principal congruences. Both conditions are satisfied if this variety is directly representable by a finite set of finite algebras. One task of the paper is to show that virtually no lattice varieties possess definable principal congruences. However, the main purpose of the paper is to apply the new criterion in proving that every para primal variety (congruence permutable variety generated by finitely many para primal algebras) is finitely axiomatizable. The paper also contains a completely new approach to the structure theory of para primal varieties which complements and extends somewhat the recent work of Clark and Krauss.     

Fourier synthesis via partially finite convex programming

A dual algorithm for problems of Fourier Synthesis is proposed. Partially finite convex programming provides tools for a formulation which enables to elude static pixelization of the object to be reconstructed. This leads to a regularized reconstruction-interpolation formula for problems in which finitely many and possibly irregularly spaced samples of the Fourier transform of the unknown object are known, as is the case in Magnetic Resonance Imaging with non-Cartesian and sparse acquisitions.     

A class of exactness properties characterized via left Kan extensions

We consider a general class of exactness properties on a finitely complete category, all of which can be expressed as the condition that a certain morphism in a diagram is a strong epimorphism. For each such exactness property, we characterize finitely bicomplete categories having the property by restricting the condition to those diagrams built from only one object in the category via a left Kan extension. In the regular context, this generalizes the theory of approximate co-operations introduced by D. Bourn and Z. Janelidze. As an application, we deduce from this a characterization of (essentially) algebraic categories satisfying such a given exactness property. The pointed version of these exactness properties is also studied.     

All but Finitely Many Non-Trivial Zeros of the Approximations of the Epstein Zeta Function are Simple and on the Critical Line

The Chowla–Selberg formula is applied in approximatinga given Epstein zeta function. Partial sums of the series derivefrom the Chowla–Selberg formula, and although these partialsums satisfy a functional equation, as does an Epstein zetafunction, they do not possess an Euler product. What we callpartial sums throughout this paper may be considered as specialcases concerning a more general function satisfying a functionalequation only. In this article we study the distribution ofzeros of the function. We show that in any strip containingthe critical line, all but finitely many zeros of the functionare simple and on the critical line. For many Epstein zeta functionswe show that all but finitely many non-trivial zeros of partialsums in the Chowla–Selberg formula are simple and on thecritical line. 2000 Mathematics Subject Classification 11M26.     

Finitely Related Clones and Algebras with Cube Terms

Aichinger et al. (2011) have proved that every finite algebra with a cube-term (equivalently, with a parallelogram-term; equivalently, having few subpowers) is finitely related. Thus finite algebras with cube terms are inherently finitely related??every expansion of the algebra by adding more operations is finitely related. In this paper, we show that conversely, if A is a finite idempotent algebra and every idempotent expansion of A is finitely related, then A has a cube-term. We present further characterizations of the class of finite idempotent algebras having cube-terms, one of which yields, for idempotent algebras with finitely many basic operations and a fixed finite universe A, a polynomial-time algorithm for determining if the algebra has a cube-term. We also determine the maximal non-finitely related idempotent clones over A. The number of these clones is finite.     

Fuzzy finitely generated modules

We introduce the category of fuzzy modules and discuss the construction of fuzzy finitely generated modules. Characterizations of a sort of fuzzy modules, in which the fuzzy value distribution is finite, are partly obtained.     

Definability in the Substructure Ordering of Simple Graphs

For simple graphs, we investigate and seek to characterize the properties first-order definable by the induced subgraph relation. Let \({\mathcal{P}\mathcal{G}}\) denote the set of finite isomorphism types of simple graphs ordered by the induced subgraph relation. We prove this poset has only one non-identity automorphism co, and for each finite isomorphism type G, the set {G, G ^co } is definable. Furthermore, we show first-order definability in \({\mathcal{P}\mathcal{G}}\) captures, up to isomorphism, full second-order satisfiability among finite simple graphs. These results can be utilized to explore first-order definability in the closely associated lattice of universal classes. We show that for simple graphs, the lattice of universal classes has only one non-trivial automorphism, the set of finitely generated and finitely axiomatizable universal classes are separately definable, and each such universal subclass is definable up to the unique non-trivial automorphism.     

A Representation Stability Theorem for VI-modules

Let VI be the category whose objects are the finite dimensional vector spaces over a finite field of order q and whose morphisms are the injective linear maps. A VI-module over a ring is a functor from the category VI to the category of modules over the ring. A VI-module gives rise to a sequence of representations of the finite general linear groups. We prove that the sequence obtained from any finitely generated VI-module over an algebraically closed field of characteristic zero is representation stable - in particular, the multiplicities which appear in the irreducible decompositions eventually stabilize. We deduce as a consequence that the dimension of the representations in the sequence {V _n } obtained from a finitely generated VI-module V over a field of characteristic zero is eventually a polynomial in q ⁿ . Our results are analogs of corresponding results on representation stability and polynomial growth of dimension for FI-modules (which give rise to sequences of representations of the symmetric groups) proved by Church, Ellenberg, and Farb.