Related papers: Idealizers in the Second Weyl Algebra
Let $ V $ a vector space of dimension $n$. A family $ \{H_1, \ldots, H_p \} $ of vectorial hyperplans $V$ defines an arrangement $ {\cal A} $ of $ V $. For $ i \in \{ 1, \ldots, p \} $, let $ l_i $ be a linear form on $V$ with $H_i$ as…
We prove automatic continuity theorems for "decomposable" or "local" linear transformations between certain natural subspaces of operator algebras. The transformations involved are not algebra homomorphisms but often are module…
In this paper we investigate a family of algebras endowed with a suitable non-degenerate bilinear form that can be used to define two different notions of dual for a given right ideal. We apply our results to the classification of the right…
The elements of a finite partial order $P$ can be identified with the maximal indecomposable two-sided ideals of its incidence algebra $\A$, and then for two such ideals, $I\prec J \iff IJ \not=0$. This offers one way to recover a poset…
The ideal I generated by the 2x2 quantum minors in the algebra A = O_q(M_{m,n}(k)) (the quantized coordinate algebra of mxn matrices) is investigated. Analogues of the First and Second Fundamental Theorems of Invariant Theory are proved. In…
Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a "Prime Ideal Principle" that gives a uniform method of proving such facts, generalizing the…
The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a…
Let $k$ be an algebraically closed field of characteristic 0 and let $A$ be a finitely generated $k$-algebra that is a domain whose Gelfand-Kirillov dimension is in $[2,3)$. We show that if $A$ has a nonzero locally nilpotent derivation…
In this paper, we introduce near perfect ideals and upper bounded ideals, and study them as well as perfect ideals for finite dimensional Lie algebras. We show that the largest perfect ideal and the largest near perfect ideal of a finite…
Let I be an ideal of height two in R=k[x_0,x_1] generated by forms of the same degree, and let K be the ideal of defining equations of the Rees algebra of I. Suppose that the second largest column degree in the syzygy matrix of I is e. We…
For a metabelian p-group G = <x,y> with two generators x and y, the annihilator A < Z[X,Y] of the main commutator [y,x] of G, as an ideal of bivariate polynomials with integer coefficients, is determined by means of a presentation for G.…
The $2$-adic ring $C^*$-algebra $\mathcal{Q}_2$ naturally contains a copy of the Cuntz algebra $\mathcal{O}_2$ and, a fortiori, also of its diagonal subalgebra $\mathcal{D}_2$ with Cantor spectrum. This paper is aimed at studying the group…
Consider the Plancherel decomposition of the tensor product of a highest weight and a lowest weight unitary representations of $SL_2$. We construct explicitly the action of the Lie algebra $sl_2 + sl_2$ in the direct integral of Hilbert…
A square-free monomial ideal $I$ is called an {\it $f$-ideal}, if both $\delta_{\mathcal{F}}(I)$ and $\delta_{\mathcal{N}}(I)$ have the same $f$-vector, where $\delta_{\mathcal{F}}(I)$ ($\delta_{\mathcal{N}}(I)$, respectively) is the facet…
Let F denote either the real or complex field. An ideal I in the free *-algebra F<x,x*> in g freely noncommuting variables and their formal adjoints is a *-ideal if I = I*. When a real *-ideal has finite codimension, it satisfies a strong…
Let $ V $ a vector space of dimension $n$. A $V$ family $ \{H_1, \ldots, H_p \} $ of vectorial hyperplanes being distinct two by two defines an arrangement $ {\cal A}_p = {\cal A} ( H_1, \ldots ,H_p ) $ of $ V $. For $ i \in \{ 1, \ldots, p…
Let $k$ be a field. We determine the ideals $I$ in a finitely generated graded $k$-algebra $A$, whose associated graded rings are isomorphic to $A$. Also we compute the graded local cohomologies of the Rees rings $A[I t]$ and give the…
When $R$ is a Noetherian ring and we have a family of ideals in which every ideal contains at least one nonzero divisor, then it is already known that the defining ideal of the multi-Rees algebra of these ideals is equal to a saturated…
Ideals in Leavitt path algebras have been shown to share many properties with those of integral domains. Since studying factorizations of ideals in integral domains into special types of ideals (particularly, prime, prime-power, primary,…
From a certain induced representation $\mathcal{P}_\ell$ of a double affine Weyl group, we construct a ring $\mathcal{F}_\ell$ that is isomorphic to the fusion ring, or Verlinde algebra, associated to affine Lie algebras at fixed positive…