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

Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object" (Identity of indiscernibles), "everything can possibly exist, unless it yields contradiction" (Possibility…

When $k$ is a field, the classical Jacobian criterion computes the singular locus of an equidimensional, finitely generated $k$-algebra as the closed subset of an ideal generated by appropriate minors of the so-called Jacobian matrix.…

Exploiting particular features of classical groups, simple constructions are given for the irreducible constituents of the tensor square of the adjoint modules and the leading terms in higher tensor powers. This provides an independent…

Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…

For two ideals $I$ and $J$ of a noetherian ring, we characterize, in terms of the vanishing of Tor modules, when the associated graded ring of the sum $I+J$ is isomorphic to the tensor product of the associated graded ring of $I$ and the…

We provide an explicit description of the primitive ideals of the enveloping algebra $\operatorname{U}(\frak{sl}(\infty))$ of the infinite-dimensional finitary Lie algebra $\frak{sl}(\infty)$ over an uncountable algebraically closed field…

Ideals that share properties with the Frattini ideal of a Leibniz algebra are studied. Similar investigations have been considered in group theory. However most of the results are new for Lie algebras. Many of the results involve nilpotency…

In this paper, we classify all Leavitt path algebras which have the property that every Lie ideal is an ideal. As an application, we show that Leavitt path algebras with this property provide a class of locally finite, infinite-dimensional…

We use minimal tilting complexes to construct an explicit bijection between the set of thick tensor ideals with the two-out-of-three property in the category of finite-dimensional modules over a quantum group at a root of unity and the set…

The aim of this paper is to give natural examples of $\mathbf{\Sigma}_1^1$-complete and $\mathbf{\Pi}_1^1$-complete sets. In the first part, we consider ideals on $\omega$. In particular, we show that the Hindman ideal $\mathcal{H}$ is…

Leibniz algebras are non-antisymmetric generalizations of Lie algebras that have attracted substantial interest due to their close relation with the latter class. A Leibniz algebra $A$ is called perfect if it coincides with its derived…

Continuing ideas of a recent preprint of Schwede arXiv:0906.4313 we study test ideals by viewing them as minimal objects in a certain class of $F$-pure modules over algebras of p^{-e}-linear operators. This shift in the viewpoint leads to a…

There are several remarks on Hilbert series of finitely presented (f. p.) associative algebras over a field and their modules. First, given an integer $D$, the set of Hilbert series of right-sided ideals with generators and relations of…

This short note gives a geometric interpretation of the Atiyah class of a Lie pair. It proves that it vanishes if the subalgebroid is the kernel of a fibration of Lie algebroids. In other words, the Atiyah class of a Lie pair vanishes if…

Ideals in BIT speciale varieties are characterized. In particular, it is proved that, for any finitary BIT speciale variety, there is a finite set of ideal terms determining ideals. Several ideal term sets of this kind are given. For the…

In a perfect category every object has a minimal projective resolution. We give a criterion for the category of modules over a categorygraded algebra to be perfect.

Techniques from representation theory, symbolic computational algebra, and numerical algebraic geometry are used to find the minimal generators of the ideal of the trifocal variety. An effective test for determining whether a given tensor…

We study ideals $\mathcal{I}$ on $\mathbb{N}$ satisfying the following Baire-type property: if $X$ is a complete metric space and $\{X_{A} \colon A \in \mathcal{I} \}$ is a family of nowhere dense subsets of $X$ with $X_{A} \subset X_{B}$…

Let $\Gamma$ be a discrete group. To every ideal in $\ell^{\infty}(\G)$ we associate a C$^*$-algebra completion of the group ring that encapsulates the unitary representations with matrix coefficients belonging to the ideal. The general…

In this paper we consider a notion of universal sets for ideals. We show that there exist universal sets of minimal Borel complexity for classic ideals like null subsets of $2^\omega$ and meager subsets of any Polish space, and demonstrate…