Related papers: The Uniqueness of the Joseph Ideal for the Classic…

We show that a tensor product of irreducible, finite dimensional representations of a simple Lie algebra over a field of characteristic zero, determines the individual constituents uniquely. This is analogous to the uniqueness of prime…

A basic finite dimensional algebra over an algebraically closed field $k$ is isomorphic to a quotient of a tensor algebra by an admissible ideal. The category of left modules over the algebra is isomorphic to the category of representations…

Throughout our work on the L\^e cycles of an affine hypersurface singularity, our primary algebraic tool consisted of a method for taking the Jacobian ideal of a complex analytic function and decomposing it into pure-dimensional "pieces".…

Let G be a nilpotent p-valuable (compact p-adic Lie) group. There is an ongoing investigation into the prime ideals of its completed group algebra (Iwasawa algebra), and there remains an open conjecture that they can all be proved to have a…

A classification up to automorphism of the inner ideals of the real finite-dimensional simple Lie algebras is given, jointly with precise descriptions in the case of the exceptional Lie algebras.

Ideals are used to define homological functors for additive categories. In abelian categories the ideals corresponding to the usual universal objects are principal, and the construction reduces, in a choice dependent way, to homology…

We develop a new approach to non-Hausdorff \'etale groupoids and their algebras based on Timmermann's construction of Hausdorff covers. As an application, we completely characterise when singular ideals vanish in Steinberg algebras over…

We prove the Effros-Hahn conjecture for groupoid algebras with coefficients in a sheaf, obtaining as a consequence a description of the ideals in skew inverse semigroup rings. We also use the description of the ideals to characterize when…

The aim of this paper is to give a classification of real and strongly real unipotent elements in a classical simple Lie group. To do this, we will introduce an infinitesimal version of the notion of classical reality in a Lie group. This…

In this article, we introduce the concepts of excision and idealization for a multiplicative Lie algebra (also for a Lie algebra), which provides two new multiplicative Lie algebras (or Lie algebras) from a given multiplicative Lie algebra…

In the monograph arXiv:2108.03453, we define the notion of a unipotent representation of a complex reductive group. The representations we define include, as a proper subset, all special unipotent representations in the sense of…

Normal ideals on regular uncountable cardinals are familiar objects. We investigate ideals that are pleasant--while a normal ideal is closed under arbitrary diagonal unions, a pleasant ideal is closed only under diagonal unions indexed by…

Let g be a complex simple Lie algebra and b a fixed Borel subalgebra of g. We shall describe the abelian ideals of b in a uniform way, that is, independent of the classification of complex simple Lie algebras.

The problem of computing the dimension of a left/right ideal in a group algebra F[G] of a finite group G over a field F is considered. The ideal dimension is related to the rank of a matrix originating from a regular left/right…

Let $(R, \mathfrak m)$ be a one dimensional local Cohen-Macaulay ring. An $\mathfrak m$-primary ideal $I$ of $R$ is Elias if the types of $I$ and of $R/I$ are equal. Canonical and principal ideals are Elias, and Elias ideals are closed…

The uniformity of the decomposition law, for a family F of Lie algebras which includes the exceptional Lie algebras, of the tensor powers ad^n of their adjoint representations ad is now well-known. This paper uses it to embark on the…

This paper describes a formal theory of smooth vector fields, Lie groups and the Lie algebra of a Lie group in the theorem prover Isabelle. Lie groups are abstract structures that are composable, invertible and differentiable. They are…

A notion of arithmetic similarity between number fields is defined by requiring equality of some arithmetic statistics over all but finitely many rational primes. The exceptional set is empty in all previously studied cases, but existing…

We consider the ideal structure of Steinberg algebras over a commutative ring with identity. We focus on Hausdorff groupoids that are strongly effective in the sense that their reductions to closed subspaces of their unit spaces are all…

A chopped ideal is obtained from a homogeneous ideal by considering only the generators of a fixed degree. We investigate cases in which the chopped ideal defines the same finite set of points as the original one-dimensional ideal. The…