Principal Primitive Ideals in Quadratic Orders and Pell’s Equations

In this paper, we introduce a method of determining whether the primitive ideal is principal in a real quadratic order, depending on the solvability of Pell’s equation.

Affinoid Dixmier Modules and the Deformed Dixmier-Moeglin Equivalence

The affinoid enveloping algebra $\widehat {U({\mathscr{L}})}_{K}$ U ( L ) ̂ K of a free, finitely generated $\mathbb {Z}_{p}$ ℤ p -Lie algebra ${\mathscr{L}}$ L has proven to be useful within the representation theory of compact p-adic Lie groups, and we aim to further understand its algebraic structure. To this end, we define the notion of a Dixmier module over $\widehat {U({\mathscr{L}})}_{K}$ U ( L ) ̂ K , a generalisation of the Verma module, and we prove that when ${\mathscr{L}}$ L is nilpotent, all primitive ideals of $\widehat {U({\mathscr{L}})}_{K}$ U ( L ) ̂ K can be described in terms of annihilator ideals of Dixmier modules. Using this, we take steps towards proving that this algebra satisfies a version of the classical Dixmier-Moeglin equivalence.

n-Homogeneous C*-algebras

The classical results by J. Fell, J. Tomiyama, M. Takesaki describe n-homogeneous С*-algebras as algebras of all continuous sections for an appropriate algebraic bundle. By using this realization, several authors described the set of n-homogeneous С*-algebras with different spaces of primitive ideals. In 1974 F. Krauss and T. Lawson described the set of all n-homogeneous С*-algebras whose space Prim of primitive ideals is homeomorphic to the sphere S2. Suppose the space PrimA of primitive ideals is homeomorphic to the sphere S3 for some n-homogeneous С*-algebra A. In this case, these authors showed that the algebra A is isomorphic to the algebra C(S3,Cn×n). If n ≥ 2 then there are countably many pairwise non-isomorphic n-homogeneous С*-algebras A such that PrimA ≅ S 4. Further, let n ≥ 3. There is only one n-homogeneous С*-algebra A such that PrimA ≅ S 5. There are two non-isomorphic 2-homogeneous С*-algebras A and B with space PrimA ≅ S 5. On the other hand, algebraic bundles over the torus T 2 are described by a residue class [p] in Z/nZ = π1(PUn). Two such bundles with classes [pi] produce isomorphic С*-algebras if and only if [p1] = ±[p2]. An algebraic bundle over the torus T 3 is determined by three residue classes in Z/nZ. Anatolii Antonevich and Nahum Krupnik introduced some structures on the set of algebraic bundles over the sphere S2. Algebraic bundles over the compact connected two-dimensional oriented manifolds were considered by the author. In this case, the set of non-equivalent algebraic bundles over such space is like the set of algebraic bundles over the torus T2. Further advances could be in describing the set of algebraic bundles over the 3-dimensional manifolds.

Ideals of Finite-Dimensional Pointed Hopf Algebras of Rank One

Let [Formula: see text] be a finite-dimensional pointed Hopf algebra of rank one over an algebraically closed field of characteristic zero. In this paper we show that any finite-dimensional indecomposable [Formula: see text]-module is generated by one element. In particular, any indecomposable submodule of [Formula: see text] under the adjoint action is generated by a special element of [Formula: see text]. Using this result, we show that the Hopf algebra [Formula: see text] is a principal ideal ring, i.e., any two-sided ideal of [Formula: see text] is generated by one element. As an application, we give explicitly the generators of ideals, primitive ideals, maximal ideals and completely prime ideals of the Taft algebras.

On the primitive ideals of nest algebras

We show that Ringrose's diagonal ideals are primitive ideals in a nest algebra (subject to the continuum hypothesis). This answers an old question of Lance and provides for the first time concrete descriptions of enough primitive ideals to obtain the Jacobson radical as their intersection. Separately, we provide a standard form for all left ideals of a nest algebra, which leads to insights into the maximal left ideals. In the case of atomic nest algebras, we show how primitive ideals can be categorized by their behaviour on the diagonal and provide concrete examples of all types.

The ideal structures of self-similar -graph C*-algebras

Let $(G,\unicode[STIX]{x1D6EC})$ be a self-similar $k$ -graph with a possibly infinite vertex set $\unicode[STIX]{x1D6EC}^{0}$ . We associate a universal C*-algebra ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$ to $(G,\unicode[STIX]{x1D6EC})$ . The main purpose of this paper is to investigate the ideal structures of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$ . We prove that there exists a one-to-one correspondence between the set of all $G$ -hereditary and $G$ -saturated subsets of $\unicode[STIX]{x1D6EC}^{0}$ and the set of all gauge-invariant and diagonal-invariant ideals of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$ . Under some conditions, we characterize all primitive ideals of ${\mathcal{O}}_{G,\unicode[STIX]{x1D6EC}}$ . Moreover, we describe the Jacobson topology of some concrete examples, which includes the C*-algebra of the product of odometers. On the way to our main results, we study self-similar $P$ -graph C*-algebras in depth.