Related papers: Produit tensoriel compl\'et\'e et platitude

A classical tensor product $A \,\otimes\, B$ of complete lattices $A$ and $B$, consisting of all down-sets in $A \times B$ that are join-closed in either coordinate, is isomorphic to the complete lattice $Gal(A,B)$ of Galois maps from $A$…

We revisit the notion of flatness for semimodules over semirings. In particular, we introduce and study a new notion of uniformly flat semimodules based on the exactness of the tensor functor. We also investigate the relations between this…

We find a necessary and sufficient condition for the existence of the tensor product of modules over a Lie conformal algebra. We provide two algebraic constructions of the tensor product. We show the relation between tensor product and…

We develop a Harder-Narasimhan theory for Kisin modules generalizing a similar theory for finite flat group schemes due to Fargues. We prove the tensor product theorem, i.e., that the tensor product of semi-stable objects is again…

In this paper, twisted tensor product of DG algebras is studied and sufficient conditions for smoothness of such a product are given. It is shown that in the case of finite-dimensional DG algebras, applying this operation offers great…

We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called Freyd categories. Furthermore, we compare our constructions…

Let A be a symmetric monoidal closed exact category. This category is a natural framework to define the notions of purity and flatness. We show that an object F in A is flat if and only if any conflation ending in F is pure. Furthermore, we…

We give a response to a question posed by Groethendieck on the transfert of the properties: reduced, normal, domain, regular, complete intersection, Gorenstein, Cohen-Macaulay, to the completed tensor product of two Noetherian algebras on a…

A convenient technique for calculating completed topological tensor products of functional Frechet and DF spaces is developed. The general construction is applied to proving kernel theorems for a wide class of spaces of smooth and entire…

We prove that, for simple modules $M$ and $N$ over a quantum affine algebra, their tensor product $M \otimes N$ has a simple head and a simple socle if $M \otimes M$ is simple. A similar result is proved for the convolution product of…

Let $\sigma:A\rightarrow B$ and $\rho:A\rightarrow C$\ be two homomorphisms of noetherian rings such that $B\otimes_{A}C$ is a noetherian ring. we show that if $\sigma$ is a regular (resp. complete intersection, resp. Gorenstein, resp.…

The purpose of this article is to study the existence of Deligne's tensor product of abelian categories by comparing it with the well-known ten- sor product of finitely cocomplete categories. The main result states that the former exists…

Let A be a noetherian commutative ring, and let I be an ideal in A. We study questions of flatness and I-adic completeness for infinitely generated A-modules. This is done using the notions of decaying function and I-adically free A-module.

This paper tackles a problem on the possible transfer of regularity to tensor products of algebras over a field k. The main result establishes necessary and sufficient conditions for a Noetherian tensor product of two extension fields of k…

We obtain several rigidity results regarding tensor product decompositions of factors. First, we show that any full factor with separable predual has at most countably many tensor product decompositions up to stable unitary conjugacy. We…

We introduce the operation of forming the tensor product in the theory of analytic Frobenius manifolds. Building on the results for formal Frobenius manifolds which we extend to the additional structures of Euler fields and flat identities,…

Let $(E,F)$ be a pair of Fr\'echet spaces. In this paper, we discuss whether a certain property $P$ enjoyed by both $E$ and $F$ is also satisfied by the complete tensor product $E \widehat{\otimes}_{\pi} F$. Specifically we focus on the two…

We found a necessary and sufficient condition for the existence of the tensor product of modules over a vertex algebra. We defined the notion of vertex bilinear map and we provide two algebraic construction of the tensor product, where one…

We prove that if a Cartesian product of alternating groups is topologically finitely generated, then it is the profinite completion of a finitely generated residually finite group. The same holds for Cartesian producs of other simple groups…

Proofs that a smooth morphism is flat available in the literature are long and difficult. We give a short proof of this fact.