We prove a structure theorem for triangulated Calabi–Yau categories: an algebraic 2-Calabi–Yau triangulated category over an algebraically closed field is a cluster category if and only if it contains a cluster-tilting subcategory whose quiver has no oriented cycles. We prove a similar characterization for higher cluster categories. As an application to commutative algebra, we show that the stable category of maximal Cohen–Macaulay modules over a certain isolated singularity of dimension 3 is a cluster category. This implies the classification of the rigid Cohen–Macaulay modules first obtained by Iyama and Yoshino. As an application to the combinatorics of quiver mutation, we prove the non-acyclicity of the quivers of endomorphism algebras of cluster-tilting objects in the stable categories of representation-infinite preprojective algebras. No direct combinatorial proof is known as yet. In the appendix, Michel Van den Bergh gives an alternative proof of the main theorem by appealing to the universal property of the triangulated orbit category.

Let Aq=k〈x,y〉/(x2,xy+qyx,y2) be the quantum exterior algebra over a field k with , and let Λq be the ℤ2×ℤ2-Galois covering of Aq. In this paper the minimal projective bimodule resolution of Λq is constructed explicitly, and from it we can calculate the k-dimensions of all Hochschild homology and cohomology groups of Λq. Moreover, the cyclic homology of Λq can be calculated in the case where the underlying field is of characteristic zero.

Let ρ be a supernilpotent radical. Let ρ* be the class of all rings A such that either A is a simple ring in ρ or the factor ring A/I is in ρ for every nonzero ideal I of A and every minimal ideal M of A is in ρ. Let be the lower radical determined by ρ* and let ρφ denote the upper radical determined by the class of all subdirectly irreducible rings with ρ-semisimple hearts. Le Roux and Heyman proved that is a supernilpotent radical with and they asked whether if ρ is replaced by β, ℒ , 𝒩or 𝒥 , where β, ℒ , 𝒩and 𝒥denote the Baer, the Levitzki, the Koethe and the Jacobson radical, respectively. In the present paper we will give a negative answer to this question by showing that if ρ is a supernilpotent radical whose semisimple class contains a nonzero nonsimple * -ring without minimal ideals, then is a nonspecial radical and consequently . We recall that a prime ring A is a * -ring if A/I is in β for every .

We prove that, given a smooth projective curve C of genus g≥2, the forgetful morphism (respectively ) from the moduli space of orthogonal (respectively symplectic) bundles to the moduli space of all vector bundles over C is an embedding. Our proof relies on an explicit description of a set of generators for the polynomial invariants on the representation space of a quiver under the action of a product of classical groups.

We define a subgraph of the zero divisor graph of a ring, associated to the ring idempotents. We study its properties and prove that for large classes of rings the connectedness of the graph is equivalent to the indecomposability of the ring and in those cases we also calculate the graph’s diameter.

We use twisted sheaves and their moduli spaces to study the Brauer group of a scheme. In particular, we (1) show how twisted methods can be efficiently used to re-prove the basic facts about the Brauer group and cohomological Brauer group (including Gabber’s theorem that they coincide for a separated union of two affine schemes), (2) give a new proof of de Jong’s period-index theorem for surfaces over algebraically closed fields, and (3) prove an analogous result for surfaces over finite fields. We also include a reduction of all period-index problems for Brauer groups of function fields over algebraically closed fields to characteristic zero, which (among other things) extends de Jong’s result to include classes of period divisible by the characteristic of the base field. Finally, we use the theory developed here to give counterexamples to a standard type of local-to-global conjecture for geometrically rational varieties over the function field of the projective plane.

In this paper, using pseudo path algebras, we generalize Gabriel's Theorem on elementary algebras to left Artinian algebras over a field k when the quotient algebra can be lifted by a radical. Our particular interest is when the dimension of the quotient algebra determined by the nth Hochschild cohomology is less than 2 (for example, when k is finite or char k = 0). Using generalized path algebras, a generalization of Gabriel's Theorem is given for finite dimensional algebras with 2-nilpotent radicals which is splitting over its radical. As a tool, the so-called pseudo path algebra is introduced as a new generalization of path algebras, whose quotient by ken is a generalized path algebra (see Fact 2.6).

The main result is that

(i) for a left Artinian k–algebra A and r = r(A) the radical of A. if the quotient algebra A/r can be lifted then A ≅ PSEk (Δ, , ρ) with Js ⊂ (ρ) ⊂ J for some s (Theorem 3.2);

(ii) If A is a finite dimensional k–algebra with 2-nilpotent radical and the quotient by radical can be lifted, then A ≅ k(Δ, , ρ) with 2 ⊂ (ρ) ⊂ 2 + ∩ ker (Theorem 4.2),

where Δ is the quiver of A and ρ is a set of relations.

For all the cases we discuss in this paper, we prove the uniqueness of such quivers Δ and the generalized path algebras/pseudo path algebras satisfying the isomorphisms when the ideals generated by the relations are admissible (see Theorem 3.5 and 4.4).

We give counterexamples to Okounkov’s log-concavity conjecture for Littlewood–Richardson coefficients.

A ring R is said to be a Baer (respectively, quasi-Baer) ring if the left annihilator of any nonempty subset (respectively, any ideal) of R is generated by an idempotent. It is first proved that for a ring R and a group G, if a group ring RG is (quasi-) Baer then so is R; if in addition G is finite then |G|–1 € R. Counter examples are then given to answer Hirano's question which asks whether the group ring RG is (quasi-) Baer if R is (quasi-) Baer and G is a finite group with |G|–1 € R. Further, efforts have been made towards answering the question of when the group ring RG of a finite group G is (quasi-) Baer, and various (quasi-) Baer group rings are identified. For the case where G is a group acting on R as automorphisms, some sufficient conditions are given for the fixed ring RG to be Baer.

Let R be a ring. A right R-module C is called a cotorsion module if Ext1R (F, C) = 0 for any flat right R-module F. In this paper, we first characterize those rings satisfying the condition that every cotorsion right (left) module is injective with respect to a certain class of right (left) ideals. Then we study relative pure-injective modules and their relations with cotorsion modules.

It is shown that the complex semigroup algebra of a free monoid of rank at least two is *-primitive, where * denotes the involution on the algebra induced by word-reversal on the monoid.

A module M is said to satisfy the condition (℘*) if M is a direct sum of a projective module and a quasi-continuous module. In an earlier paper, we described the structure of rings over which every (countably generated) right module satisfies (℘*), and it was shown that such a ring is right artinian. In this note some additional properties of these rings are obtained. Among other results, we show that a ring over which all right modules satisfy (℘*) is also left artinian, but the property (℘*) is not left-right symmetric.

In this article, a Blackburn group refers to a finite non-Dedekind group for which the intersection of all nonnormal subgroups is not the trivial subgroup. By completing the arguments of M. Hertweck, we show that all conjugacy class preserving automorphisms of Blackburn groups are inner automorphisms.

Let F be a field of characteristic p and G a group containing at least one element of order p. It is proved that the group of units of the group algebra FG is a bounded Engel group if and only if FG is a bounded Engel algebra, and that this is the case if and only if G is nilpotent and has a normal subgroup H such that both the factor group G/H and the commutator subgroup H′ are finite p–groups.

A semiprime segment of a ring R is a pair P2 ⊂ P1 of semiprime ideals of R such that ∩ In ⊆ P2 for all ideals I of R with P2 ⊂ I ⊂ P1. In this paper semiprime segments with P1 a comparizer ideal are classified as either simple, exceptional, or archimedean, extending to several classes of rings a classification known for right chain rings. These three types of semiprime segments are also characterized in terms of the pseudo-radical.

Results are formulated about the image and the kernel of the kth iterate fk of a function f : A → A. In this way, an extremely general version of Fitting's classical lemma is obtained. Two applications are presented: the first is a characterization of strongly π-regular rings, while the second is a “lattice theoretical Fitting lemma”.

In this paper certain injectivity conditions in terms of extensions of monomorphisms are considered. In particular, it is proved that a ring R is a quasi-Frobenius ring if and only if every monomorphism from any essential right ideal of R into R(N)R can be extended to RR. Also, known results on pseudo-injective modules are extended. Dinh raised the question if a pseudo-injective CS module is quasi-injective. The following results are obtained: M is quasi-injective if and only if M is pseudo-injective and M2 is CS. Furthermore, if M is a direct sum of uniform modules, then M is quasi-injective if and only if M is pseudo-injective. As a consequence of this it is shown that over a right Noetherian ring R, quasi-injective modules are precisely pseudo-injective CS modules.

The two-sided ideals of group near-rings are characterized and studied. Various examples are presented to illustrate the interplay between ideals in the base near-ring R and the corresponding group near-ring R[G]. Some results concerning the Jacobson radicals of R[G] are also discussed.

Let p be a prime, a field of pn elements, and G a finite p-group. It is shown here that if G has a quotient whose commutator subgroup is of order p and whose centre has index pk, then the group of normalized units in the group algebra has a conjugacy class of pnk elements. This was first proved by A. Bovdi and C. Polcino Milies for the case k = 2; their argument is now generalized and simplified. It remains an intriguing question whether the cardinality of the smallest noncentral conjugacy class can always be recognized from this test.

It is shown that the following conditions on a finite-dimensional algebra A over a real closed field or an algebraically closed field of characteristic zero are equivalent: (i) A admits a special involution, in the sense of Easdown and Munn, (ii) A admits a proper involution, (iii) A is semisimple.