Mathematics - Rings and Algebras Publications (50)


Mathematics - Rings and Algebras Publications

An exponent matrix is an $n\times n$ matrix $A=(a_{ij})$ over ${\mathbb N}^0$ satisfying (1) $a_{ii}=0$ for all $i=1,\ldots, n$ and (2) $a_{ij}+a_{jk}\geq a_{ik}$ for all pairwise distinct $i,j,k\in\{1,\dots, n\}$. In the present paper we study the set ${\mathcal E}_n$ of all non-negative $n\times n$ exponent matrices as an algebra with the operations $\oplus$ of component-wise maximum and $\odot$ of component-wise addition. We provide a basis of the algebra $({\mathcal E}_n, \oplus, \odot,0)$ and give a row and a column decompositions of a matrix $A\in {\mathcal E}_n$ with respect to this basis. Read More

Let $A$ be a finite-dimensional algebra over an algebraically closed field $\Bbbk$. For any finite-dimensional $A$-module $M$ we give a general formula that computes the indecomposable decomposition of $M$ without decomposing it, for which we use the knowledge of AR-quivers that are already computed in many cases. The proof of the formula here is much simpler than that in a prior literature by Dowbor and Mr\'oz. Read More

In recent years, the usual BPHZ algorithm for renormalization in perturbative quantum field theory has been interpreted, after dimensional regularization, as a Birkhoff decomposition of characters on the Hopf algebra of Feynman graphs, with values in a Rota-Baxter algebra of amplitudes. We associate in this paper to any such algebra a universal semi-group (different in nature from the Connes-Marcolli "cosmical Galois group"). Its action on the physical amplitudes associated to Feynman graphs produces the expected operations: Bogoliubov's preparation map, extraction of divergences, renormalization. Read More

The "unit theorem" to which the present mini-course is devoted is a theorem from algebra that has a combinatorial flavour, and that originated in fact from algebraic combinatorics. Beyond a proof, the course also addresses applications, one of which is a proof of the normal basis theorem from Galois theory. Read More

Let q be a power of a prime and let V be a vector space of finite dimension n over the field of order q. Let Bil(V) denote the set of all bilinear forms defined on V x V, let Symm(V) denote the subspace of Bil(V) consisting of symmetric bilinear forms, and Alt(V) denote the subspace of alternating bilinear forms. Let M denote a subspace of any of the spaces Bil(V), Symm(V), or Alt(V). Read More

Zero-curvature representations (ZCRs) are one of the main tools in the theory of integrable $(1+1)$-dimensional PDEs. According to the preprint arXiv:1212.2199, for any given $(1+1)$-dimensional evolution PDE one can define a sequence of Lie algebras $F^p$, $p=0,1,2,3,\dots$, such that representations of these algebras classify all ZCRs of the PDE up to local gauge equivalence. Read More

For a free presentation $0 \to R \to F \to G \to 0$ of a Leibniz algebra $G$, the Baer invariant ${\cal M}^{\sf Lie}(G) = \frac{R \cap [F, F]_{Lie}}{[F, R]_{Lie}}$ is called the Schur multiplier of $G$ relative to the Liezation functor or Schur Lie-multiplier. For a two-sided ideal $N$ of a Leibniz algebra $G$, we construct a four-term exact sequence relating the Schur Lie-multiplier of $G$ and $G/N$, which is applied to study and characterize Lie-nilpotency, Lie-stem covers and Lie-capability of Leibniz algebras. Read More

For a commutative ring $R$, a polynomial $f\in R[x]$ is called separable if $R[x]/f$ is a separable $R$-algebra. We derive formulae for the number of separable polynomials when $R = \mathbb{Z}/n$, extending a result of L. Carlitz. Read More

We derive some Positivstellensatz\"e for noncommutative rational expressions from the Positivstellensatz\"e for noncommutative polynomials. Specifically, we show that if a noncommutative rational expression is positive on a polynomially convex set, then there is an algebraic certificate witnessing that fact. As in the case of noncommutative polynomials, our results are nicer when we additionally assume positivity on a convex set-- that is, we obtain a so-called "perfect Positivstellensatz" on convex sets. Read More

We give a category theoretic approach to several known equivalences from tilting theory and commutative algebra. Furthermore we apply our main results to study the category of relative Cohen-Macaulay modules. Read More

Goodearl and Launois have shown that for a log-canonical Poisson bracket on affine space there is no rational change of coordinates for which the Poisson bracket is constant. Our main result is that if affine space is given a log-canonical Poisson bracket, then there does not exist any rational change of coordinates for which the Poisson bracket is linear. Hence, log-canonical coordinates can be thought of as the simplest possible algebraic coordinates for affine space with a log-canonical coordinate system. Read More

We compute the Hochschild cohomology ring of the algebras $A= k\langle X, Y\rangle/ (X^a, XY-qYX, Y^a)$ over a field $k$ where $a\geq 2$ and where $q\in k$ is a primitive $a$-th root of unity. We find the the dimension of $\mathrm{HH}^n(A)$ and show that it is independent of $a$. We compute explicitly the ring structure of the even part of the Hochschild cohomology modulo homogeneous nilpotent elements. Read More

We show that the set of $m \times m$ complex skew-symmetric matrix polynomials of odd grade $d$, i.e., of degree at most $d$, and (normal) rank at most $2r$ is the closure of the single set of matrix polynomials with the certain, explicitly described, complete eigenstructure. Read More

In this paper, Lie super-bialgebra structures on a class of generalized super $W$-algebra $\mathfrak{L}$ are investigated. By proving the first cohomology group of $\mathfrak{L}$ with coefficients in its adjoint tensor module is trivial, namely, $H^1(\mathfrak{L},\mathfrak{L}\otimes {\mathfrak{L}})=0$, we obtain that all Lie super-bialgebra structures on $\mathfrak{L}$ are triangular coboundary. Read More

We introduce a certain differential graded bialgebra, neither commutative nor cocommutative, that governs perturbations of a differential on complexes supplied with an abstract Hodge decomposition. This leads to a conceptual treatment of the Homological Perturbation Lemma and its multiplicative version. We discuss an application to $A_\infty$ algebras. Read More

Lie superbialgebra structures on the twisted N=1 Schr\"{o}dinger-Neveu-Schwarz algebra $\frak{tsns}$ are described. The corresponding necessary and sufficient conditions for such superbialgebra to be coboundary triangular are given. Meanwhile, the first cohomology group of $\frak{tsns}$ with coefficients in the tensor product of its adjoint module is completely determined. Read More

It is shown that there are no simple mixed modules over the twisted N=1 Schr\"{o}dinger-Neveu-Schwarz algebra, which implies that every irreducible weight module over it with a nontrivial finite-dimensional weight space, is a Harish-Chandra module. Read More

The non-commuting graph $\Gamma_R$ of a finite ring $R$ with center $Z(R)$ is a simple undirected graph whose vertex set is $R \setminus Z(R)$ and two distinct vertices $a$ and $b$ are adjacent if and only if $ab \ne ba$. In this paper, we show that $\Gamma_R$ is not isomorphic to certain graphs of any finite non-commutative ring $R$. Some connections between $\Gamma_R$ and commuting probability of $R$ are also obtained. Read More

In this paper we study the Schr\"{o}der-Bernstein problem for modules. We obtain a positive solution for the Schr\"{o}der-Bernstein problem for modules invariant under endomorphisms of their general envelopes under some mild conditions that are always satisfied, for example, in the case of injective, pure-injective or cotorsion envelopes. In the particular cases of injective envelopes and pure-injective envelopes, we are able to extend it further and we show that the Schr\"{o}der-Bernstein problem has a positive solution even for modules that are invariant only under automorphisms of their injective envelopes or pure-injective envelopes. Read More

Let $T$ be a $1$-tilting module whose tilting torsion pair $({\mathcal T}, {\mathcal F})$ has the property that the heart ${\mathcal H}_t$ of the induced $t$-structure (in the derived category ${\mathcal D}({\rm Mod} \mbox{-} R)$ is Grothendieck. It is proved that such tilting torsion pairs are characterized in several ways: (1) the $1$-tilting module $T$ is pure projective; (2) ${\mathcal T}$ is a definable subcategory of ${\rm Mod} \mbox{-} R$ with enough pure projectives, and (3) both classes ${\mathcal T}$ and ${\mathcal F}$ are finitely axiomatizable. This study addresses the question of Saor\'{i}n that asks whether the heart is equivalent to a module category, i. Read More

We show that every nondegenerate dimer algebra on a torus admits a cyclic contraction to a cancellative dimer algebra. This implies, for example, that a nondegenerate dimer algebra is Calabi-Yau if and only if it is noetherian, if and only if its center is noetherian; and the Krull dimension of the center of every nondegenerate dimer algebra (on a torus) is 3. Read More

The definition of a pseudo-dualizing complex is obtained from that of a dualizing complex by dropping the injective dimension condition, while retaining the finite generatedness and homothety isomorphism conditions. In the specific setting of a pair of associative rings, we show that the datum of a pseudo-dualizing complex induces a triangulated equivalence between a pseudo-coderived category and a pseudo-contraderived category. The latter terms mean triangulated categories standing "in between" the conventional derived category and the coderived or the contraderived category. Read More

We show that to determine all solvable elements in the Weyl algebra is closely related to the Dixmier's open question. Sufficient conditions for an elements being unsolvable are given, and properties of solvable elements are obtained. Read More

In a recent article with Oleg Smirnov, we defined short Peirce (SP) graded Kantor pairs. For any such pair P, we defined a family, parameterized by the Weyl group of type BC_2, consisting of SP-graded Kantor pairs called Weyl images of P. In this article, we classify finite dimensional simple SP-graded Kantor pairs over an algebraically closed field of characteristic 0 in terms of marked Dynkin diagrams, and we show how to compute Weyl images using these diagrams. Read More

The category $\mathbf{Rel}$ is the category of sets (objects) and relations (morphisms). Equipped with the direct product of sets, $\mathbf{Rel}$ is a monoidal category. Moreover, $\mathbf{Rel}$ is a locally posetal 2-category, since every homset $\mathbf{Rel}(A,B)$ is a poset with respect to inclusion. Read More

By a theorem of Suslin, a Tor-unital (not necessarily unital) ring satisfies excision in algebraic K-theory. We deduce Suslin's result from an exact sequence of categories of perfect modules. Our approach applies more generally to connective ring spectra, and yields excision for any localizing invariant. Read More

In this paper we introduce the notion of weak non-asssociative Doi-Hopf module and give the Fundamental Theorem of Hopf modules in this setting. Also we prove that there exists a categorical equivalence that admits as particular instances the ones constructed in the literature for Hopf algebras, weak Hopf algebras, Hopf quasigroups, and weak Hopf quasigroups. Read More

We study equationally Noetherian varieties of groups, rings and monoids. Moreover, we describe equationally Noetherian direct powers for these algebraic structures. Read More

In this paper, by studying the maximal good subspaces, we determine the dual Lie coalgebras of the centerless twisted Heisenberg-Virasoro algebra. Based on this, we construct the dual Lie bialgebras structures of the twisted Heisenberg-Virasoro type. As by-products, four new infinite dimensional Lie algebras are obtained. Read More

We present a description of the (non-modular) commutator, inspired by that of Kearnes in~\cite[p.~930]{MR1358491}, that provides a simple recipe for computing the commutator. Read More

We prove that for every indecomposable ordinal there exists a (transfinitely valued) Euclidean domain whose minimal Euclidean norm is of that order type. Conversely, any such norm must have indecomposable type, and so we completely characterize the norm complexity of Euclidean domains. Modifying this construction, we also find a finitely valued Euclidean domain with no multiplicative integer valued norm. Read More

We propose a generalisation for the notion of the centre of an algebra in the setup of graded algebras. Our generalisation, which we call the G-centre, is designed to control the endomorphism category of the grading shift functors. We show that the G-centre is preserved by gradable derived equivalences. Read More

We study the automorphisms of Jha-Johnson semifields obtained from an invariant irreducible twisted polynomial $f\in K[t;\sigma]$, where $K=\mathbb{F}_{q^n}$ is a finite field and $\sigma$ an automorphism of $K$ of order $n$. We compute all automorphisms and some automorphism groups when $f\in K[t;\sigma]$ has degree $m$ and $n\geq m-1$, in particular obtaining the automorphisms of Sandler and Hughes-Kleinfeld semifields. Partial results are obtained for $n< m-1$. Read More

In this paper we introduce the theory of multiplication alteration by two-cocycles for nonassociative structures like nonassociative bimonoids with left (right) division. Also we explore the connections between Yetter-Drinfeld modules for Hopf quasigroups, projections of Hopf quasigroups, skew pairings, and quasitriangular structures, obtaining the nonassociative version of the main results proved by Doi and Takeuchi for Hopf algebras. Read More

It has been shown by McCoy that a right ideal of a polynomial ring with several indeterminates has a non-trivial homogeneous right annihilator of degree 0 provided its right annihilator is non-trivial to begin with. In this note, it is shown that any N^k-graded ring R has a slightly weaker property: any non-trivial annihilator of an right ideal contains a homogeneous non-zero element. If R is a subring of a strongly Z^k-graded ring then it is possible to find annihilators of degree 0. Read More

We address the general mathematical problem of computing the inverse $p$-th root of a given matrix in an efficient way. A new method to construct iteration functions that allow calculating arbitrary $p$-th roots and their inverses of symmetric positive definite matrices is presented. We show that the order of convergence is at least quadratic and that adaptively adjusting a parameter $q$ always leads to an even faster convergence. Read More

In this paper, we give a new series of coboundary operators of Hom-Lie algebras. And prove that cohomology groups with respect to coboundary operators are isomorphic. Then, we revisit representations of Hom-Lie algebras, and generalize the relation between Lie algebras and their representations to Hom-Lie algebras. Read More

In a previous study, the algebraic formulation of the First Fundamental Theorem of Calculus (FFTC) is shown to allow extensions of differential and Rota-Baxter operators on the one hand, and to give rise to liftings of monads and comonads, and mixed distributive laws on the other. Generalizing the FFTC, we consider in this paper a class of constraints between a differential operator and a Rota-Baxter operator. For a given constraint, we show that the existences of extensions of differential and Rota-Baxter operators, of liftings of monads and comonads, and of mixed distributive laws are equivalent. Read More

Let $p$ and $q$ be polynomials with degree $2$ over an arbitrary field $\mathbb{F}$. In this article, we characterize the matrices that can be decomposed as $A+B$ for some pair $(A,B)$ of square matrices such that $p(A)=0$ and $q(B)=0$. The case when both polynomials $p$ and $q$ are split was already known. Read More

Assume that the eigenvalues of a finite hermitian linear operator have been deduced accurately but the linear operator itself could not be determined with precision. Given a set of eigenvalues $\lambda$ and a hermitian matrix $M$, this paper will explain, with proofs, how to find a hermitian matrix $A$ with the desired eigenvalues $\lambda$ that is as close as possible to the given operator $M$ according to the operator 2-norm metric. Furthermore the effects of this solution are put to a test using random matrices and grayscale images which evidently show the smoothing property of eigenvalue corrections. Read More

We study the twisted Hochschild homology of quantum full flag manifolds, with the twist being the modular automorphism of the Haar state. We show that non-trivial 2-cycles can be constructed from appropriate invariant projections. The main result is that $HH_2^\theta(\mathbb{C}_q[G / T])$ is infinite-dimensional when $\mathrm{rank}(\mathfrak{g}) > 1$. Read More

Let $\sigma$ be an automorphism of a field $K$ with fixed field $F$. We study the automorphisms of nonassociative unital algebras which are canonical generalizations of the associative quotient algebras $K[t;\sigma]/fK[t;\sigma]$ obtained when the twisted polynomial $f\in K[t;\sigma]$ is invariant, and were first defined by Petit. We compute all their automorphisms if $\sigma$ commutes with all automorphisms in ${\rm Aut}_F(K)$ and $n\geq m-1$, where $n$ is the order of $\sigma$ and $m$ the degree of $f$, and obtain partial results for $nRead More

We prove a refinement of Ado's theorem for Lie algebras over an algebraically-closed field of characteristic zero. We first define what it means for a Lie algebra $L$ to be approximated with a nilpotent ideal, and we then use such an approximation to construct a faithful representation of $L$. The better the approximation, the smaller the degree of the representation will be. Read More

The aim of this paper is to bring together the three objects in the title. Recall that, given a Lie algebra $\mathfrak{g}$, the Eulerian idempotent is a canonical projection from the enveloping algebra $U(\mathfrak{g})$ to $\mathfrak{g}$. The Baker-Campbell-Hausdorff product and the Magnus expansion can both be expressed in terms of the Eulerian idempotent, which makes it interesting to establish explicit formulas for the latter. Read More

We study a notion of order in Jordan algebras based on the version for Jordan algebras of the ideas of Fountain and Gould as adapted to the Jordan context by Fern\'{a}ndez-L\'{o}pez and Garc\'{\i}a-Rus, making use of results on general algebras of quotients of Jordan algebras. In particular, we characterize the set of Lesieur-Croisot elements of a nondegenerate Jordan algebra as those elements of the Jordan algebra lying in the socle of its maximal algebra of quotients, and apply this relationship to extend to quadratic Jordan algebras the results of Fern\'{a}ndez-L\'{o}pez and Garc\'{\i}a-Rus on local orders in nondegenerate Jordan algebras satisfying the descending chain condition on principal inner ideals and not containing ideals which are nonartinian quadratic factors. Read More

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras $A$ and $B$, we use the special monomorphism category Mon(B, A-Gproj) to describe some Gorenstein projective bimodules over the tensor product of $A$ and $B$. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for Mon(B, A-Gproj) being the category of all Gorenstein projective bimodules. Read More

A matrix space of size $m\times n$ is a linear subspace of the linear space of $m\times n$ matrices over a field $\mathbb{F}$. The rank of a matrix space is defined as the maximal rank over matrices in this space. A matrix space $\mathcal{A}$ is called rank-critical, if any matrix space which properly contains it has rank strictly greater than that of $\mathcal{A}$. Read More

In this study, we investigate Horadam sequence as generalization of linear recurrence equations of order two. By the aid of this sequence we obtain a new generalization for sequences of dual quaternions and dual octonions. Moreover, we derive some important identities such as Binet formula, generating function, Cassini identity, sum formula and norm formula by their Binet forms. Read More

A complete classification of two-dimensional algebras over algebraically closed fields is provided Read More