Related papers: P{\l}onka Adjunction
In this paper, we investigate the conditions for the Mal'cev-Neumann series ring {\Lambda} = R((G;{\sigma};{\tau})) to be left fusible and an SA-ring. Also, we show that: if G is a quasitotally ordered group and U a {\Sigma}-compatible…
We investigate several categories of integrable $sl(\infty)$-, $o(\infty)$-, $sp(\infty)$-modules. In particular, we prove that the category of integrable $sl(\infty)$-, $o(\infty)$-, $sp(\infty)$-modules with finite-dimensional weight…
The Deligne-Simpson problem (DSP) (resp. the weak DSP) is formulated like this: {\em give necessary and sufficient conditions for the choice of the conjugacy classes $C_j\subset GL(n,{\bf C})$ or $c_j\subset gl(n,{\bf C})$ so that there…
In this article we give a classification of the sub-groups in PSL(2,Z) and of the conjugacy classes of these sub-groups by the mean of an combinatorial invariant: some trivalent diagrams (dotted or not). We give explicit formulae enabling…
An orthoset is a non-empty set together with a symmetric and irreflexive binary relation $\perp$, called the orthogonality relation. An orthoset with 0 is an orthoset augmented with an additional element 0, called falsity, which is…
We provide an explicit algorithm to calculate invariant tensors for the adjoint representation of the simple Lie algebra $sl(n)$, as well as arbitrary representation in terms of roots. We also obtain explicit formulae for the adjoint…
Certain results involving "higher structures" are not currently accessible to computer formalization because the prerequisite $\infty$-category theory has not been formalized. To support future work on formalizing $\infty$-category theory…
We introduce a new topological invariant of a rigidly-compactly generated tensor-triangulated category and two new notions of support. The first is based on smashing subcategories: it is unknown whether the frame of smashing subcategories…
We study discrete opfibration classifiers in enhanced 2-categories and show how, under suitable hypotheses, such classifiers can be endowed with the structure of a (lax or pseudo-)T-algebra and classify strict discrete opfibrations in…
We use the G-signature theorem to define an invariant of strongly invertible knots analogous to the knot signature.
The main results of this article concern the definition of a compactly supported cohomology class for the congruence group $\Gamma_0(p^n)$ with values in the second Milnor $K$-group (modulo 2-torsion) of the ring of $p$-integers of the…
We give an adequate, concrete, categorical-based model for Lambda-S, which is a typed version of a linear-algebraic lambda calculus, extended with measurements. Lambda-S is an extension to first-order lambda calculus unifying two approaches…
Given a representation of a C*-algebra, thought of as an abstract collection of physical observables, together with a unit vector, one obtains a state on the algebra via restriction. We show that the Gelfand-Naimark-Segal (GNS) construction…
The current paper is an addition to the previous paper by author, where the overgroup lattice of the elementary subsystem subgroup $E(\Delta,R)$ of the Chevalley group $G(\Phi,R)$ for a large enough root subsystem $\Delta$ was studied. Now…
We construct canonical adjoint $p$-adic $L$-functions generating the congruence ideal attached to Hida families using Ohta's pairing. We show that these $p$-adic $L$-functions, suitably modified by certain Euler factors, are interpolated by…
Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is…
A propositional proof system $P$ has the strong feasible disjunction property iff there is a constant $c \geq 1$ such that whenever $P$ admits a size $s$ proof of $\bigvee_i \alpha_i$ with no two $\alpha_i$ sharing an atom then one of…
A topological space $A$ is said to be compatible with a set $\Sigma$ of equations (involving operation symbols $F_t$) iff there are continuous operations $\overline F_t$ identically satisfying $\Sigma$ on $A$. The paper's main focus is on…
A perforated surface is the complement $\mathring\Sigma:=\Sigma\setminus A$ of a countable dense subset $A$ in a connected paracompact surface $\Sigma$. It is known that the topological type of $\Sigma\setminus A$ is independent of the…
Let $S$ be a semigroup, $\Lambda$ a non-empty set and $P$ a mapping of $\Lambda$ into $S$. The set $S\times \Lambda$ together with the operation $\circ _P$ defined by $(s, \lambda)\circ _P(t, \mu )=(sP(\lambda)t, \mu )$ form a semigroup…