Related papers: Generalized Cayley's $\Omega$-processes

We define a general notion of set of indices which, using concepts from pre-ordered sets theory, permits to unify the presentation of several Colombeau-type algebras of nonlinear generalized functions. In every set of indices it is possible…

A generalised notion of Kac-Moody algebra is defined using smooth maps from a compact real manifold $\mathcal{M}$ to a finite-dimensional Lie group, by means of complete orthonormal bases for a Hermitian inner product on the manifold and a…

Batanin and Leinster's work on globular operads has provided one of many potential defnitions of a weak $\omega$-category. Through the language of globular operads they construct a monad whose algebras encode weak $\omega$-categories. The…

Quantum computations that involve only Clifford operations are classically simulable despite the fact that they generate highly entangled states; this is the content of the Gottesman-Knill theorem. Here we isolate the ingredients of the…

We investigate the standard graded $k$-algebras over a field $k$ of characteristic zero for which general linear forms are exact zero divisors. We formulate a conjecture regarding the Hilbert function of such rings. We prove our conjecture…

The theory of generalized matric Massey products has been applied for some time to $A$-modules $M$, $A$ a $k$-algebra. The main application is to compute the local formal moduli $\hat{H}_M$, isomorphic to the local ring of the moduli of…

The basic idea of quantum complexity geometry is to endow the space of unitary matrices with a metric, engineered to make complex operators far from the origin, and simple operators near. By restricting our attention to a finite subgroup of…

Each infinitesimally faithful representation of a reductive complex connected algebraic group $G$ induces a dominant morphism $\Phi$ from the group to its Lie algebra $\g$ by orthogonal projection in the endomorphism ring of the…

Let P -> M be a principal G-bundle. Using techniques from the loop representation of gauge theory, we construct well-defined substitutes for ``Lebesgue measure'' on the space A of connections on P and for ``Haar measure'' on the group Ga of…

We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…

For a zero-relation algebra over a field $\mathcal K$, Crawley-Boevey introduced the concept of a tree module and provided a combinatorial description of a basis for the space of homomorphisms between two tree modules--the basis elements…

Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…

We introduce a broad class of self-similar processes $\{Z(t),t\ge 0\}$ called generalized Hermite process. They have stationary increments, are defined on a Wiener chaos with Hurst index $H\in (1/2,1)$, and include Hermite processes as a…

Olivieri, del R{\'{\i}}o and Sim{\'o}n defined strongly monomial groups and a significant result proved by them is the explicit description of the simple components of the rational group algebra $\mathbb{Q}G$ of a strongly monomial group…

The notion of a coalgebra measuring, introduced by Sweedler, is a kind of generalized ring map between algebras. We begin by studying maps on Hochschild homology induced by coalgebra measurings. We then introduce a notion of coalgebra…

For a graph $\Gamma$, the multiplicity of the eigenvalue $0$, denoted by $\eta(\Gamma)$, is called the nullity of $\Gamma$. Also the energy of $\Gamma$, denoted by $\mathcal{E}(\Gamma)$, is defined as the sum of the absolute values of the…

Let $A$ be an infinite set. Let $\Omega(A)$ be the algebra over $A$ where every constant is a fundamental constant and every finitary function is a fundamental operation. We shall give a method of representing any algebra $\mathcal{L}$ in…

We first study commutative, pointed monoids providing basic definitions and results in a manner similar commutative ring theory. Included are results on chain conditions, primary decomposition as well as normalization for a special class of…

This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…

Let $\omega(n)$ denote the number of distinct prime factors of a natural number $n$. In 1940, Erd\H{o}s and Kac established that $\omega(n)$ obeys the Gaussian distribution over natural numbers, and in 2004, the third author generalized…