Related papers: Isbell's subfactor projections in a noetherian for…
We consider two variants of those Abelian groups with all proper characteristic subgroups isomorphic and give an in-depth study of their basic and specific properties in either parallel or contrast to the Abelian groups with all proper…
We show how a rescaling of fractional operators with bounded kernels may help circumvent their documented deficiencies, for example, the inconsistency at zero or the lack of inverse integral operator. On the other hand, we build a novel…
We introduce the notion of a lowered flag of $\mathcal{O}$--modules in order to define a sheaf of flags of ideals isomorphic to the sheaf of parabolic subgroups for the general linear group $\mathbf{GL}_{1,\mathcal{A}}$ of an Azumaya…
The method of little groups describes the irreducible characters of semidirect products with abelian normal subgroups in terms of the irreducible characters of the factor groups. We modify this method to construct supercharacter theories of…
We use continuous model theory to obtain several results concerning isomorphisms and embeddings between II_1 factors and their ultrapowers. Among other things, we show that for any II_1 factor M, there are continuum many nonisomorphic…
Our goal in this paper and two sequels is to apply the Yamagami-Muhly-Williams equivalence theorem for Fell bundles over groupoids to recover and extend all known imprimitivity theorems involving groups. Here we extend Raeburn's symmetric…
The main result of this paper is a generalization of the theorem of Chevalley-Shephard-Todd to the rings of invariants of pseudoreflection groups over Dedekind domains. In the special case of a principal ideal domain in which the group…
We give a survey of recent results related to the problem of characterizing finite-dimensional division algebras by the set of isomorphism classes of their maximal subfields. We also discuss various generalizations of this problem and some…
We prove a variety results on tensor product factorizations of finite dimensional Hopf algebras (more generally Hopf algebras satisfying chain conditions in suitable braided categories). The results are analogs of well-known results on…
Kontsevich-Soibelman (2017) reformulated Eynard-Orantin topological recursion (2007) in terms of Airy structure which provides some geometrical insights into the relationship between the moduli space of curves and topological recursion. In…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
In this article, we prove an isomorphism theorem for the case of refinement $\Gamma$-monoids. Based on this we show a version of the well-known Jordan-H\"older theorem in this framework. The main theorem of this article states that - as in…
In this article, we define and explore the weak normalization of an affine semigroup. In particular, for a fixed prime integer, we provide a geometric description of the weak normalization of an affine semigroup with respect to that prime,…
We establish the convergence theory of multiplicative Diophantine approximation for all non-degenerate, smooth manifolds. We also settle said convergence theory for all affine subspaces satisfying a highly generic and essentially optimal…
We show the Farrell-Jones conjecture with coefficients in left-exact $\infty$-categories for finitely $\mathcal{F}$-amenable groups and, more generally, Dress-Farrell-Hsiang-Jones groups. Our result subsumes and unifies arguments for the…
We prove a "Generic Equivalence Theorem which says that two affine morphisms $p: S \to Y$ and $q: T \to Y$ of varieties with isomorphic (closed) fibers become isomorphic under a dominant etale base change $\phi: U \to Y$. A special case is…
A quandle will be called quasi-affine, if it embeds into an affine quandle. Our main result is a characterization of quasi-affine quandles, by group-theoretic properties of their displacement group, by a universal algebraic condition coming…
Strong compactness results for families of functions in seminormed nonnegative cones in the spirit of the Aubin-Lions-Dubinski\u{\i} lemma are proven, refining some recent results in the literature. The first theorem sharpens slightly a…
Affine difference algebraic groups are a generalization of affine algebraic groups obtained by replacing algebraic equations with algebraic difference equations. We show that the isomorphism theorems from abstract group theory have…
We give new homotopy theoretic criteria for deciding when a fibration with homotopy finite fibers admits a reduction to a fiber bundle with compact topological manifold fibers. The criteria lead to a new and unexpected result about…