Related papers: Tensor products of valued fields
We develop an extension of valuations theorem for suitable extensions of idempotent semirings. As an application, we give a new proof for the classical case of fields. Along the way, we develop characteristic one analogues of some central…
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…
Non-abelian tensor product of Hom-Lie algebras is constructed and studied. This tensor product is used to describe universal ($\alpha$-)central extensions of Hom-Lie algebras and to establish a relation between cyclic and Milnor cyclic…
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
We revisit the famous theorem of Albert's on the cyclicity of tensor products of cyclic $p$-algebras. In the case of tensor products of cyclic $p$-algebras of prime degree, we provide an explicit computation of the resulting cyclic algebra…
For a finite valued field extension $(L/K,v)$ we describe the problem of find sets of generators for the corresponding extension $\mathcal O_L/\mathcal O_K$ of valuation rings. The main tool to obtain such sets are complete sets of (key)…
Considering tensor products of special commutative algebras and general real Clifford algebras, we arrive at extended Clifford algebras. We have found that there are five types of extended Clifford algebras. The class of extended Clifford…
The construction of an infinite tensor product of the C*-algebra C_0(R) is not obvious, because it is nonunital, and it has no nonzero projection. Based on a choice of an approximate identity, we construct here an infinite tensor product of…
We study how tensor products of representations decompose when restricted from a compact Lie algebra to one of its subalgebras. In particular, we are interested in tensor squares which are tensor products of a representation with itself. We…
Let ${\bf G}$ be a connected reductive algebraic group defined over the finite field $\mathbb{F}_q$ with $q$ elements. We propose some conjectures concerning the simple quotients of $M\otimes N$, where $M,N$ are objects in the…
The Ruled Residue Theorem asserts that given a ruled extension $(K|k,v)$ of valued fields, the residue field extension is also ruled. In this paper we analyse the failure of this theorem when we set $K$ to be algebraic function fields of…
Recall that an algebraic module is a KG-module that satisfies a polynomial with integer coefficients, with addition and multiplication given by direct sum and tensor product. In this article we prove that if L is a component of the (stable)…
We study certain monoidal subcategories (introduced by David Hernandez and Bernard Leclerc) of finite--dimensional representations of a quantum affine algebra of type $A$. We classify the set of prime representations in these subcategories…
The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…
We give an example of a valued field $(K,A)$ such that the valuation ring $A$ is definable by an $L_{\text{ring}}$-formula without parameters, but there is no $\exists\forall\exists$ or $\forall\exists\forall$-formula in $L_{\text{ring}}$…
We construct the space of vector fields on quantum groups . Its elements are products of the known left invariant vector fields with the elements of the quantum group itself. We also study the duality between vector fields and 1-forms. The…
In this article, we establish the Grothendieck-Serre conjecture over valuation rings: for a reductive group scheme $G$ over a valuation ring $V$ with fraction field $K$, a $G$-torsor over $V$ is trivial if it is trivial over $K$. This…
We show that the theory of algebraically closed fields with multiplicative circular orders has a model companion $\mathrm{ACFO}$. Using number-theoretic results on character sums over finite fields, we show that if $\mathbb{F}$ is an…
The transfer property for the generalized Browder's theorem both of the tensor product and of the left-right multiplication operator will be characterized in terms of the $B$-Weyl spectrum inclusion. In addition, the isolated points of…
The aim of this work is to study finite dimensional representations of the Lie superalgebra psl(2|2) and their tensor products. In particular, we shall decompose all tensor products involving typical (long) and atypical (short)…