If E is a graph and K is a field, we consider an ideal I of the Leavitt path algebra $L_K(E)$ of E over K. We describe the admissible pair corresponding to the smallest graded ideal which contains I where the grading in question is the natural grading of $L_K(E)$ by ${\mathbb {Z}}$. Using this description, we show that the right and the left annihilators of I are equal (which may be somewhat surprising given that I may not be self-adjoint). In particular, we establish that both annihilators correspond to the same admissible pair and its description produces the characterisation from the title. Then, we turn to the property that the right (equivalently left) annihilator of any ideal is a direct summand and recall that a unital ring with this property is said to be quasi-Baer. We exhibit a condition on E which is equivalent to unital $L_K(E)$ having this property.

For a Galois extension $K/F$ with $\text {char}(K)\neq 2$ and $\mathrm {Gal}(K/F) \simeq \mathbb {Z}/2\mathbb {Z}\oplus \mathbb {Z}/2\mathbb {Z}$ , we determine the $\mathbb {F}_{2}[\mathrm {Gal}(K/F)]$ -module structure of $K^{\times }/K^{\times 2}$ . Although there are an infinite number of (pairwise nonisomorphic) indecomposable $\mathbb {F}_{2}[\mathbb {Z}/2\mathbb {Z}\oplus \mathbb {Z}/2\mathbb {Z}]$ -modules, our decomposition includes at most nine indecomposable types. This paper marks the first time that the Galois module structure of power classes of a field has been fully determined when the modular representation theory allows for an infinite number of indecomposable types.

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.$

A ring $\unicode[STIX]{x1D6EC}$ is called right Köthe if every right $\unicode[STIX]{x1D6EC}$-module is a direct sum of cyclic modules. In this paper, we give a characterization of basic hereditary right Köthe rings in terms of their Coxeter valued quivers. We also give a characterization of basic right Köthe rings with radical square zero. Therefore, we give a solution to Köthe’s problem in these two cases.

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.

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 prime, completely prime, maximal, and primitive spectra are classified for the universal enveloping algebra of the Schrödinger algebra. The explicit generators are given for all of these ideals. A counterexample is constructed to the conjecture of Cheng and Zhang about nonexistence of simple singular Whittaker modules for the Schrödinger algebra (and all such modules are classified). It is proved that the conjecture holds ‘generically’.

For a division ring $D$, denote by ${{\mathcal{M}}_{D}}$ the $D$-ring obtained as the completion of the direct limit $\underset{\to n}{\mathop \lim }\,{{M}_{{{2}^{n}}}}(D)$ with respect to themetric induced by its unique rank function. We prove that, for any ultramatricial $D$-ring $B$ and any non-discrete extremal pseudo-rank function $N$ on $B$, there is an isomorphism of $D$-rings $\overline{B}\,\cong \,{{\mathcal{M}}_{D}}$, where $\overline{B}$ stands for the completion of $B$ with respect to the pseudo-metric induced by $N$. This generalizes a result of von Neumann. We also show a corresponding uniqueness result for $*$-algebras over fields $\text{F}$ with positive definite involution, where the algebra ${{\mathcal{M}}_{\text{F}}}$ is endowed with its natural involution coming from the $*$-transpose involution on each of the factors ${{M}_{{{2}^{n}}}}\,(F)$.

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.

Dedekind domains, Artinian serial rings and right uniserial rings share the following property: Every cyclic right module is a direct sum of uniform modules. We first prove the following improvement of the well-known Osofsky-Smith theorem: A cyclic module with every cyclic subfactor a direct sum of extending modules has finite Goldie dimension. So, rings with the above-mentioned property are precisely rings of the title. Furthermore, a ring R is right q.f.d. (cyclics with finite Goldie dimension) if proper cyclic (≇ RR) right R-modules are direct sums of extending modules. R is right serial with all prime ideals maximal and ∩n ∈ ℕJn = Jm for some m ∈ ℕ if cyclic right R-modules are direct sums of quasi-injective modules. A right non-singular ring with the latter property is right Artinian. Thus, hereditary Artinian serial rings are precisely one-sided non-singular rings whose right and left cyclic modules are direct sums of quasi-injectives.

R is called a right WV-ring if each simple right R-module is injective relative to proper cyclics. If R is a right WV-ring, then R is right uniform or a right V-ring. It is shown that a right WV-ring R is right noetherian if and only if each right cyclic module is a direct sum of a projective module and a CS (complements are summands, a.k.a. ‘extending modules’) or noetherian module. For a finitely generated module M with projective socle over a V-ring R such that every subfactor of M is a direct sum of a projective module and a CS or noetherian module, we show M = X ⊕ T, where X is semisimple and T is noetherian with zero socle. In the case where M = R, we get R = S ⊕ T, where S is a semisimple artinian ring and T is a direct sum of right noetherian simple rings with zero socle. In addition, if R is a von Neumann regular ring, then it is semisimple artinian.

A module M is called poor whenever it is N-injective, then the module N is semisimple. In this paper the properties of poor modules are investigated and are used to characterize various families of rings.

$\text{A}$ ring $R$ is said to be $n$-clean if every element can be written as a sum of an idempotent and $n$ units. The class of these rings contains clean rings and $n$-good rings in which each element is a sum of $n$ units. In this paper, we show that for any ring $R$, the endomorphism ring of a free $R$-module of rank at least 2 is 2-clean and that the ring $B\left( R \right)$ of all $\omega \,\times \,\omega$ row and column-finite matrices over any ring $R$ is 2-clean. Finally, the group ring $R{{C}_{n}}$ is considered where $R$ is a local ring.

Let $H$ be a torsion-free compact $p$-adic analytic group whose Lie algebra is split semisimple. We show that the quotient skewfield of fractions of the Iwasawa algebra $\varLambda_H$ of $H$ has trivial centre and use this result to classify the prime $c$-ideals in the Iwasawa algebra $\varLambda_G$ of $G:=H\times\mathbb{Z}_p$. We also show that a finitely generated torsion $\varLambda_G$-module having no non-zero pseudo-null submodule is completely faithful if and only if it is has no central torsion. This has an application to the study of Selmer groups of elliptic curves.

Using a variation on the concept of a CS module, we describe exactly when a simple ring is isomorphic to a ring of matrices over a Bézout domain. Our techniques are then applied to characterise simple rings which are right and left Goldie, right and left semihereditary.

The aim of this paper is to extend the structure theory for infinitely generated modules over tame hereditary algebras to the more general case of modules over concealed canonical algebras. Using tilting, we may assume that we deal with canonical algebras. The investigation is centered around the generic and the Prüfer modules, and how other modules are determined by these modules.

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 question is addressed of when all pure-projective modules are direct sums of finitely presented modules. It is proved that this is the case over hereditary noetherian rings. Partial results are obtained for uniserial rings. Some of the methods are model-theoretic, and the techniques developed using these may be of interest in their own right.

It is shown that simple rings over which proper cyclic right modules are continuous coincide with simple right PCI-rings, introduced by Faith.

If R is a Dedekind domain, then div splits i.e.; the maximal divisible submodule of every R-module M is a direct summand of M. We investigate the status of this result for some finite-dimensional hereditary algebras. We use a torsion theory which permits the existence of torsion-free divisible modules for such algebras. Using this torsion theory we prove that the algebras obtained from extended Coxeter- Dynkin diagrams are the only such hereditary algebras for which div splits. The field of rational functions plays an essential role. The paper concludes with a new type of infinite-dimensional indecomposable module over a finite-dimensional wild hereditary algebra.