English
Related papers

Related papers: A Pierce Representation Theorem for varieties with…

200 papers

In this paper we prove that in the context of varieties with Right Existentially Definable Factor Congruences, definability of the property "e and f are complementary central elements", stability by complements and coextensivity of its…

Category Theory · Mathematics 2019-10-22 William Zuluaga

In this paper we use the theory of central elements in order to provide a characterization for coextensive varieties. In particular, if the variety is of finite type, congruence-permutable and its class of directly indecomposable members is…

Category Theory · Mathematics 2020-12-23 W. J. Zuluaga Botero

Extensivity of a category may be described as a property of coproducts in the category, namely, that they are disjoint and universal. An alternative viewpoint is that it is a property of morphisms in a category. This paper explores this…

Category Theory · Mathematics 2025-02-19 Michael Hoefnagel , Emma Theart

A celebrated theorem of Pimsner states that a covariant representation $T$ of a $C^*$-correspondence $E$ extends to a $C^*$-representation of the Toeplitz algebra of $E$ if and only if $T$ is isometric. This paper is mainly concerned with…

Operator Algebras · Mathematics 2011-03-31 Ami Viselter

A variety V has definable factor congruences if and only if factor congruences can be defined by a first-order formula Phi having central elements as parameters. We prove that if Phi can be chosen to be existential, factor congruences in…

Logic · Mathematics 2010-11-16 Pedro Sánchez Terraf

A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times…

Category Theory · Mathematics 2020-08-11 David Neal Broodryk

A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times…

Category Theory · Mathematics 2021-04-27 David Neal Broodryk

Generators and relations are given for the subalgebra of cocommutative elements in the quantized coordinate rings of the classical groups, where the deformation parameter q is transcendental. This is a ring theoretic formulation of the well…

Quantum Algebra · Mathematics 2007-05-23 M. Domokos , T. H. Lenagan

Motivated by the Poisson Dixmier-Moeglin equivalence problem, a systematic study of commutative unitary rings equipped with a {\em biderivation}, namely a binary operation that is a derivation in each argument, is here begun, with an eye…

Commutative Algebra · Mathematics 2021-11-08 Omar Leon Sanchez , Rahim Moosa

In this paper, we show that in every coextensive variety V, the assignment that maps each algebra to its set of central elements is both functorial and representable. Furthermore, we prove that the full subcategory of finitely presented…

Category Theory · Mathematics 2025-11-27 William Zuluaga

A variety V has Boolean factor congruences (BFC) if the set of factor congruences of every algebra in V is a distributive sublattice of its congruence lattice; this property holds in rings with unit and in every variety which has a…

Logic · Mathematics 2008-09-24 Pedro Sánchez Terraf

A partial algebra construction of Gr\"atzer and Schmidt from "Characterizations of congruence lattices of abstract algebras" (Acta Sci. Math. (Szeged) 24 (1963), 34-59) is adapted to provide an alternative proof to a well-known fact that…

Rings and Algebras · Mathematics 2014-09-23 Brian T. Chan

We study direct product representations of algebras in varieties. We collect several conditions expressing that these representations are "definable" in a first-order-logic sense, among them the concept of Definable Factor Congruences…

Logic · Mathematics 2009-06-25 Pedro Sánchez Terraf , Diego J. Vaggione

In this thesis, I present an associative diagram algebra that is a faithful representation of a particular Temperley--Lieb algebra of type affine $C$, which has a basis indexed by the fully commutative elements of the Coxeter group of the…

Quantum Algebra · Mathematics 2009-05-28 Dana C. Ernst

Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…

Category Theory · Mathematics 2008-02-06 Claudio Pisani

Let $A \subseteq E$ be a given extension of Hopf (respectively Lie) algebras. We answer the \emph{classifying complements problem} (CCP) which consists of describing and classifying all complements of $A$ in $E$. If $H$ is a given…

Quantum Algebra · Mathematics 2014-02-24 A. L. Agore , G. Militaru

We develop a representation theory for $\lambda$-lattices, arising as standard invariants of subfactors, and for rigid C*-tensor categories, including a definition of their universal C*-algebra. We use this to give a systematic account of…

Operator Algebras · Mathematics 2015-10-13 Sorin Popa , Stefaan Vaes

We call product generator of an additive category a fixed object satisfying the property that every other object is a direct factor of a product of copies of it. In this paper we start with an additive category with products and images,…

Category Theory · Mathematics 2013-05-28 George Ciprian Modoi

We show that a compact representation of a semisimple Lie group has an orthogonal decomposition into finite length representations. This generalises and simplifies a number of more special spectral theorems in the literature. We apply it to…

Number Theory · Mathematics 2024-01-30 Anton Deitmar

We study maximal representations of nonnegative sesquilinear forms in real or complex Hilbert spaces, that are not necessarily closed or even closable. We associate positive self-adjoint operators with such forms, in a sense similar to…

Functional Analysis · Mathematics 2025-05-15 Zoltán Sebestyén , Zsigmond Tarcsay
‹ Prev 1 2 3 10 Next ›