Related papers: Gauss composition over an arbitrary base
This paper lays out a foundation for a theory of supertropical algebraic geometry, relying on commutative $\nu$-algebra. To this end, the paper introduces $\mathfrak{q}$-congruences, carried over $\nu$-semirings, whose distinguished ghost…
It is proposed an integral formulation of classical Yang-Mills equations in the presence of sources, based on concepts in loop spaces and on a generalization of the non-abelian Stokes theorem for two-form connections. The formulation leads…
Recently [Karimipour and Memarzadeh, PhysRevA 73, 012329 (2006)] posed the problem of finding a continuous family of orthonormal bases in a bipartite space of two identical systems with the following properties: i) in each basis, all states…
Some sorts of generalized morphisms are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring…
A differential module is a module equipped with a square-zero endomorphism. This structure underpins complexes of modules over rings, as well as differential graded modules over graded rings. We establish lower bounds on the class--a…
We explore the possibility of extending Mardare et al. quantitative algebras to the structures which naturally emerge from Combinatory Logic and the lambda-calculus. First of all, we show that the framework is indeed applicable to those…
We show the close connection between appearingly different Galois theories for comodules introduced recently in [J. G\'omez-Torrecillas and J. Vercruysse, Comatrix corings and Galois Comodules over firm rings, arXiv:math.RA/0509106.] and…
We study the behavior of modules of $m$-integrable derivations of a commutative finitely generated algebra in the sense of Hasse-Schmidt under base change. We focus on the case of separable ring extensions over a field of positive…
We propose a symmetry law for a doublet of different form fields, which resembles gauge transformations for matter fields. This may be done for general Lie groups, resulting in an extension of Lie algebras and group manifolds. It is also…
We investigate the foundations of a theory of algebraic data types with variable binding inside classical universal algebra. In the first part, a category-theoretic study of monads over the nominal sets of Gabbay and Pitts leads us to…
We discuss the relationship between quaternion algebras and quadratic forms with a focus on computational aspects. Our basic motivating problem is to determine if a given algebra of rank 4 over a commutative ring R embeds in the 2x2-matrix…
As a continuation of the authors and Wakatsuki's previous paper [5], we study relations among Dirichlet series whose coefficients are class numbers of binary cubic forms. We show that for any integral models of the space of binary cubic…
Characteristic properties of corings with a grouplike element are analysed. Associated differential graded rings are studied. A correspondence between categories of comodules and flat connections is established. A generalisation of the…
In this paper, we extend properties Going Up and Lying Over from ring theory to the general setting of congruence--modular equational classes, using the notion of prime congruence defined through the commutator. We show how these two…
In this article, we develop new methods for counting integral orbits having bounded invariants that lie inside the cusps of fundamental domains for coregular representations. We illustrate these methods for a representation of cardinal…
In the context of space-time block codes (STBCs), the theory of generalized quaternion and biquaternion algebras (i.e., tensor products of two quaternion algebras) over arbitrary base fields is presented, as well as quadratic form theoretic…
We introduce a notion of $Q$-algebra that can be considered as a generalization of the notion of $Q$-manifold (a supermanifold equipped with an odd vector field obeying $\{Q,Q\} =0$). We develop the theory of connections on modules over…
Over the complex numbers, the complement of a collection of hyperplanes is a widely-studied object; the cohomology ring, in particular, is known to have a structure depending only on the combinatorial properties of the intersection of…
We study the ideal structure of $C^*$-algebras arising from $C^*$-correspondences. We prove that gauge-invariant ideals of our $C^*$-algebras are parameterized by certain pairs of ideals of original $C^*$-algebras. We show that our…
The aim of this paper is to study the group of isomorphism classes of torsors of finite flat group schemes of rank 2 over a commutative ring $R$. This, in particular, generalises the group of quadratic algebras (free or projective), which…