相关论文: Free-algebra functors from a coalgebraic perspecti…

Free variables occur frequently in mathematics and computer science with ad hoc and altering semantics. We present the most recent version of our free-variable framework for two-valued logics with properly improved functionality, but only…

We prove that the free product pair of any finitely many copies of the unique amenable type III$_1$ factor endowed with weakly mixing states remembers the number of free components and the given states.

We introduce the forcing property of descending distributivity. A forcing $\mathbb{P}$ is $\kappa$-descending distributive if for all decreasing sequences $(D_\alpha)_{\alpha<\kappa}$ of open dense sets, $\bigcap_\alpha D_\alpha$ is open…

Various problems on integers lead to the class of congruence preserving functions on rings, i.e. functions verifying $a-b$ divides $f(a)-f(b)$ for all $a,b$. We characterized these classes of functions in terms of sums of rational…

In this article, we give a representation of bounded complex linear operators which preserve idempotent elements on the Fourier algebra of a locally compact group. When such an operator is moreover positive or contractive, we show that the…

Initiated by a result of Gorin and Marcus [Int. Math. Res. Not., (3):883--913, 2020] and an observation of Steinerberger [Proc. Amer. Math. Soc., 147(11):4733--4744, 2019], there has been a recent growing body of literature connecting…

In this paper we introduce and investigate the notion of semiseparable functor. One of its first features is that it allows a novel description of separable and naturally full functors in terms of faithful and full functors, respectively.…

Shelah showed that the existence of free subsets over internally approachable subalgebras follows from the failure of the PCF conjecture on intervals of regular cardinals. We show that a stronger property called the Approachable Bounded…

In commutative algebra, a Weitzenb\"ock derivation is a nonzero triangular linear derivation of the polynomial algebra $K[x_1,...,x_m]$ in several variables over a field $K$ of characteristic 0. The classical theorem of Weitzenb\"ock states…

We generalize Franz' independence in tensor categories with inclusions from two morphisms (which represent generalized random variables) to arbitrary ordered families of morphisms. We will see that this only works consistently if the unit…

As a fundamental notion, the free differential algebra on a set is concretely constructed as the polynomial algebra on the differential variables. Such a construction is not known for the more general notion of the free differential algebra…

We give sufficient conditions, in terms of the existence of unbounded derivations satisfying certain properties, which ensure that a II$_1$ factor $M$ is prime or has at most one Cartan subalgebra. For instance, we prove that if there…

As a generalization of the free semigroup algebras considered by Davidson and Pitts, and others, the second author and D.W. Kribs initiated a study of reflexive algebras associated with directed graphs. A free semigroupoid algebra L_G is…

Let F be a right Hilbert C*-module over a C*-algebra B, and suppose that F is equipped with a left action, by compact operators, of a second C*-algebra A. Tensor product with F gives a functor from Hilbert C*-modules over A to Hilbert…

We study a structure of the group of unitriangular automorphisms of a free associative algebra and a polynomial algebra and prove that this group is a semi direct product of abelian groups. Using this decomposition we describe a structure…

We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence…

The classical theory of free analysis generalizes the noncommutative (nc) polynomials and rational functions, easily providing such results as an nc analogue of the Jacobian conjecture. However, the classical theory misses out on important…

For any factorization domain $\cal A$ and an algebra endomorphism $\sigma$ of $\cal A$, there exists a non-associative algebra $({\cal A},\sigma,[\cdot,\cdot])$ with multiplication satisfying skew-symmetry and generalized (twisted) Jacobi…

We extend Barr's well-known characterization of the final coalgebra of a $Set$-endofunctor as the completion of its initial algebra to the Eilenberg-Moore category of algebras for a $Set$-monad $\mathbf{M}$ for functors arising as liftings.…

In this paper, we address the question of when a non-free $\aleph_1$-free group $H$ can be be free in a transitive cardinality-preserving model extension. Using the $\Gamma$-invariant, denoted $\Gamma(H)$, we present a necessary and…