Mathematics - Rings and Algebras Publications (50)


Mathematics - Rings and Algebras Publications

The fundamental theorem of affine geometry says that a self-bijection $f$ of a finite-dimensional affine space over a possibly skew field takes left affine subspaces to left affine subspaces of the same dimension, then $f$ of the expected type, namely $f$ is a composition of an affine map and an automorphism of the field. We prove a two-sided analogue of this: namely, we consider self-bijections as above which take affine subspaces affine subspaces but which are allowed to take left subspaces to right ones and vice versa. We show that these maps again are of the expected type. Read More

We generalize Lusztig's nilpotent varieties, and Kashiwara and Saito's geometric construction of crystal graphs from the symmetric to the symmetrizable case. We also construct semicanonical functions in the convolution algebras of generalized preprojective algebras. Conjecturally these functions yield semicanonical bases of the enveloping algebras of the positive part of symmetrizable Kac-Moody algebras. Read More

Motivated by the concept of weakly clean rings, we introduce the concept of weakly $r$-clean rings. We define an element $x$ of a ring $R$ as weakly $r$-clean if it can be expressed as $x=r+e$ or $x=r-e$ where $e$ is an idempotent and $r$ is a regular element of $R$. If all the elements of $R$ are weakly $r$-clean then $R$ is called a weakly $r$-clean ring. Read More

Let $R$ be a ring with identity $1$. Jacobson's lemma states that for any $a,b\in R$, if $1-ab$ is invertible then so is $1-ba$. Jacobson's lemma has suitable analogues for several types of generalized inverses, e. Read More

This paper, we consider some properties of rings via q-potent and periodic elements. In this paper we give some results of rings in which every element is a sum of an idempotent and a q-potent that commute; periodic rings and k-potent elements of algebras. Read More

We show that the octonions can be defined as the $\mathbb{R}$-algebra with basis $\lbrace e^x \colon x \in \mathbb{F}_8 \rbrace$ and multiplication given by $e^x e^y = (-1)^{\varphi(x,y)}e^{x + y}$, where $\varphi(x,y) = \operatorname{tr}(y x^6)$. While it is well known that the octonions can be described as a twisted group algebra, our purpose is to point out that this is a useful description. We show how the basic properties of the octonions follow easily from our definition. Read More

Under binary matrices we mean matrices whose entries take one of two values. In this paper, explicit formulae for calculating the determinant of some type of binary Toeplitz matrices are obtained. Examples of the application of the determinant of binary Toeplitz matrices for the enumeration of even and odd permutations of different types are given. Read More

A ring $R$ is trinil clean if every element in $R$ is the sum of a tripotent and a nilpotent. If $R$ is a 2-primal strongly 2-nil-clean ring, we prove that $M_n(R)$ is trinil clean for all $n\in {\Bbb N}$. Furthermore, we show that the matrix ring over a strongly 2-nil-clean ring of bounded index is trinil clean. Read More

We describe the split extension classifiers in the semi-abelian category of cocommutative Hopf algebras over an algebraically closed field of characteristic zero. The categorical notions of centralizer and of center in the category of cocommutative Hopf algebras is then explored. We show that the categorical notion of center coincides with the one that is considered in the theory of general Hopf algebras. Read More

For abelian length categories the borderline between finite and infinite representation type is discussed. Characterisations of finite representation type are extended to length categories of infinite height, and the minimal length categories of infinite height are described. Read More

Suppose throughout that $\mathcal V$ is a congruence distributive variety. If $m \geq 1$, let $ J _{ \mathcal V} (m) $ be the smallest natural number $k$ such that the congruence identity $\alpha ( \beta \circ \gamma \circ \beta \dots ) \subseteq \alpha \beta \circ \alpha \gamma \circ \alpha \beta \circ \dots $ holds in $\mathcal V$, with $m$ occurrences of $ \circ$ on the left-hand side and $k$ occurrences on the right-hand side. We show that if $ J _{ \mathcal V} (m) =k$ and $\ell> 0$, then $ J _{ \mathcal V} (m \ell ) \leq k \ell $. Read More

In earlier work, the author introduced a method for constructing a Frobenius categorification of a cluster algebra with frozen variables, requiring as input a suitable candidate for the endomorphism algebra of a cluster-tilting object in such a category. In this paper, we construct such candidates in the case of acyclic cluster algebras with 'polarised' principal coefficients, and study the resulting Frobenius categorifications. Since cluster algebras with principal coefficients are obtained from those with polarised principal coefficients by setting half of the frozen variables to 1, our categories also indirectly model cluster algebras with principal coefficients, for which no Frobenius categorification can exist. Read More

We study different algebraic structures associated to an operad and their relations: to any operad $\mathbf{P}$ is attached a bialgebra,the monoid of characters of this bialgebra, the underlying pre-Lie algebra and its enveloping algebra; all of them can be explicitely describedwith the help of the operadic composition. non-commutative versions are also given. We denote by $\mathbf{b\_\infty}$ the operad of $\mathbf{b\_\infty}$ algebras, describing all Hopf algebra structures on a symmetric coalgebra. Read More

Idempotents dominate the structure theory of rings. The Peirce decomposition induced by an idempotent provides a natural environment for defining and classifying new types of rings. This point of view offers a way to unify and to expand the classical theory of semiperfect rings and idempotents to much larger classes of rings. Read More

In his generalization of reductive homogeneous spaces, Lev Sabinin showed that Lie's fundamental theorems hold for local analytic hyporeductive and pseudoreductive loops. We derive Sabinin's results in an algebraic context in terms of non-associative Hopf algebras that satisfy the analog of the hyporeductive and pseudoreductive identities for loops. Read More

We explore algebraic properties of noncommutative frames. The concept of noncommutative frames is due to Le Bruyn, who introduced it in connection with noncommutative covers of the Connes-Consani arithmetic site. Read More

Let $B$ and $C$ be non-degenerate idempotent algebras and assume that $E$ is a regular separability idempotent in $M(B\otimes C)$. Define $A=C\otimes B$ and $\Delta:A\to M(A\otimes A)$ by $\Delta(c\otimes b)=c\otimes E\otimes b$. The pair $(A,\Delta)$ is a weak multiplier Hopf algebra. Read More

For any central simple algebra over a field F which contains a maximal subfield M with non-trivial F-automorphism group G, G is solvable if and only if the algebra contains a finite chain of subalgebras which are generalized cyclic algebras over their centers (field extensions of F) satisfying certain conditions. These subalgebras are related to a normal subseries of G. A crossed product algebra F is hence solvable if and only if it can be constructed out of such a finite chain of subalgebras. Read More

We describe the combinatorics of the multisemigroup with multiplicities for the tensor category of subbimodules of the identity bimodule, for an arbitrary non-uniform orientation of a finite cyclic quiver. Read More

We provide a framework connecting several well known theories related to the linearity of graded modules over graded algebras. In the first part, we pay a particular attention to the tensor products of graded bimodules over graded algebras. Finally, we provide a tool to evaluate the possible degrees of a module appearing in a graded projective resolution once the generating degrees for the first term of some particular projective resolution are known. Read More

We investigate dynamical analogues of the $L^2$-Betti numbers for modules over integral group ring of a discrete sofic group. In particular, we use them to introduce some invariants for algebraic actions. As an application, we give a dynamical characterization of L\"{u}ck's dimension-flatness. Read More

We prove that under mild assumptions the zero set of the discriminant ideal of a prime PI algebra R coincides with the zero set of the modified discriminant ideal of R. Furthermore, we prove that this set is precisely the complement of the Azumaya locus of R. This is used to classify the Azumaya loci of the mutiparameter quantized Weyl algebras at roots of unity. Read More

We construct a ring with the properties of the title of the paper. We also construct some other local rings of embedding dimension 4 with exotic properties. Among the methods used are the {\tt Macaulay2}-package {\tt DGAlgebras} by Frank Moore, combined with and inspired by results by Anick, Avramov, Backelin, Katth\"an, Lemaire, Levin, L\"ofwall and others. Read More

We introduce axiomatically a Nonarchimedean field E, called the field of the Euclidean numbers, where a transfinite sum is defined that is indicized by ordinal numbers less than the first inaccessible {\Omega}. Thanks to this sum, E becomes a saturated hyperreal field isomorphic to the so called Kiesler field of cardinality {\Omega}, and suitable topologies can be put on E and on {\Omega} \cup {{\Omega}} so as to obtain the transfinite sums as limits of a suitable class of their finite subsums. Moreover there is a natural isomorphic embedding into E of the semiring {\Omega} equipped by the natural sum and product. Read More

We study several properties of the completed group ring $\hat{\mathbb{Z}}[[t^{\hat{\mathbb{Z}}}]]$ and the completed Alexander modules of knots. Then we prove that the profinite completions of knot groups determine the Alexander polynomials. Read More

We begin a systematic study of those finite semigroups that generate join irreducible members of the lattice of pseudovarieties of finite semigroups, which are important for the spectral theory of this lattice. Finite semigroups $S$ that generate join irreducible pseudovarieties are characterized as follows: whenever $S$ divides a direct product $A \times B$ of finite semigroups, then $S$ divides either $A^n$ or $B^n$ for some $n \geq 1$. We present a new operator ${ \mathbf{V} \mapsto \mathbf{V}^\mathsf{bar} }$ that preserves the property of join irreducibility, as does the dual operator, and show that iteration of these operators on any nontrivial join irreducible pseudovariety leads to an infinite hierarchy of join irreducible pseudovarieties. Read More

A finite abstract simplicial complex G defines two finite simple graphs: the Barycentric refinement G1, connecting two simplices if one is a subset of the other and the connection graph G', connecting two simplices if they intersect. We prove that the Poincare-Hopf value i(x)=1-X(S(x)), where X is Euler characteristics and S(x) is the unit sphere of a vertex x in G1, agrees with the Green function value g(x,x),the diagonal element of the inverse of (1+A'), where A' is the adjacency matrix of G'. By unimodularity, det(1+A') is the product of parities (-1)^dim(x) of simplices in G, the Fredholm matrix 1+A' is in GL(n,Z), where n is the number of simplices in G. Read More

In this paper, we introduce the notion of an omni $n$-Lie algebra and show that they are linearization of higher analogues of standard Courant algebroids. We also introduce the notion of a nonabelian omni $n$-Lie algebra and show that they are linearization of higher analogues of Courant algebroids associated to Nambu-Poisson manifolds. Read More

Using the concept of ring diadic range 1 we proved that a commutative Bezout ring is an elementary divisor ring iff it is a ring diadic range 1. Read More

We provide a unified approach, via incidence algebras, to the classification of several important types of representations: distributive, thin, with finitely many orbits, or with finitely many invariant subspaces, as well as to several types of algebras such as semidistributive, with finitely many ideals, or locally hereditary. The key tool is the introduction of a deformation theory of posets and incidence algebras. We show that these deformations of incidence algebras of posets are precisely the locally hereditary semidistributive algebras, and they are classified in terms of the cohomology of the simplicial realization of the poset. Read More

We construct a linear basis of a free GDN superalgebra over a field of characteristic $\neq 2$. As applications, we prove a PBW theorem, that is, any GDN superalgebra can be embedded into its universal enveloping commutative associative differential superalgebra. An Engel theorem under some assumptions is given. Read More

In the paper, we provide an effective method for the Lipschitz equivalence of two-branch Cantor sets and three-branch Cantor sets by studying the irreducibility of polynomials. We also find that any two Cantor sets are Lipschitz equivalent if and only if their contraction vectors are equivalent provided one of the contraction vectors is homogeneous. Read More

The computation of the Noether numbers of all groups of order less than thirty-two is completed. It turns out that for these groups in non-modular characteristic the Noether number is attained on a multiplicity free representation, and it does not depend on the characteristic. Algorithms are developed and used to determine the small and large Davenport constants of these groups. Read More

Koszul algebras with quadratic Groebner bases, called strong Koszul algebras, are studied. We introduce affine algebraic varieties whose points are in one-to-one correspondence with certain strong Koszul algebras and we investigate the connection between the varieties and the algebras. Read More

For each $n\ge2$ we classify all $n$-dimensional algebras over an arbitrary infinite field which have the property that the $n$-dimensional abelian Lie algebra is their only proper degeneration. Read More

Let $F$ be a finite field of $char F > 3$ and $sl_{2}(F)$ be the Lie algebra of traceless $2\times 2$ matrices over $F$. In this paper, we find a basis for the $\mathbb{Z}_{2}$-graded identities of $sl_{2}(F)$. Read More

We compute all Nichols algebras of rigid vector spaces of dimension 2 that admit a non-trivial quadratic relation. Read More

For an element $a \in R$, let $\eta(a)=\{e\in R\mid e^2=e\mbox{ and }a-e\in \mbox{nil}(R)\}$. The nil clean index of $R$, denoted by NinA$(R)$, is defined as Nin$(R)=\sup \{\mid \eta(a)\mid: a\in R\}$. In this article we have characterized formal triangular matrix ring $\begin{pmatrix}A & M0 & B\end{pmatrix}$ with nil clean index $4$. Read More

Given a poset $P$ and a standard closure operator $\Gamma:\wp(P)\to\wp(P)$ we give a necessary and sufficient condition for the lattice of $\Gamma$-closed sets of $\wp(P)$ to be a frame in terms of the recursive construction of the $\Gamma$-closure of sets. We use this condition to show that given a set $\mathcal{U}$ of distinguished joins from $P$, the lattice of $\mathcal{U}$-ideals of $P$ fails to be a frame if and only if it fails to be $\sigma$-distributive, with $\sigma$ depending on the cardinalities of sets in $\mathcal{U}$. From this we deduce that if a poset has the property that whenever $a\wedge(b\vee c)$ is defined for $a,b,c\in P$ it is necessarily equal to $(a\wedge b)\vee (a\wedge c)$, then it has an $(\omega,3)$-representation. Read More

Our goal here is to see the space of matrices of a given size from a geometric and topological perspective, with emphasis on the families of various ranks and how they fit together. We pay special attention to the nearest orthogonal neighbor and nearest singular neighbor of a given matrix, both of which play central roles in matrix decompositions, and then against this visual backdrop examine the polar and singular value decompositions and some of their applications. Read More

An operad is naturally endowed with a pre-Lie structure. We prove that as a pre-Lie algebra an operad is not free. The proof holds on defining a non-vanishing linear operation in the pre-Lie algebra which is zero in any operad. Read More

Let $R$ be a finite ring. The commuting probability of $R$ is the probability that any two randomly chosen elements of $R$ commute. In this paper, we obtain some bounds for commuting probability of $R$. Read More

We give a systematic method to construct self-injective algebras which are $n$-representation-finite in the sense of higher-dimensional Auslander-Reiten theory. Such algebras are given as orbit algebras of the repetitive categories of algebras of finite global dimension satisfying a certain finiteness condition for the Serre functor. This generalizes Riedtmann's classical construction of representation-finite self-injective algebras. Read More

Positivstellensatz is a fundamental result in real algebraic geometry providing algebraic certificates for positivity of polynomials on semialgebraic sets. In this article Positivstellens\"atze for trace polynomials positive on semialgebraic sets of $n\times n$ matrices are provided. A Krivine-Stengle-type Positivstellensatz is proved characterizing trace polynomials nonnegative on a general semialgebraic set $K$ using weighted sums of hermitian squares with denominators. Read More

We describe an algorithm for fast multiplication of skew polynomials. It is based on fast modular multiplication of such skew polynomials, for which we give an algorithm relying on evaluation and interpolation on normal bases. Our algorithms improve the best known complexity for these problems, and reach the optimal asymptotic complexity bound for large degree. Read More

Descent theory for linear categories is developed. Given a linear category as an extension of a diagonal category, we introduce descent data, and the category of descent data is isomorphic to the category of representations of the diagonal category, if some flatness assumptions are satisfied. Then Hopf-Galois descent theory for linear Hopf categories, the Hopf algebra version of a linear category, is developed. Read More

In skew-symmetrizable case, we give a positive affirmation to a conjecture proposed by Sergey Fomin and Andrei Zelevinsky, which says each seed $\Sigma_t$ is uniquely determined by its {\bf C-matrix} in a cluster algebra $\mathcal A(\Sigma_{t_0})$ with principle coefficients at $t_0$. More discussion is given in the sign-skew-symmetric case so as to obtain a conclusion as weak version of the conjecture in this general case. Read More

In this paper, a construction of Shoda pairs using character triples is given for a large class of monomial groups including abelian-by-supersolvable and subnormally monomial groups. The computation of primitive central idempotents and the structure of simple components of the rational group algebra for groups in this class are also discussed. The theory is illustrated with examples. Read More

Let $\mathcal{C}$ be an additive category equipped with an automorphism $\Sigma$. We show how to obtain $n$-angulations of $(\mathcal{C},\Sigma)$ using some particular periodic injective resolutions. We give necessary and sufficient conditions on $(\mathcal{C},\Sigma)$ admitting an $n$-angulation. Read More

It is proved that the Poisson enveloping algebra of a double Poisson-Ore extension is an iterated double Ore extension. As an application, properties that are preserved under iterated double Ore extensions are invariants of the Poisson enveloping algebra of a double Poisson-Ore extension. Read More