Mathematics - Rings and Algebras Publications (50)


Mathematics - Rings and Algebras Publications

In this paper, we introduce a weak group inverse (called the WG inverse in the present paper) for square matrices of an arbitrary index, and give some of its characterizations and properties. Furthermore, we introduce two orders: one is a pre-order and the other is a partial order, and derive several characterizations of the two orders. At last, one characterization of the core-EP order is derived by using the WG inverses. Read More

Let $R$ be a commutative, indecomposable ring with identity and $(P,\le)$ a partially ordered set. Let $FI(P)$ denote the finitary incidence algebra of $(P,\le)$ over $R$. We will show that, in most cases, local automorphisms of $FI(P)$ are actually $R$-algebra automorphisms. Read More

Every automorphism-invariant right non-singular $A$-module is injective if and only if the factor ring of the ring $A$ with respect to its right Goldie radical is a right strongly semiprime ring. Read More

Let $(\mathfrak{g},\omega)$ be a finite-dimensional non-Lie complex $\omega$-Lie algebra. We study the derivation algebra $Der(\mathfrak{g})$ and the automorphism group $Aut(\mathfrak{g})$ of $(\mathfrak{g},\omega)$. We introduce the notions of $\omega$-derivations and $\omega$-automorphisms of $(\mathfrak{g},\omega)$ which naturally preserve the bilinear form $\omega$. Read More

Let $R$ be a commutative integral unital domain and $L$ a free non-commutative Lie algebra over $R$. In this paper we show that the ring $R$ and its action on $L$ are 0-interpretable in $L$, viewed as a ring with the standard ring language $+, \cdot,0$. Furthermore, if $R$ has characteristic zero then we prove that the elementary theory $Th(L)$ of $L$ in the standard ring language is undecidable. Read More

These notes have been prepared for the Workshop on "(Non)-existence of complex structures on $\mathbb{S}^6$", to be celebrated in Marburg in March, 2017. The material is not intended to be original. It contains a survey about the smallest of the exceptional Lie groups: $G_2$, its definition and different characterizations joint with its relationship with $\mathbb{S}^6$ and with $\mathbb{S}^7$. Read More

Let K be a field of characteristic different from 2 and let V be a vector space of dimension n over K. Let M be a non-zero subspace of symmetric bilinear forms defined on V x V and let rank(M) denote the set of different positive integers that occur as the ranks of the non-zero elements of M. The main result of this paper is the inequality dim M is at most |rank(M)|n provided that |K| is at least n. Read More

Using the unfolding method given in \cite{HL}, we prove the conjectures on sign-coherence and a recurrence formula respectively of ${\bf g}$-vectors for acyclic sign-skew-symmetric cluster algebras. As a following consequence, the conjecture is affirmed in the same case which states that the ${\bf g}$-vectors of any cluster form a basis of $\mathbb Z^n$. Also, the additive categorification of an acyclic sign-skew-symmetric cluster algebra $\mathcal A(\Sigma)$ is given, which is realized as $(\mathcal C^{\widetilde Q},\Gamma)$ for a Frobenius $2$-Calabi-Yau category $\mathcal C^{\widetilde Q}$ constructed from an unfolding $(Q,\Gamma)$ of the acyclic exchange matrix $B$ of $\mathcal A(\Sigma)$. Read More

In this paper, we describe a general setting for dimer models on cylinders over Dynkin diagrams which in type A reduces to the well studied case of dimer models on a disc. We prove that all Berenstein--Fomin--Zelevinsky quivers for Schubert cells in a symmetric Kac--Moody algebra give rise to dimer models on the cylinder over the corresponding Dynkin diagram. We also give an independent proof of a result of Buan, Iyama, Reiten and Smith that the corresponding superpotentials are rigid using the dimer model structure of the quivers. Read More

Let R be a ring (not necessarily with 1) and G be a finite group of automorphisms of R. The set B(R, G) of primes p such that p | |G| and R is not p-torsion free, is called the set of bad primes. When the ring is |G|-torsion free, i. Read More

It is shown that an anisotropic orthogonal involution in characteristic two is totally decomposable if it is totally decomposable over a separable extension of the ground field. In particular, this settles a characteristic two analogue of a conjecture formulated by Bayer-Fluckiger et al. Read More

Let $\lambda_1 \geq \lambda_2 \geq \lambda_3 \geq \lambda_4 \geq \lambda_5 \geq -\lambda_1$ be real numbers such that $\sum_{i=1}^5 \lambda_i =0$. In \cite{oren}, O. Spector prove that a necessary and sufficient condition for $\lambda_1, \lambda_2, \lambda_3, \lambda_4, \lambda_5$ to be the eigenvalues of a symmetric nonnegative $5 \times 5$ matrix is "$\lambda_2+\lambda_5<0$ and $\sum_{i=1}^5 \lambda_{i}^{3} \geq 0"$. Read More

We study generalized comatrix coalgebras and upper triangular comatrix coalgebras, which are not only a dualization but also an extension of classical generalized matrix algebras. We use these to answer several questions on Noetherian and Artinian type notions in the theory of coalgebras, and to give complete connections between these. We also solve completely the so called finite splitting problem for coalgebras: we show that a coalgebra $C$ has the property that the rational part of every finitely generated left $C^*$-module splits off if and only if $C$ has the form $C=\left(\begin{array}{cc} D & M \\ 0 & E \end{array}\right)$, an upper triangular matrix coalgebra, for a serial coalgebra $D$ whose Ext-quiver is a finite union of cycles, a finite dimensional coalgebra $E$ and a finite dimensional $D$-$E$-bicomodule $M$. Read More

We study the behaviour of modules $M$ that fit into a short exact sequence $0\to M\to C\to M\to 0$, where $C$ belongs to a class of modules $\mathcal C$, the so-called $\mathcal C$-periodic modules. We find a rather general framework to improve and generalize some well-known results of Benson and Goodearl and Simson. In the second part we will combine techniques of hereditary cotorsion pairs and presentation of direct limits, to conclude, among other applications, that if $M$ is any module and $C$ is cotorsion, then $M$ will be also cotorsion. Read More

Let $G$ be a finite group, $\Omega(G)$ be its Burnside ring, and $\Delta(G)$ its augmentation ideal. Denote by $\Delta^n(G)$ and $Q_n(G)$ the $n$-th power of $\Delta(G)$ and the $n$-th consecutive quotient group $\Delta^n(G)/\Delta^{n+1}(G)$, respectively. This paper provides an explicit $\mathbb{Z}$-basis for $\Delta^n(\mathcal{H})$ and determine the isomorphism class of $Q_n(\mathcal{H})$ for each positive integer $n$, where $\mathcal{H}=\langle g,h |\, g^{p^m}=h^p=1, h^{-1}gh=g^{p^{m-1}+1}\rangle$, $p$ is an odd prime. Read More

An important result in tilting theory states that a class of modules over a ring is a tilting class if and only if it is the Ext-orthogonal class to a set of compact modules of bounded projective dimension. Moreover, cotilting classes are precisely the resolving and definable subcategories of the module category whose Ext-orthogonal class has bounded injective dimension. In this article, we prove a derived counterpart of the statements above in the context of silting theory. Read More

We generalize the Caldero-Chapoton formula for cluster algebras of finite type to the skew-symmetrizable case. This is done by replacing representation categories of Dynkin quivers by categories of locally free modules over certain Iwanaga-Gorenstein algebras introduced in Part I. The proof relies on the realization of the positive part of the enveloping algebra of a simple Lie algebra of the same finite type as a convolution algebra of constructible functions on representation varieties of $H$, given in Part III. Read More

We relate composition and substitution in pre- and post-Lie algebras to algebraic geometry. The Connes-Kreimer Hopf algebras, and MKW Hopf algebras are then coordinate rings of the infinite-dimensional affine varieties consisting of series of trees, resp.\ Lie series of ordered trees. Read More

We study almost inner derivations of Lie algebras, which were introduced by Gordon and Wilson in their work on isospectral deformations of compact solvmanifolds. We compute all almost inner derivations for low-dimensional Lie algebras, and introduce the concept of fixed basis vectors for proving that all almost inner derivations are inner for $2$-step nilpotent Lie algebras determined by graphs, free $2$ and $3$-step nilpotent Lie algebras, free metabelian nilpotent Lie algebras on two generators, almost abelian Lie algebras and triangular Lie algebras. On the other hand we also exhibit families of nilpotent Lie algebras having an arbitrary large space of non-inner almost inner derivations. Read More

We consider an intermediate category between the category of finite quivers and a certain category of pseudocompact associative algebras that contains all finite dimensional algebras. We define the completed path algebra and the Gabriel quiver as functors. We give an explicit quotient of the category of algebras on which these functors form an adjoint pair. Read More

We introduce axial representations and modules over axial algebras as new tools to study axial algebras. All known interesting examples of axial algebras fall into this setting, in particular the Griess algebra whose automorphism group is the Monster group. Our results become especially interesting for Matsuo algebras. Read More

In this paper we prove that if $R$ is a commutative, reduced, local ring, then $R$ is Hopfian if and only if the ring $R[x]$ is Hopfian. This answers a question of Varadarajan, in the case when $R$ is a reduced local ring. We provide examples of non-Noetherian Hopfian commutative domains by proving that the finite dimensional domains are Hopfian. Read More

R-matrices are the solutions of the Yang-Baxter equation. At the origin of the quantum group theory, they may be interpreted as intertwining operators. Recent advances have been made independently in different directions. Read More

In this note we discuss an interesting duality known to occur for certain complex reflection groups, we prove in particular that this duality has a concrete representation theoretic realisation. As an application, we construct matrix factorisations of the highest degree basic invariant which give free resolutions of the module of K\"{a}hler differentials of the coinvariant algebra $A$ associated to such a reflection group. From this one can read off the Hilbert series of ${\rm Der}_{\mathbb{C}}(A,A)$. Read More

In this paper we investigate the computational complexity of deciding if a given finite algebraic structure satisfies a fixed (strong) Maltsev condition $\Sigma$. Our goal in this paper is to show that $\Sigma$-testing can be accomplished in polynomial time when the algebras tested are idempotent and the Maltsev condition $\Sigma$ can be described using paths. Examples of such path conditions are having a Maltsev term, having a majority operation, and having a chain of J\'onsson (or Gumm) terms of fixed length. Read More

Certain sufficient homological and ring-theoretical conditions are given for a Hopf algebra to have bijective antipode with applications to noetherian Hopf algebras regarding their homological behaviors. Read More

The standard period-index conjecture for the Brauer group of a field of transcendence degree 2 over a $p$-adic field predicts that the index divides the cube of the period. Using Gabber's theory of prime-to-$\ell$ alterations and the deformation theory of twisted sheaves, we prove that the index divides the fourth power of the period for every Brauer class whose period is prime to $6p$, giving the first uniform period-index bounds over such fields. Read More

We construct the rings of generalized differential operators on the $\h$-deformed vector space of $\mathbf{gl}$-type. In contrast to the $q$-deformed vector space, where the ring of differential operators is unique up to an isomorphism, the general ring of $\h$-deformed differential operators $\Diffs(n)$ is labeled by a rational function $\sigma$ in $n$ variables, satisfying an over-determined system of finite-difference equations. We obtain the general solution of the system and describe some properties of the rings $\Diffs(n)$. Read More

We present some identities dealing with reflexive and admissible relations and which, through a variety, are equivalent to congruence modularity. Read More

Octonion algebras over rings are, in contrast to those over fields, not determined by their norm forms. Octonion algebras whose norm is isometric to the norm q of a given algebra C are twisted forms of C by means of the Aut(C)-torsor O(q) ->O(q)/Aut(C). We show that, over any commutative unital ring, these twisted forms are precisely the isotopes C(a,b) of C, with multiplication given by x*y=(xa)(by), for unit norm octonions a,b of C. Read More

The paper deals with a construction of a separating system of rational invariants for finite dimensional generic algebras. In the process of dealing an approach to a rough classification of finite dimensional algebras is offered by attaching them some quadratic forms. Read More

We give the 3-dimensional Sklyanin algebras $S$ that are module-finite over their center $Z$ the structure of a Poisson $Z$-order (in the sense of Brown-Gordon). We show that the induced Poisson bracket on $Z$ is non-vanishing and is induced by an explicit potential. The ${\mathbb Z}_3 \times \Bbbk^\times$-orbits of symplectic cores of the Poisson structure are determined (where the group acts on $S$ by algebra automorphisms). Read More

In this paper we discuss under which conditions cyclic essential extensions of simple modules over a differential operator ring R[z;d] are Artinian. In particular, we study the case when R is either d-simple or d-primitive. Furthermore, we obtain important results when R is an affine algebra of Kull dimension 2. Read More

Commutative shuffle products are known to be intimately related to universal formulas for products, exponentials and logarithms in group theory as well as in the theory of free Lie algebras, such as, for instance, the Baker-Campbell-Hausdorff formula or the analytic expression of a Lie group law in exponential coordinates in the neighbourhood of the identity. Non-commutative shuffle products happen to have similar properties with respect to pre-Lie algebras. However, the situation is more complex since in the non-commutative framework three exponential-type maps and corresponding logarithms are naturally defined. Read More

Derived equivalences for Artin algebras (and almost $\nu$-stable derived equivalences for finite-dimensional algebras) are constructed from Milnor squares of algebras. Particularly, three operations of gluing vertices, unifying arrows and identifying socle elements on derived equivalent algebras are presented to produce new derived equivalences of the resulting algebras from the given ones. As a byproduct, we construct a series of derived equivalences, showing that derived equivalences may change Frobenius type of algebras in general, though both tilting procedure and almost $\nu$-stable derived equivalences do preserve Frobenius type of algebras. Read More

Let $k$ be a field. We describe necessary and sufficient conditions for a $k$-linear abelian category to be a noncommutative $\mathbb{P}^{1}$-bundle over a pair of division rings over $k$. As an application, we prove that $\mathbb{P}^{1}_{n}$, Piontkovski's $n$th noncommutative projective line, is the noncommutative projectivization of an $n$-dimensional vector space. Read More

A classical theorem of I. Schur states that the degree of any irreducible complex representation of a finite group $G$ divides the order of $G/\mathscr{Z} G$, where $\mathscr{Z} G$ is the center $G$. This note discusses similar divisibility results for certain classes of Hopf algebras. Read More

We establish the Gr\"obner-Shirshov bases theory for differential Lie $\Omega$-algebras. As an application, we give a linear basis of a free differential Lie Rota-Baxter algebra on a set. Read More

This paper considers an invariant of modules over a finite-dimensional Hopf algebra, called the critical group. This generalizes the critical groups of complex finite group representations studied by Benkart, Klivans, Reiner and Gaetz. A formula is given for the cardinality of the critical group generally, and the critical group for the regular representation is described completely. Read More

We study generically split octonion algebras over schemes using techniques of ${\mathbb A}^1$-homotopy theory. By combining affine representability results with techniques of obstruction theory, we establish classification results over smooth affine schemes of small dimension. In particular, for smooth affine schemes over algebraically closed fields, we show that generically split octonion algebras may be classified by characteristic classes including the second Chern class and another "mod $3$" invariant. Read More

In this paper we describe several methods of constructing R-matrices that are dependent upon many parameters, for example unitary R-matrices and R- matrices whose entries are functions. This provides a new way to Baxterise some classes of set-theoretic solutions of the Yang-Baxter equation. We also translate some results related to the second Yang-Baxter cohomology group, dynamical cocycle sets and set-theoretic solutions of the Yang-Baxter equation into the matrix theory language. Read More

In this paper we investigate linear codes with complementary dual (LCD) codes and formally self-dual codes over the ring $R=\F_{q}+v\F_{q}+v^{2}\F_{q}$, where $v^{3}=v$, for $q$ odd. We give conditions on the existence of LCD codes and present construction of formally self-dual codes over $R$. Further, we give bounds on the minimum distance of LCD codes over $\F_q$ and extend these to codes over $R$. Read More

We study a Batalin-Vilkovisky algebra structure on the Hochschild cohomology of the group ring of finitely generated abelian groups. The Batalin-Vilkovisky algebra structure for finite abelian groups comes from the fact that the group ring of finite groups is a symmetric algebra, and the Batalin-Vilkovisky algebra structure for free abelian groups of finite rank comes from the fact that its group ring is a Calabi-Yau algebra. Read More

In this note, we extend modular techniques for computing Gr\"obner bases from the commutative setting to the vast class of noncommutative $G$-algebras. As in the commutative case, an effective verification test is only known to us in the graded case. In the general case, our algorithm is probabilistic in the sense that the resulting Gr\"obner basis can only be expected to generate the given ideal, with high probability. Read More

Let $\mathfrak{O}$ be a compact discrete valuation ring of characteristic zero. Given a module $M$ of matrices over $\mathfrak{O}$, we study the generating function encoding the average sizes of the kernels of the elements of $M$ over finite quotients of $\mathfrak{O}$. We prove rationality and establish fundamental properties of these generating functions and determine them explicitly for various natural families of modules $M$. Read More

We show that a variety $\mathcal V$ is congruence distributive if and only if there is some $h$ such that $\mathcal V$ satisfies the identity $ \Theta ( \sigma \circ \sigma ) \subseteq ( \Theta \sigma )^{h}$, where $\Theta$ varies among tolerances and $\sigma$ varies among U-admissible relations, that is, binary relations which are set-theoretical unions of reflexive and admissible relations. For any fixed $h$, a Maltsev-type characterization is given for the above identity. The results suggest that it might be interesting to study the structure of the set of U-admissible relations on some algebra, as well as identities dealing with such relations. Read More

In this paper, we define a class of relative derived functors in terms of left or right weak flat resolutions to compute the weak flat dimension of modules. Moreover, we investigate two classes of modules larger than that of weak injective and weak flat modules, study the existence of covers and preenvelopes, and give some applications. Read More

Let $M_n(K)$ denote the algebra of $n \times n$ matrices over a field $K$ of characteristic zero. A nonunital subalgebra $N \subset M_n(K)$ will be called a nonunital intersection if $N$ is the intersection of two unital subalgebras of $M_n(K)$. Appealing to recent work of Agore, we show that for $n \ge 3$, the dimension (over $K$) of a nonunital intersection is at most $(n-1)(n-2)$, and we completely classify the nonunital intersections of maximum dimension $(n-1)(n-2)$. Read More

The results on the inversion of convolution operators and Toeplitz matrices in the 1-D (one dimensional) case are classical and have numerous applications. We consider a 2-D case of Toeplitz-block Toeplitz matrices, describe a minimal information, which is necessary to recover the inverse matrices, and give a complete characterisation of the inverse matrices. Read More