Related papers: Going Up and Lying Over in Congruence--modular Alg…
We aim at a holistic perspective on program logics, including Hoare and incorrectness logics. To this end, we study different classes of properties arising from the generalization of the aforementioned logics. We compare our results with…
We study rings of integral modular forms for congruence subgroups as modules over the ring of integral modular forms for the full modular group. In many cases these modules are free or decompose at least into well-understood pieces. We…
In this article, we study the permanence of topological and algebraic dimension type properties of simple unital $C\sp*$-algebras. When a pair of unital $C\sp*$-algebras $(A, B)$ is associated by a $*$-homomorphism $\phi: A\to B$ which is…
Let $R$ be a finite commutative ring with identity. In this paper, we give a necessary condition for the existence of an orthogonal decomposition of the special linear Lie algebra over $R$. Additionally, we study orthogonal decompositions…
Given a flat local ring homomorphism R\to S, and two finitely generated R-modules M and N, we describe conditions under which the modules Tor^i(M,N) and Ext^i(M,N) have S-module structures that are compatible with their R-module structures.
For a commutative ring $R$ with unit $1\ne 0$ and a multiplicatively closed subset $S$ of $R$, we introduce a new topology on the $S$-prime spectrum $\mathrm{Spec}_SR$ of $R$ called the $S$-flat topology. Our aims is to give an algebraic…
Let R be an affine algebra of dimension n \geq 3 over an algebraically closed field k. Suppose char k =0 or char k =p \geq n. Let g,f_1,...,f_r be a R-regular sequence and A=R[f_1/g,...,f_r/g]. Let P be a projective A-module of rank n-1…
For the simple Lie algebra $g = sl(n,C)$ we we find a set of generators and relations for the classical family algebra $(End(g)\otimes S(g))^G$ as an algebra over the ring $I(g)$. From these we can then determine a $I(g)$-linear basis of…
In this paper, we show that the tilting modules over a cluster-tilted algebra $A$ lift to tilting objects in the associated cluster category $\mathcal{C}_H$. As a first application, we describe the induced exchange relation for tilting…
In the present paper, as a generalization of the classical periodic rings, we explore those rings whose elements are additively generated by two (or more) periodic elements by calling them additively periodic. We prove that, in some major…
The aim of this paper is to introduce and study Lie algebras and Lie groups over noncommutative rings. For any Lie algebra $\gg$ sitting inside an associative algebra $A$ and any associative algebra $\FF$ we introduce and study the algebra…
In this short note, we prove several new congruences for the overcubic partition triples function, using both elementary techniques and the theory of modular forms. These extend the recent list of such congruences given by Nayaka,…
The aim of this paper is to investigate properties of endo-prime and endo-coprime modules which are generalizations of prime and simple rings, respectively. Various properties of endo-coprime modules are obtained. Duality-like connections…
We prove that any tensor product factorization with a commutative factor of a modular group algebra over a prime field comes from a direct product decomposition of the group basis. This extends previous work by Carlson and Kov\'acs for the…
Given a first-order sentence, a model-checking computation tests whether the sentence holds true in a given finite structure. Data provenance extracts from this computation an abstraction of the manner in which its result depends on the…
We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher…
In this article, we present the basic definitions of modules and Lie semialgebras over semirings with a negation map. Our main example of a semiring with a negation map is ELT algebras, and some of the results in this article are formulated…
In the paper, we consider the class of so-called endo-commutative algebras. From the identity imposed to specify this class, one can easily see that the product in this class preserves the square of elements. We give a complete…
In this article, we investigate the functors from modules to modules that occur as the summands of tensor powers and the functors from modules to Hopf algebras that occur as natural coalgebra summands of tensor algebras. The main results…
We show that certain determinantal functions of multiple matrices, when summed over the symmetries of the cube, decompose into functions of the original matrices. These are shown to be true in complete generality; that is, no properties of…