We gratefully acknowledge support from
the Simons Foundation and member institutions.

Rings and Algebras

New submissions

[ total of 14 entries: 1-14 ]
[ 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 Roueentan
Subjects: 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 extensions
Subjects: 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 identities
Subjects: 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 $1-2^{-d}$, then $Q$ is an identity of $A$. This solves a ring-theoretic analogue of a (still open) group-theoretic problem posed by Dixon.

[4]  arXiv:2005.11824 [pdf, ps, other]
Title: The Restricted Burnside Problem for Moufang Loops
Subjects: 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: Pre-resolutions of noncommutative isolated singularities
Authors: Ji-Wei He, Yu Ye
Subjects: Rings and Algebras (math.RA)

We introduce the notion of right pre-resolutions (quasi-resolutions) for noncommutative isolated singularities, which is a weaker version of quasi-resolutions introduced by Qin-Wang-Zhang. We prove that right quasi-resolutions 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 pre-resolution. 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 Cohen-Macaulay modules and right pre-resolutions is included as well.

Cross-lists for Tue, 26 May 20

[6]  arXiv:1908.04263 (cross-list from math.NT) [pdf, ps, other]
Title: Computation of Jacobi sums of order l^2 and 2l^2 with prime l
Subjects: 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 (cross-list from math.CO) [pdf, ps, other]
Title: On the number of quadratic orthomorphisms that produce maximally nonassociative quasigroups
Subjects: 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 $v-u$ is a square, and $u*v=u+b(v{-}u)$ is $v-u$ 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 (cross-list from math.GR) [pdf, ps, other]
Title: Explicit formulas for the cohomology of the elementary abelian $p$-groups
Subjects: 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 (cross-list from math.RT) [pdf, ps, other]
Title: Exact structures and degeneration of Hall algebras
Comments: 32 pages, comments are welcome
Subjects: 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\"ustle-Langford-Hassoun-Roy 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 Krull-Schmidt 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 algebras
Comments: 11pages
Subjects: Rings and Algebras (math.RA)
[11]  arXiv:2002.00678 (replaced) [pdf, ps, other]
Title: Local and 2-local derivations of Locally simple Lie algebras
Subjects: Rings and Algebras (math.RA)
[12]  arXiv:1911.09346 (replaced) [pdf, ps, other]
Title: On proper and exact relative homological dimensions
Comments: 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) semigroups
Comments: V2 incorporates referee's suggestions. To appear in Memoirs of the AMS. 108 pages, 32 figures
Subjects: 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 Algorithm
Comments: To appear in the Journal of Symbolic Computation
Subjects: Number Theory (math.NT); Complex Variables (math.CV); Rings and Algebras (math.RA)
[ total of 14 entries: 1-14 ]
[ 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)