Related papers: On Implicator Groupoids
This is a study of algebras with involution that become isomorphic over a separable closure of the base field to a tensor product of two composition algebras. We classify these algebras, provide criteria for isomorphism and isotopy, and…
We present a new method, involving monads and comonads from category theory, to help establish a certain type of equivalence of subcategories. As a case study we consider the category of topological gradings of $C^*$-algebras over a fixed…
In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the abstract Krivine structures and the implicative algebras…
Let $\mathfrak A_n$ be the subset of the standard integer lattice $\mathbb Z^n$, $\mathfrak A_n\subset\mathbb Z^n$ which is defined by the condition $\mathfrak A_n=((a_1,...,a_n)\in\mathbb Z^n | a_i\not\equiv a_j\mod n, \forall i,j\in…
The incompressibility method is a counting argument in the framework of algorithmic complexity that permits discovering properties that are satisfied by most objects of a class. This paper gives a preliminary insight into Kolmogorov's…
Braid groups are an important and flexible tool used in several areas of science, such as Knot Theory (Alexander's theorem), Mathematical Physics (Yang-Baxter's equation) and Algebraic Geometry (monodromy invariants). In this note we will…
We consider three isogeny invariants of abelian varieties over finite fields: the Galois group, Newton polygon, and the angle rank. Motivated by work of Dupuy, Kedlaya, and Zureick-Brown, we define a new invariant called the weighted…
Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…
The aim of this paper is to give an overview and to compare the different deformation theories of algebraic structures. We describe in each case the corresponding notions of degeneration and rigidity. We illustrate these notions with…
We establish branching rules between some Iwahori-Hecke algebra of type B and their subalgebras which are defined as fixed subalgebras by involutions including Goldman involution. The Iwahori-Hecke algebra of type D is one of such fixed…
We continue the analysis of the Modular Isomorphism Problem for $2$-generated $p$-groups with cyclic derived subgroup, $p>2$, started in [D. Garc\'ia-Lucas, \'A. del R\'io, and M. Stanojkovski. On group invariants determined by modular…
Given a morphism of (small) groupoids with injective object map, we provide sufficient and necessary conditions under which the induction and co-induction functors between the categories of linear representations are naturally isomorphic. A…
We begin a study of torsion theories for representations of an important class of associative algebras over a field which includes all finite W-algebras of type A, in particular the universal enveloping algebra of gl(n) (or sl(n)) for all…
We develop the theory of linear algebra over a (Z_2)^n-commutative algebra (n in N), which includes the well-known super linear algebra as a special case (n=1). Examples of such graded-commutative algebras are the Clifford algebras, in…
An axiomatic approach to the representation theory of Coxeter groups and their Hecke algebras was presented in [1]. Combinatorial aspects of this construction are studied in this paper. In particular, the symmetric group case is…
In an impressive series of papers, Krivine showed at the edge of the last decade how classical realizability provides a surprising technique to build models for classical theories. In particular, he proved that classical realizability…
We survey the general theory of groupoids, groupoid actions, groupoid principal bundles, and various kinds of morphisms between groupoids in the framework of categories with pretopology. We study extra assumptions on pretopologies that are…
We introduce and study a class of Lie algebroids associated to faithful modules which is motivated by the notion of cotangent Lie algebroids of Poisson manifolds. We also give a classification of transitive Lie algebroids and describe…
In the realm of invertible symmetry, the topological approach based on classifying spaces dominates the classification of 't Hooft anomalies and symmetry protected topological phases. We explore the alternative algebraic approach based on…
This is a continuation of our previous paper studying the structure of Cartan subalgebras of von Neumann factors of type II_1. We provide more examples of II_1 factors having either zero, one or several Cartan subalgebras. We also prove a…