Rings and Algebras
New submissions
[ showing up to 2000 entries per page: fewer  more ]
New submissions for Tue, 26 May 20
 [1] arXiv:2005.11484 [pdf, ps, other]

Title: Samira Hosseinzadeh Alikhalaji, Mojtaba Sedaghatjoo and Mohammad RoueentanSubjects: Rings and Algebras (math.RA); Representation Theory (math.RT)
In this paper we investigate right uniform notion on some classes of semigroups. The main objective of this paper is realizing the structure of regular right uniform semigroups which can be applied as a cornerstone of characterizing regular right subdirectly irreducible semigroups.
 [2] arXiv:2005.11571 [pdf, ps, other]

Title: On partial Galois abelian extensionsSubjects: Rings and Algebras (math.RA)
In this article we construct the inverse semigroup of equivalence classes of partial Galois abelian extensions of a commutative ring R with same group G, called the Harrison partial inverse semigroup.
 [3] arXiv:2005.11594 [pdf, ps, other]

Title: Residually finite dimensional algebras and polynomial almost identitiesSubjects: Rings and Algebras (math.RA); Group Theory (math.GR)
Let $A$ be a residually finite dimensional algebra (not necessarily associative) over a field $k$. Suppose first that $k$ is algebraically closed. We show that if $A$ satisfies a homogeneous almost identity $Q$, then $A$ has an ideal of finite codimension satisfying the identity $Q$. Using well known results of Zelmanov, we conclude that, if a residually finite dimensional Lie algebra $L$ over $k$ is almost $d$Engel, then $L$ has a nilpotent (resp. locally nilpotent) ideal of finite codimension if char $k=0$ (resp. char $k > 0$). Next, suppose that $k$ is finite (so $A$ is residually finite). We prove that, if $A$ satisfies a homogeneous probabilistic identity $Q$, then $Q$ is a coset identity of $A$. Moreover, if $Q$ is multilinear, then $Q$ is an identity of some finite index ideal of $A$. Along the way we show that, if $Q\in k\langle x_1,\ldots,x_n\rangle$ has degree $d$, and $A$ is a finite $k$algebra such that the probability that $Q(a_1, \ldots , a_n)=0$ (where $a_i \in A$ are randomly chosen) is at least $12^{d}$, then $Q$ is an identity of $A$. This solves a ringtheoretic analogue of a (still open) grouptheoretic problem posed by Dixon.
 [4] arXiv:2005.11824 [pdf, ps, other]

Title: The Restricted Burnside Problem for Moufang LoopsSubjects: Rings and Algebras (math.RA)
We prove that for positive integers $m \geq 1, n \geq 1$ and a prime number $p \neq 2,3$ there are finitely many finite $m$generated Moufang loops of exponent $p^n$.
 [5] arXiv:2005.11873 [pdf, ps, other]

Title: Preresolutions of noncommutative isolated singularitiesSubjects: Rings and Algebras (math.RA)
We introduce the notion of right preresolutions (quasiresolutions) for noncommutative isolated singularities, which is a weaker version of quasiresolutions introduced by QinWangZhang. We prove that right quasiresolutions for noetherian bounded below and locally finite graded algebra with right injective dimension 2 are always Morita equivalent. When we restrict to noncommutative quadric hypersurfaces, we prove that a noncommutative quadric hypersurface, which is a noncommutative isolated singularity, always admits a right preresolution. Besides, we provide a method to verify whether a noncommutative quadric hypersurface is an isolated singularity. An example of noncommutative quadric hypersurfaces with detailed computations of indecomposable maximal CohenMacaulay modules and right preresolutions is included as well.
Crosslists for Tue, 26 May 20
 [6] arXiv:1908.04263 (crosslist from math.NT) [pdf, ps, other]

Title: Computation of Jacobi sums of order l^2 and 2l^2 with prime lSubjects: Number Theory (math.NT); Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS); Rings and Algebras (math.RA)
In this paper, we present the fast computational algorithms for the Jacobi sums of orders $l^2$ and $2l^{2}$ with odd prime $l$ by formulating them in terms of the minimum number of cyclotomic numbers of the corresponding orders. We also implement two additional algorithms to validate these formulae, which are also useful for the demonstration of the minimality of cyclotomic numbers required.
 [7] arXiv:2005.11674 (crosslist from math.CO) [pdf, ps, other]

Title: On the number of quadratic orthomorphisms that produce maximally nonassociative quasigroupsSubjects: Combinatorics (math.CO); Rings and Algebras (math.RA)
Let $q$ be an odd prime power and suppose that $a,b\in\mathbb{F}_q$ are such that $ab$ and $(1{}a)(1{}b)$ are nonzero squares. Let $Q_{a,b} = (\mathbb{F}_q,*)$ be the quasigroup in which the operation is defined by $u*v=u+a(v{}u)$ if $vu$ is a square, and $u*v=u+b(v{}u)$ is $vu$ is a nonsquare. This quasigroup is called maximally nonassociative if it satisfies $x*(y*z) = (x*y)*z$ $\Leftrightarrow$ $x=y=z$. Denote by $\sigma(q)$ the number of $(a,b)$ for which $Q_{a,b}$ is maximally nonassociative. We show that there exist constants $\alpha \approx 0.02908$ and $\beta \approx 0.01259$ such that if $q\equiv 1 \bmod 4$, then $\lim \sigma(q)/q^2 = \alpha$, and if $q \equiv 3 \bmod 4$, then $\lim \sigma(q)/q^2 = \beta$.
 [8] arXiv:2005.11868 (crosslist from math.GR) [pdf, ps, other]

Title: Explicit formulas for the cohomology of the elementary abelian $p$groupsAuthors: ConstantinNicolae BeliSubjects: Group Theory (math.GR); Rings and Algebras (math.RA)
Let $G$ be an elementary abelian $p$group, $G\cong{\mathbb F}_p^r$ and let $s_1,\ldots,s_r$ be a basis of $G$ over ${\mathbb F}_p$.
Let $V$ be the dual of $G$, $V={\rm Hom}(G,{\mathbb F}_p)=H^1(G,{\mathbb F}_p)$. Let $x_1,\ldots,x_r$ be the basis of $V$ over ${\mathbb F}_p$ which is dual to the basis $s_1,\ldots,s_r$ of $G$. For $1\leq i\leq r$ we denote by $y_i=\beta (x_i)\in H^2(G,{\mathbb F}_p)$, where $\beta :H^1(G,{\mathbb F}_p)\to H^2(G,{\mathbb F}_p)$ is the connecting Bockstein map.
The ring $(H^*(G,{\mathbb F}_p),+,\cup )$ satisfies $$H^*(G,{\mathbb F}_p)\cong\begin{cases}{\mathbb F}_p[x_1,\ldots,x_r]&p=2\\ \Lambda (x_1,\ldots,x_r)\otimes{\mathbb F}_p[y_1,\ldots,y_r]&p>2\end{cases}.$$
When $p=2$ the isomorphism $\tau :{\mathbb F}_p[x_1,\ldots,x_r]\to H^*(G,{\mathbb F}_p)$ is given by $x_{i_1}\cdots x_{i_n}\mapsto x_{i_1}\cup\cdots\cup x_{i_n}\in H^n(G,{\mathbb F}_p)$. When $p>3$ the isomorphism $\tau :\Lambda (x_1,\ldots,x_r)\otimes{\mathbb F}_p[y_1,\ldots,y_r]\to H^*(G,{\mathbb F}_p)$ is given by $x_{i_1}\wedge\cdots\wedge x_{i_l}\otimes y_{j_1}\cdots y_{j_k}\mapsto x_{i_1}\cup\cdots\cup x_{i_l}\cup y_{j_1}\cup\cdots\cup y_{j_k}\in H^{2k+l}(G,{\mathbb F}_p)$.
In this paper we give explicit formulas for the inverse isomorphism $\tau^{1}$. The elements of $H^*(G,{\mathbb F}_p)$ are written in terms of normalized cochains. During the proof we use an alternative way to describe the normalized cochains. Namely, for every $G$module $M$ we have $C^n(G,M)\cong{\rm Hom}(T^n({\mathcal I}),M)$, where ${\mathcal I}$ is the augmented ideal of $G$, ${\mathcal I}=\ker\varepsilon :{\mathbb Z}[G]\to{\mathbb Z}$.  [9] arXiv:2005.12130 (crosslist from math.RT) [pdf, ps, other]

Title: Exact structures and degeneration of Hall algebrasComments: 32 pages, comments are welcomeSubjects: Representation Theory (math.RT); Category Theory (math.CT); Quantum Algebra (math.QA); Rings and Algebras (math.RA)
We study degenerations of the Hall algebras of exact categories induced by degree functions on the set of isomorphism classes of indecomposable objects. We prove that each such degeneration of the Hall algebra $\mathcal{H}(\mathcal{E})$ of an exact category $\mathcal{E}$ is the Hall algebra of a smaller exact structure $\mathcal{E}' < \mathcal{E}$ on the same additive category $\mathcal{A}.$ When $\mathcal{E}$ is admissible in the sense of Enomoto, for any $\mathcal{E}' < \mathcal{E}$ satisfying suitable finiteness conditions, we prove that $\mathcal{H}(\mathcal{E}')$ is a degeneration of $\mathcal{H}(\mathcal{E})$ of this kind.
In the additively finite case, all such degree functions form a simplicial cone whose face lattice reflects properties of the lattice of exact structures. For the categories of representations of Dynkin quivers, we recover degenerations of the negative part of the corresponding quantum group, as well as the associated polyhedral structure studied by Fourier, Reineke and the first author.
Along the way, we give minor improvements to certain results of Enomoto and Br\"ustleLangfordHassounRoy concerning the classification of exact structures on an additive category. We prove that for each idempotent complete additive category $\mathcal{A}$, there exists an abelian category whose lattice of Serre subcategories is isomorphic to the lattice of exact structures on $\mathcal{A}$. We show that every KrullSchmidt category admits a unique maximal admissible exact structure and that the lattice of smaller exact structures of an admissible exact structure is Boolean.
Replacements for Tue, 26 May 20
 [10] arXiv:1903.05827 (replaced) [pdf, ps, other]

Title: $n$dervations of Lie color algebrasComments: 11pagesSubjects: Rings and Algebras (math.RA)
 [11] arXiv:2002.00678 (replaced) [pdf, ps, other]

Title: Local and 2local derivations of Locally simple Lie algebrasSubjects: Rings and Algebras (math.RA)
 [12] arXiv:1911.09346 (replaced) [pdf, ps, other]

Title: On proper and exact relative homological dimensionsComments: To appear in a Special Issue of Algebra Colloquium; proceedings of The International Conference on Algebra and Related Topics (ICART 2018)Subjects: Category Theory (math.CT); Commutative Algebra (math.AC); Rings and Algebras (math.RA)
 [13] arXiv:2001.01909 (replaced) [pdf, ps, other]

Title: Congruence lattices of ideals in categories and (partial) semigroupsComments: V2 incorporates referee's suggestions. To appear in Memoirs of the AMS. 108 pages, 32 figuresSubjects: Group Theory (math.GR); Category Theory (math.CT); Rings and Algebras (math.RA)
 [14] arXiv:2004.03949 (replaced) [pdf, ps, other]

Title: On the Computation of Identities Relating Partition Numbers in Arithmetic Progressions with Eta Quotients: An Implementation of Radu's AlgorithmAuthors: Nicolas Allen SmootComments: To appear in the Journal of Symbolic ComputationSubjects: Number Theory (math.NT); Complex Variables (math.CV); Rings and Algebras (math.RA)
[ showing up to 2000 entries per page: fewer  more ]
Disable MathJax (What is MathJax?)
Links to: arXiv, form interface, find, math, recent, 2005, contact, help (Access key information)