Related papers: Alg\`ebre commutative M\'ethodes constructives
Existence of superdecomposable pure-injective modules reflects complexity in the category of finite-dimensional representations over an algebra. Such an existence occurs when an algebra is non-domestic; a conjecture due to M. Prest. G.…
We study the properties of the constructible universe, L, over intuitionistic theories. We give an extended set of fundamental operations which is sufficient to generate the universe over Intuitionistic Kripke-Platek set theory without…
We develop the basic constructions of homological algebra in the (appropriately defined) unbounded derived categories of modules over algebras over coalgebras over noncommutative rings (which we call semialgebras over corings). We define…
The non-commutative algebraic analog of the moduli of vector and covector fields is built. The structure of moduli of derivations of non-commutative algebras are studied. The canonical coupling is introduced and the conditions for…
In this paper, we study the K-theory on higher modules in spectral algebraic geometry. We relate the K-theory of an $\infty$-category of finitely generated projective modules on certain $\mathbb{E}_{\infty}$-rings with the K-theory of an…
The method of direct computation of universal (fibred) product in the category of commutative associative algebras of finite type with unity over a field is given and proven. The field of coefficients is not supposed to be algebraically…
The main purpose of this paper is to describe various phenomena and certain constructions arising in the process of studying derived noncommutative schemes. Derived noncommutative schemes are defined as differential graded categories of a…
Endomorphisms algebras can replace the concept of principal fiber bundle. Gauge theories are reformulated within this algebraic framework and further generalized to unify ordinary connections and Higgs fields. A 'noncommutative Maxwell'…
Discrete tomography is concerned with the reconstruction of images that are defined on a discrete set of lattice points from their projections in several directions. The range of values that can be assigned to each lattice point is…
Cluster algebras are commutative rings with a set of distinguished generators having a remarkable combinatorial structure. They were introduced by Fomin and Zelevinsky in 2000 in the context of Lie theory, but have since appeared in many…
A noncommutative algebra corresponding to the classical catenoid is introduced together with a differential calculus of derivations. We prove that there exists a unique metric and torsion-free connection that is compatible with the complex…
In this paper we introduce and study some mathematical structures on top of transitive Lie algebroids in order to formulate gauge theories in terms of generalized connections and their curvature: metrics, Hodge star operator and integration…
Let $\Lambda$ be a finite dimensional Auslander algebra. For a $\Lambda$-module $M$, we prove that the projective dimension of $M$ is at most one if and only if the projective dimension of its socle soc\,$M$ is at most one. As an…
In this paper we propose an algebraic formalization of connectors in the quantitative setting, in order to address their non-functional features in architectures of component-based systems. We firstly present a weighted Algebra of…
The reticulation of an algebra $A$ is a bounded distributive lattice ${\cal L}(A)$ whose prime spectrum of filters or ideals is homeomorphic to the prime spectrum of congruences of $A$, endowed with the Stone topologies. We have obtained a…
This paper is a review of concepts from graded commutative algebra with specific attention given to length and multiplicity. The author's motivation for this paper comes from the study of equivariant cohomology in algebraic topology where…
This paper is dedicated to the memory of Zbigniew Oziewicz, to his generosity, intelligence and intensity in the search that is science and mathematics. The paper begins with a basic construction that produces Clifford algebras inductively,…
A Lie algebra is said to be generalised reductive if it is a direct sum of a semisimple Lie algebra and a commutative radical. In this paper we extend the BGG category $\mathcal{O}$ over complex semisimple Lie algebras to the category…
This article describes an entirely algebraic construction for developing conformal geometries, which provide models for, among others, the Euclidean, spherical and hyperbolic geometries. On one hand, their relationship is usually shown…
We introduce the notion of implicative algebra, a simple algebraic structure intended to factorize the model constructions underlying forcing and realizability (both in intuitionistic and classical logic). The salient feature of this…