In this paper, we define a Cayley–Dickson process for k-coalgebras proving some results that describe the properties of the final coalgebra, knowing the properties of the initial one. Namely, after applying the Cayley–Dickson process for k-coalgebras to a coassociative coalgebra, we obtain a coalternative one. Moreover, the first coalgebra is cocommutative if and only if the final coalgebra is coassociative. Finally we extend these results to a more general approach of D-coalgebras, where D is a k-coalgebra, presenting a class of examples of coalternative (non-coassociative) coalgebras obtained from group D-coalgebras.

Balanced pairs appear naturally in the realm of relative homological algebra associated with the balance of right-derived functors of the Hom functor. Cotorsion triplets are a natural source of such pairs. In this paper, we study the connection between balanced pairs and cotorsion triplets by using recent quiver representation techniques. In doing so, we find a new characterization of abelian categories that have enough projectives and injectives in terms of the existence of complete hereditary cotorsion triplets. We also provide a short proof of the lack of balance for derived functors of Hom computed using flat resolutions, which extends the one given by Enochs in the commutative case.

Let $H$ be a Hopf algebra. We consider $H$-equivariant modules over a Hopf module category ${\mathcal{C}}$ as modules over the smash extension ${\mathcal{C}}\#H$. We construct Grothendieck spectral sequences for the cohomologies as well as the $H$-locally finite cohomologies of these objects. We also introduce relative $({\mathcal{D}},H)$-Hopf modules over a Hopf comodule category ${\mathcal{D}}$. These generalize relative $(A,H)$-Hopf modules over an $H$-comodule algebra $A$. We construct Grothendieck spectral sequences for their cohomologies by using their rational $\text{Hom}$ objects and higher derived functors of coinvariants.

Let 𝔟 be the Borel subalgebra of the Lie algebra 𝔰𝔩2 and V2 be the simple two-dimensional 𝔰𝔩2-module. For the universal enveloping algebra $\[{\cal A}: = U(\gb \ltimes {V_2})\]$ of the semi-direct product 𝔟⋉V2 of Lie algebras, the prime, primitive and maximal spectra are classified. Please approve edit to the sentence “The sets of completely prime…”.The sets of completely prime ideals of $\[{\cal A}\]$ are described. The simple unfaithful $\[{\cal A}\]$-modules are classified and an explicit description of all prime factor algebras of $\[{\cal A}\]$ is given. The following classes of simple U(𝔟⋉V2)-modules are classified: the Whittaker modules, the 𝕂[X]-torsion modules and the 𝕂[E]-torsion modules.

For $A$ a gentle algebra, and $X$ and $Y$ string modules, we construct a combinatorial basis for $\operatorname{Hom}(X,\unicode[STIX]{x1D70F}Y)$. We use this to describe support $\unicode[STIX]{x1D70F}$-tilting modules for $A$. We give a combinatorial realization of maps in both directions realizing the bijection between support $\unicode[STIX]{x1D70F}$-tilting modules and functorially finite torsion classes. We give an explicit basis of $\operatorname{Ext}^{1}(Y,X)$ as short exact sequences. We analyze several constructions given in a more restricted, combinatorial setting by McConville, showing that many but not all of them can be extended to general gentle algebras.

The purpose of this note is to prove the following. Suppose $\mathfrak{R}$ is a semiprime unity ring having an idempotent element $e$ ($e\neq 0,~e\neq 1$) which satisfies mild conditions. It is shown that every additive generalized Jordan derivation on $\mathfrak{R}$ is a generalized derivation.

Let $A=\bigoplus _{i\in \mathbb{Z}}A_{i}$ be a finite-dimensional graded symmetric cellular algebra with a homogeneous symmetrizing trace of degree $d$. We prove that if $d\neq 0$ then $A_{-d}$ contains the Higman ideal $H(A)$ and $\dim H(A)\leq \dim A_{0}$, and provide a semisimplicity criterion for $A$ in terms of the centralizer of $A_{0}$.

Given a property of representations satisfying a basic stability condition, Ramakrishna developed a variant of Mazur’s Galois deformation theory for representations with that property. We introduce an axiomatic definition of pseudorepresentations with such a property. Among other things, we show that pseudorepresentations with a property enjoy a good deformation theory, generalizing Ramakrishna’s theory to pseudorepresentations.

For a compact metric space (K, d), LipK denotes the Banach algebra of all complex-valued Lipschitz functions on (K, d). We show that the continuous Hochschild cohomology Hn(LipK, (LipK)*) and Hn(LipK, ℂe) are both infinite-dimensional vector spaces for each n ≥ 1 if the space K contains a certain infinite sequence which converges to a point e ∈ K. Here (LipK)* is the dual module of LipK and ℂe denotes the complex numbers with a LipK-bimodule structure defined by evaluations of LipK-functions at e. Examples of such metric spaces include all compact Riemannian manifolds, compact geodesic metric spaces and infinite compact subsets of ℝ. In particular, the (small) global homological dimension of LipK is infinite for every such space. Our proof uses the description of point derivations by Sherbert [‘The structure of ideals and point derivations in Banach algebras of Lipschitz functions’, Trans. Amer. Math. Soc.111 (1964), 240–272] and directly constructs non-trivial cocycles with the help of alternating cocycles of Johnson [‘Higher-dimensional weak amenability’, Studia Math.123 (1997), 117–134]. An alternating construction of cocycles on the basis of the idea of Kleshchev [‘Homological dimension of Banach algebras of smooth functions is equal to infinity’, Vest. Math. Mosk. Univ. Ser. 1. Mat. Mech.6 (1988), 57–60] is also discussed.

We realize Leavitt ultragraph path algebras as partial skew group rings. Using this realization we characterize artinian ultragraph path algebras and give simplicity criteria for these algebras.

We introduce a notion of Koszul A∞-algebra that generalizes Priddy's notion of a Koszul algebra and we use it to construct small A∞-algebra models for Hochschild cochains. As an application, this yields new techniques for computing free loop space homology algebras of manifolds that are either formal or coformal (over a field or over the integers). We illustrate these techniques in two examples.

Keller proved in 1999 that the Gerstenhaber algebra structure on the Hochschild cohomology of an algebra is an invariant of the derived category. In this paper, we adapt his approach to show that the Gerstenhaber algebra structure on the Tate–Hochschild cohomology of an algebra is preserved under singular equivalences of Morita type with level, a notion introduced by the author in previous work.

We apply the filtered and graded methods developed in earlier works to find (noncommutative) free group algebras in division rings.

If $L$ is a Lie algebra, we denote by $U(L)$ its universal enveloping algebra. P. M. Cohn constructed a division ring $\mathfrak{D}_{L}$ that contains $U(L)$. We denote by $\mathfrak{D}(L)$ the division subring of $\mathfrak{D}_{L}$ generated by $U(L)$.

Let $k$ be a field of characteristic zero, and let $L$ be a nonabelian Lie $k$-algebra. If either $L$ is residually nilpotent or $U(L)$ is an Ore domain, we show that $\mathfrak{D}(L)$ contains (noncommutative) free group algebras. In those same cases, if $L$ is equipped with an involution, we are able to prove that the free group algebra in $\mathfrak{D}(L)$ can be chosen generated by symmetric elements in most cases.

Let $G$ be a nonabelian residually torsion-free nilpotent group, and let $k(G)$ be the division subring of the Malcev–Neumann series ring generated by the group algebra $k[G]$. If $G$ is equipped with an involution, we show that $k(G)$ contains a (noncommutative) free group algebra generated by symmetric elements.

In this article, we study localizations of hearts of cotorsion pairs ($\mathcal{U}, \mathcal{V}$) where $\mathcal{U}$ is rigid on an extriangulated category $\mathcal{B}$ . The hearts of such cotorsion pairs are equivalent to the functor categories over the stable category of $\mathcal{U}$ ( $\bmod \underline{\mathcal{U}}$ ). Inspired by Marsh and Palu (Nagoya Math. J.225(2017), 64–99), we consider the mutation (in the sense of Iyama and Yoshino, Invent. Math.172(1) (2008), 117–168) of $\mathcal{U}$ that induces a cotorsion pair ( $\mathcal{U}^{\prime}, \mathcal{V}^{\prime}$ ). Generally speaking, the hearts of ( $\mathcal{U}, \mathcal{V}$ ) and ( $\mathcal{U}^{\prime}, \mathcal{V}^{\prime}$ ) are not equivalent to each other, but we will give a generalized pseudo-Morita equivalence between certain localizations of their hearts.

A skew brace, as introduced by L. Guarnieri and L. Vendramin, is a set with two group structures interacting in a particular way. When one of the group structures is abelian, one gets back the notion of brace as introduced by W. Rump. Skew braces can be used to construct solutions of the quantum Yang–Baxter equation. In this article, we introduce a notion of action of a skew brace, and show how it leads to solutions of the closely associated reflection equation.

Nakayama automorphisms play an important role in the fields of noncommutative algebraic geometry and noncommutative invariant theory. However, their computations are not easy in general. We compute the Nakayama automorphism ν of an Ore extension R[x; σ, δ] over a polynomial algebra R in n variables for an arbitrary n. The formula of ν is obtained explicitly. When σ is not the identity map, the invariant EG is also investigated in terms of Zhang’s twist, where G is a cyclic group sharing the same order with σ.

In this paper we consider the algebraic crossed product ${\mathcal{A}}:=C_{K}(X)\rtimes _{T}\mathbb{Z}$ induced by a homeomorphism $T$ on the Cantor set $X$, where $K$ is an arbitrary field with involution and $C_{K}(X)$ denotes the $K$-algebra of locally constant $K$-valued functions on $X$. We investigate the possible Sylvester matrix rank functions that one can construct on ${\mathcal{A}}$ by means of full ergodic $T$-invariant probability measures $\unicode[STIX]{x1D707}$ on $X$. To do so, we present a general construction of an approximating sequence of $\ast$-subalgebras ${\mathcal{A}}_{n}$ which are embeddable into a (possibly infinite) product of matrix algebras over $K$. This enables us to obtain a specific embedding of the whole $\ast$-algebra ${\mathcal{A}}$ into ${\mathcal{M}}_{K}$, the well-known von Neumann continuous factor over $K$, thus obtaining a Sylvester matrix rank function on ${\mathcal{A}}$ by restricting the unique one defined on ${\mathcal{M}}_{K}$. This process gives a way to obtain a Sylvester matrix rank function on ${\mathcal{A}}$, unique with respect to a certain compatibility property concerning the measure $\unicode[STIX]{x1D707}$, namely that the rank of a characteristic function of a clopen subset $U\subseteq X$ must equal the measure of $U$.

The category of Cohen–Macaulay modules of an algebra $B_{k,n}$ is used in Jensen et al. (A categorification of Grassmannian cluster algebras, Proc. Lond. Math. Soc. (3) 113(2) (2016), 185–212) to give an additive categorification of the cluster algebra structure on the homogeneous coordinate ring of the Grassmannian of $k$-planes in $n$-space. In this paper, we find canonical Auslander–Reiten sequences and study the Auslander–Reiten translation periodicity for this category. Furthermore, we give an explicit construction of Cohen–Macaulay modules of arbitrary rank. We then use our results to establish a correspondence between rigid indecomposable modules of rank 2 and real roots of degree 2 for the associated Kac–Moody algebra in the tame cases.

Let R→U be an associative ring epimorphism such that U is a flat left R-module. Assume that the related Gabriel topology $\mathbb{G}$ of right ideals in R has a countable base. Then we show that the left R-module U has projective dimension at most 1. Furthermore, the abelian category of left contramodules over the completion of R at $\mathbb{G}$ fully faithfully embeds into the Geigle–Lenzing right perpendicular subcategory to U in the category of left R-modules, and every object of the latter abelian category is an extension of two objects of the former one. We discuss conditions under which the two abelian categories are equivalent. Given a right linear topology on an associative ring R, we consider the induced topology on every left R-module and, for a perfect Gabriel topology $\mathbb{G}$, compare the completion of a module with an appropriate Ext module. Finally, we characterize the U-strongly flat left R-modules by the two conditions of left positive-degree Ext-orthogonality to all left U-modules and all $\mathbb{G}$-separated $\mathbb{G}$-complete left R-modules.

A ring is called right annelidan if the right annihilator of any subset of the ring is comparable with every other right ideal. In this paper we develop the connections between this class of rings and the classes of right Bézout rings and rings whose right ideals form a distributive lattice. We obtain results on localization of right annelidan rings at prime ideals, chain conditions that entail left-right symmetry of the annelidan condition, and construction of completely prime ideals.