English
Related papers

Related papers: Alg\`ebre commutative M\'ethodes constructives

200 papers

We solve a class of lifting problems involving approximate polynomial relations (soft polynomial relations). Various associated C*-algebras are therefore projective. The technical lemma we need is a new manifestation of Akemann and…

Operator Algebras · Mathematics 2014-01-14 Terry A. Loring , Tatiana Shulman

A resolution of the intersection of a finite number of subgroups of an abelian group by means of their sums is constructed, provided the lattice generated by these subgroups is distributive. This is used for detecting singularities of…

K-Theory and Homology · Mathematics 2009-11-02 Tomasz Maszczyk

Principal comodule algebras can be thought of as objects representing principal bundles in non-commutative geometry. A crucial component of a principal comodule algebra is a strong connection map. For some applications it suffices to prove…

Quantum Algebra · Mathematics 2014-08-20 Bartosz Zieliński

We introduce a class of non-commutative algebras that carry a non-commutative (geometric) cluster structure which are generated by identical copies of generalized Weyl algebras. Equivalent conditions for the finiteness of the set of the…

Representation Theory · Mathematics 2016-05-13 Ibrahim Saleh

An algebraic formulation is given for the embedded noncommutative spaces over the Moyal algebra developed in a geometric framework in \cite{CTZZ}. We explicitly construct the projective modules corresponding to the tangent bundles of the…

Mathematical Physics · Physics 2010-05-13 R. B. Zhang , Xiao Zhang

The coprimary filtration is a basic construction in commutative algebra. In this article, we prove the existence and uniqueness of coprimary filtration of modules (not necessarily finitely generated) over a Noetherian ring. Moreover, we…

Commutative Algebra · Mathematics 2024-10-16 Yao Li

Cantor's ordinal numbers, a powerful extension of the natural numbers, are a cornerstone of set theory. They can be used to reason about the termination of processes, prove the consistency of logical systems, and justify some of the core…

Logic in Computer Science · Computer Science 2025-10-22 Tom de Jong , Nicolai Kraus , Fredrik Nordvall Forsberg , Chuangjie Xu

Quantum logic aims to capture essential quantum mechanical structure in order-theoretic terms. The Achilles' heel of quantum logic is the absence of a canonical description of composite systems, given descriptions of their components. We…

Quantum Physics · Physics 2013-05-10 Bob Coecke , Chris Heunen , Aleks Kissinger

An introductory overview of vector spaces, algebras, and linear geometries over an arbitrary commutative field is given. Quotient spaces are emphasized and used in constructing the exterior and the symmetric algebras of a vector space.…

History and Overview · Mathematics 2011-10-18 Richard A. Smith

A compact T-algebra is an initial T-algebra whose inverse is a final T-coalgebra. Functors with this property are said to be algebraically compact. This is a very strong property used in programming semantics which allows one to interpret…

Logic in Computer Science · Computer Science 2020-09-16 Vladimir Zamdzhiev

In this course we introduce the main notions relative to the classical theory of modular forms. A complete treatise in a similar style can be found in the author's book joint with F. Str{\"o}mberg [1].

Number Theory · Mathematics 2018-10-01 Henri Cohen

As already observed by Gabriel, coherent sheaves on schemes obtained by gluing affine open subsets can be described by a simple gluing construction. An example due to Ferrand shows that this fails in general for pushouts along closed…

Algebraic Geometry · Mathematics 2015-05-19 Daniel Schäppi

We relate two different proposals to extend the \'etale topology into homotopy theory, namely via the notion of finite cover introduced by Mathew and via the notion of separable commutative algebra introduced by Balmer. We show that finite…

Algebraic Topology · Mathematics 2025-05-29 Niko Naumann , Luca Pol

The aim of this paper is to introduce and study a large class of $\mathfrak{g}$-module algebras which we call factorizable by generalizing the Gauss factorization of (square or rectangular) matrices. This class includes coordinate algebras…

Representation Theory · Mathematics 2018-01-31 Arkady Berenstein , Karl Schmidt

We introduce an approach to the categorification of rings, via the notion of distributive categories with negative objects, and use it to lay down categorical foundations for the study of super, quantum and non-commutative combinatorics.…

Category Theory · Mathematics 2009-05-27 Rafael Diaz , Eddy Pariguan

We introduce a new class of algebras, called reconstruction algebras, and present some of their basic properties. These non-commutative rings dictate in every way the process of resolving the Cohen-Macaulay singularities C^2/G where G is a…

Algebraic Geometry · Mathematics 2010-12-20 M. Wemyss

We introduce the notion of generalized bialgebra, which includes the classical notion of bialgebra (Hopf algebra) and many others. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its…

Quantum Algebra · Mathematics 2008-12-16 Jean-Louis Loday

In this note we highlight a common origin for many ubiquitous geometric structures, as well as several new ones by using only the functors of differential calculus in A.M Vinogradov's original sense, adapted to special classes of (graded)…

Differential Geometry · Mathematics 2023-12-11 Jacob Kryczka

For a finite dimensional algebra $\Lambda$ and a non-negative integer $n$, we characterize when the set $\tilt_n\Lambda$ of additive equivalence classes of tilting modules with projective dimension at most $n$ has a minimal (or…

Representation Theory · Mathematics 2020-08-05 Osamu Iyama , Xiaojin Zhang

We initiate the study of computable presentations of real and complex C*-algebras under the program of effective metric structure theory. With the group situation as a model, we develop corresponding notions of recursive presentations and…

Logic · Mathematics 2023-04-17 Alec Fox