Suppose that R is an associative unital ring and that $E=(E^0,E^1,r,s)$ is a directed graph. Using results from graded ring theory, we show that the associated Leavitt path algebra $L_R(E)$ is simple if and only if R is simple, $E^0$ has no nontrivial hereditary and saturated subset, and every cycle in E has an exit. We also give a complete description of the centre of a simple Leavitt path algebra.

We show that every graded ideal of a Leavitt path algebra is graded isomorphic to a Leavitt path algebra. It is known that a graded ideal I of a Leavitt path algebra is isomorphic to the Leavitt path algebra of a graph, known as the generalised hedgehog graph, which is defined based on certain sets of vertices uniquely determined by I. However, this isomorphism may not be graded. We show that replacing the short ‘spines’ of the generalised hedgehog graph with possibly fewer, but then necessarily longer spines, we obtain a graph (which we call the porcupine graph) whose Leavitt path algebra is graded isomorphic to I. Our proof can be adapted to show that, for every closed gauge-invariant ideal J of a graph $C^*$ -algebra, there is a gauge-invariant $*$ -isomorphism mapping the graph $C^*$ -algebra of the porcupine graph of J onto $J.$

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.

We obtain a complete structural characterization of Cohn–Leavitt algebras over no-exit objects as graded involutive algebras. Corollaries of this result include graph-theoretic conditions characterizing when a Leavitt path algebra is a directed union of (graded) matricial algebras over the underlying field and over the algebra of Laurent polynomials and when the monoid of isomorphism classes of finitely generated projective modules is atomic and cancelative. We introduce the nonunital generalizations of graded analogs of noetherian and artinian rings, graded locally noetherian and graded locally artinian rings, and characterize graded locally noetherian and graded locally artinian Leavitt path algebras without any restriction on the cardinality of the graph. As a consequence, we relax the assumptions of the Abrams–Aranda–Perera–Siles characterization of locally noetherian and locally artinian Leavitt path algebras.

Let $k$ be a field and $\mathbb{V}$ the affine threefold in $\mathbb{A}^4_k$ defined by $x^m y=F(x, z, t)$, $m \ge 2$. In this paper, we show that $\mathbb{V} \cong \mathbb{A}^3_k$ if and only if $f(z, t): = F(0, z, t)$ is a coordinate of $k[z, t]$. In particular, when $k$ is a field of positive characteristic and $f$ defines a non-trivial line in the affine plane $\mathbb{A}^2_k$ (we shall call such a $\mathbb{V}$ as an Asanuma threefold), then $\mathbb{V}\ncong \mathbb{A}^3_k$ although $\mathbb{V} \times \mathbb{A}^1_k \cong \mathbb{A}^4_k$, thereby providing a family of counter-examples to Zariski’s cancellation conjecture for the affine 3-space in positive characteristic. Our main result also proves a special case of the embedding conjecture of Abhyankar–Sathaye in arbitrary characteristic.

A type of generalized higher derivation consisting of a collection of self-mappings of a ring associated with a monoid, and here called a D-structure, is studied. Such structures were previously used to define various kinds of ‘skew’ or ‘twisted’ monoid rings. We show how certain gradings by monoids define D-structures. The monoid ring defined by such a structure corresponding to a group-grading is the variant of the group ring introduced by Năstăsescu, while in the case of a cyclic group of order two, the form of the D-structure itself yields some gradability criteria of Bakhturin and Parmenter. A partial description is obtained of the D-structures associated with infinite cyclic monoids.

A weak form of faithfulness, depending on Green’s equivalence $\mathcal{D}$, is introduced for a ring $R$ graded by a semigroup $S$. Suppose that $R$ satisfies this condition. It is shown that if $e$ and $f$ are $\mathcal{D}$-equivalent idempotents of $S$ and $R_e$ is semiprime (respectively, prime, semiprimitive, right primitive), then $R_f$ is semiprime (respectively, prime, semiprimitive, right primitive). In addition, it is shown that if $G$ and $H$ are maximal subgroups of $S$ lying in the same $\mathcal{D}$-class and $R_G$ is semiprime (respectively, prime, semiprimitive, right primitive), then $R_H$ is semiprime (respectively, prime, semiprimitive, right primitive).

AMS 2000 Mathematics subject classification: Primary 16W50. Secondary 20M25