English
Related papers

Related papers: Every simple compact semiring is finite

200 papers

We extend the theory of atomized semilattices to the infinite setting. We show that it is well-defined and that every semilattice is atomizable. We also study atom redundancy, focusing on complete and finitely generated semilattices and…

Commutative Algebra · Mathematics 2025-11-25 Fernando Martin-Maroto , Antonio Ricciardo , David Mendez , Gonzalo G. de Polavieja

We show that a suitable ring with a ``nice'' topology, in which convergent limits of units are units, is an \aleph_0-exchange ring. We generalize the argument to show that a semi-regular ring, R, with a ``nice'' topology, is a full exchange…

Rings and Algebras · Mathematics 2007-05-23 Pace P. Nielsen

A finite relational structure A is called compact if for any infinite relational structure B of the same type, the existence of a homomorphism from B to A is equivalent to the existence of homomorphisms from all finite substructures of B to…

Logic · Mathematics 2026-03-09 Claude Tardif

Let $H$ be a monoid, $\mathscr F(X)$ be the free monoid on a set $X$, and $\pi_H$ be the unique extension of the identity map on $H$ to a monoid homomorphism $\mathscr F(H) \to H$. Given $A \subseteq H$, an $A$-word $\mathfrak z$ (i.e., an…

Rings and Algebras · Mathematics 2024-11-11 Laura Cossu , Salvatore Tringali

We describe the groups that have the same holomorph as a finite perfect group. Our results are complete for centerless groups. When the center is non-trivial, some questions remain open. The peculiarities of the general case are illustrated…

Group Theory · Mathematics 2019-01-09 A. Caranti , F. Dalla Volta

We show that every central simple algebra A over a field k is Brauer equivalent to a quotient of a finite dimensional Hopf algebra over the same field (that is- A is Hopf Schur). If the characteristic of the field is zero, or if the algebra…

Rings and Algebras · Mathematics 2011-12-19 Ehud Meir

Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…

Commutative Algebra · Mathematics 2025-05-29 Luca Pol , Jordan Williamson

It is shown that a connected non-compact metrizable manifold of dimension $\ge 2$ is strongly discrete homogeneous if and only if it has one end (in the sense of Freudenthal compactification).

General Topology · Mathematics 2023-04-17 Vitalij A. Chatyrko , Alexandre Karassev

A left and right noetherian semiperfect ring R is known to be indecomposable if and only if its factor by the second power of Jacobson radical is. This characterisation is used to study simple R-modules in terms of their Ext groups. It is…

Rings and Algebras · Mathematics 2024-12-16 Dominik Krasula

In the paper we study the semigroup $\mathscr{C}_{\mathbb{Z}}$ which is a generalization of the bicyclic semigroup. We describe main algebraic properties of the semigroup $\mathscr{C}_{\mathbb{Z}}$ and prove that every non-trivial…

Group Theory · Mathematics 2012-01-04 Iryna Fihel , Oleg Gutik

It is an old conjecture, that finite $H$-spaces are homotopy equivalent to manifolds. Here we prove that this conjecture is true for loop spaces. Actually, we show that every quasi finite loop space is equivalent to a stably parallelizable…

Algebraic Topology · Mathematics 2007-05-23 N. Kitchloo , D. Notbohm

The purpose of this paper is to explore the concept of localization, which comes from homotopy theory, in the context of finite simple groups. We give an easy criterion for a finite simple group to be a localization of some simple subgroup…

Group Theory · Mathematics 2007-05-23 Jose L. Rodriguez , Jerome Scherer , Jacques Thevenaz

Let $A=(A_x)$ be a (semi-)continuous field of $C^*$-algebras over a compact Hausdorff space $X$ and let $p=(p_x)$ be a projection in $A$ such that each $p_x\in A_x$ is properly infinite ($x\in X$). Then $p$ is properly infinite if the field…

Operator Algebras · Mathematics 2007-05-23 Etienne Blanchard

For a ring $A$, we consider the question whether every bounded above cochain complex of injective $A$-modules which is acyclic is null-homotopic. We show that if $A$ is left and right noetherian and has a dualizing complex, then this…

Rings and Algebras · Mathematics 2023-03-31 Liran Shaul

A group $G$ is called hereditarily non-topologizable if, for every $H\le G$, no quotient of $H$ admits a non-discrete Hausdorff topology. We construct first examples of infinite hereditarily non-topologizable groups. This allows us to prove…

Group Theory · Mathematics 2013-10-02 A. A. Klyachko , A. Yu. Olshanskii , D. V. Osin

We detect topological semigroups that are topological paragroups, i.e., are isomorphic to a Rees product of a topological group over topological spaces with a continuous sandwich function. We prove that a simple topological semigroup $S$ is…

General Topology · Mathematics 2011-10-11 Taras Banakh , Svetlana Dimitrova , Oleg Gutik

Absolute integral closures of general commutative unital rings are explored. All rings admit absolute integral closures, but in general they are not unique. Among the reduced rings with finitely many minimal prime ideals, finite products of…

Commutative Algebra · Mathematics 2023-01-18 Matthé van der Lee

A group is SimpHAtic if it acts geometrically on a simply connected simplicially hereditarily aspherical (SimpHAtic) complex. We show that finitely presented normal subgroups of the SimpHAtic groups are either: finite, or of finite index,…

Group Theory · Mathematics 2021-09-29 Damian Osajda

Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then,…

Quantum Algebra · Mathematics 2023-10-27 Thibault D. Décoppet

Assume $R$ is a local Cohen-Macaulay ring. It is shown that $\Ass_R (H^l_I(R))$ is finite for any ideal $I$ and any integer $l$ provided $\Ass_R (H^2_{(x,y)}(R))$ is finite for any $x,y\in R$ and $\Ass_R (H^3_{(x_1,x_2,y)}(R))$ is finite…

Commutative Algebra · Mathematics 2007-05-23 Michael Hellus