Showing 1–15 of 15 results for author: Roitman, M

On the Gleason-Kahane-Żelazko theorem for associative algebras

Authors: Moshe Roitman, Amol Sasane

Abstract: The classical Gleason-Kahane-Żelazko Theorem states that a linear functional on a complex Banach algebra not vanishing on units, and such that $Λ(\mathbf 1)=1$, is multiplicative, that is, $Λ(ab)=Λ(a)Λ(b)$ for all $a,b\in A$. We study the GKŻ property for associative unital algebras, especially for function algebras. In a GKŻ algebra $A$ over a field of at least $3$ elements, and having an ideal o… ▽ More The classical Gleason-Kahane-Żelazko Theorem states that a linear functional on a complex Banach algebra not vanishing on units, and such that $Λ(\mathbf 1)=1$, is multiplicative, that is, $Λ(ab)=Λ(a)Λ(b)$ for all $a,b\in A$. We study the GKŻ property for associative unital algebras, especially for function algebras. In a GKŻ algebra $A$ over a field of at least $3$ elements, and having an ideal of codimension $1$, every element is a finite sum of units. A real or complex algebra with just countably many maximal left (right) ideals, is a GKŻ algebra. If $A$ is a commutative algebra, then the localisation $A_{P}$ is a GKŻ-algebra for every prime ideal $P$ of $A$. Hence the GKŻ property is not a local-global property. The class of GKŻ algebras is closed under homomorphic images. If a function algebra $A\subseteq \mathbb F^{X}$ over a subfield $\mathbb F$ of $\mathbb C$, contains all the bounded functions in $\mathbb F^{X}$, then each element of $A$ is a sum of two units. If $A$ contains also a discrete function, then $A$ is a GKŻ algebra. We prove that the algebra of periodic distributions, and the unitisation of the algebra of distributions with support in $(0,\infty)$ satisfy the GKŻ property, while the algebra of compactly supported distributions does not. △ Less

Submitted 27 March, 2022; originally announced March 2022.

Comments: 20 pages

MSC Class: Primary 46H05; Secondary 46F10; 15A86; 47B49

On strongly primary monoids and domains

Authors: Alfred Geroldinger, Moshe Roitman

Abstract: A commutative integral domain is primary if and only if it is one-dimensional and local. A domain is strongly primary if and only if it is local and each nonzero principal ideal contains a power of the maximal ideal. Hence one-dimensional local Mori domains are strongly primary. We prove among other results, that if $R$ is a domain such that the conductor $(R:\widehat R)$ vanishes, then $Λ(R)$ is… ▽ More A commutative integral domain is primary if and only if it is one-dimensional and local. A domain is strongly primary if and only if it is local and each nonzero principal ideal contains a power of the maximal ideal. Hence one-dimensional local Mori domains are strongly primary. We prove among other results, that if $R$ is a domain such that the conductor $(R:\widehat R)$ vanishes, then $Λ(R)$ is finite, that is, there exists a positive integer $k$ such that each non-zero non-unit of $R$ is a product of at most $k$ irreducible elements. Using this result we obtain that every strongly primary domain is locally tame, and that a domain $R$ is globally tame if and only if $Λ(R)=\infty$. In particular, we answer Problem 38 in {P.-J. Cahen, M.~Fontana, S.~Frisch, and S.~Glaz, Open problems in commutative ring theory, Commutative Algebra, Springer 2014} in the affirmative. Many of our results are formulated for monoids. △ Less

Submitted 10 April, 2020; v1 submitted 27 July, 2018; originally announced July 2018.

Comments: Communications in Algebra, to appear

MSC Class: 13A05; 13F05; 20M13

On finitely stable domains

Authors: Stefania Gabelli, Moshe Roitman

Abstract: We study Archimedean and locally Archimedean stable domains. We prove that a domain is stable and one-dimensional if and only if it is finitely stable and Mori. But we give examples of Archimedean stable local domains that are not one-dimensional. We also prove that a locally Archimedean stable domain satisfies accp and that Archimedean stable semilocal domains are locally Archimedean. But gener… ▽ More We study Archimedean and locally Archimedean stable domains. We prove that a domain is stable and one-dimensional if and only if it is finitely stable and Mori. But we give examples of Archimedean stable local domains that are not one-dimensional. We also prove that a locally Archimedean stable domain satisfies accp and that Archimedean stable semilocal domains are locally Archimedean. But generally, neither Archimedean stable domains, nor Archimedean semilocal domains are necessarily locally Archimedean. △ Less

Submitted 30 June, 2020; v1 submitted 6 March, 2014; originally announced March 2014.

Comments: The new version corresponds to the published version, which is divided into two parts, and contains a simplified proof

MSC Class: 13A15; 13F05; 13G05

Journal ref: J. Commut. Algebra (11) 2019, 49-67 and J. Commut. Algebra (12) 2020, 179-198

The Kaplansky condition and rings of almost stable range 1

Authors: Moshe Roitman

Abstract: We present some variants of the Kaplansky condition for a K-Hermite ring $R$ to be an elementary divisor ring; for example, a commutative K-Hermite ring $R$ is an EDR iff for any elements $x,y,z\in R$ such that $(x,y)=(1)$, there exists an element $λ\in R$ such that $x+λy=uv$, where $(u,z)=(v,1-z)=(1)$. We present an example of a a Bézout domain that is an elementary divisor ring, but it does no… ▽ More We present some variants of the Kaplansky condition for a K-Hermite ring $R$ to be an elementary divisor ring; for example, a commutative K-Hermite ring $R$ is an EDR iff for any elements $x,y,z\in R$ such that $(x,y)=(1)$, there exists an element $λ\in R$ such that $x+λy=uv$, where $(u,z)=(v,1-z)=(1)$. We present an example of a a Bézout domain that is an elementary divisor ring, but it does not have almost stable range 1, thus answering a question of Warren Wm. McGovern. △ Less

Submitted 15 July, 2011; originally announced July 2011.

MSC Class: 13F99

On embedding of Lie conformal algebras into associative conformal algebras

Authors: Michael Roitman

Abstract: We prove that a Lie conformal algebra L with bounded locality function is embeddable into an associative conformal algebra A with the same bound on the locality function. If L is nilpotent, then so is A, and the nilpotency index remains the same. We also give a list of open questions concerning the embedding of Lie conformal algebras into associative conformal. We prove that a Lie conformal algebra L with bounded locality function is embeddable into an associative conformal algebra A with the same bound on the locality function. If L is nilpotent, then so is A, and the nilpotency index remains the same. We also give a list of open questions concerning the embedding of Lie conformal algebras into associative conformal. △ Less

Submitted 4 August, 2004; v1 submitted 28 April, 2004; originally announced April 2004.

MSC Class: 17B69

The content of a Gaussian polynomial is invertible

Authors: K. Alan Loper, Moshe Roitman

Abstract: Let R be an integral domain and let f(X) be a nonzero polynomial in R[X]. The content of f is the ideal c(f) generated by the coefficients of f. The polynomial f(X) is called Gaussian if c(fg)=c(f)c(g) for all g(X) in R[X]. It is well known that if c(f) is an invertible ideal, then f is Gaussian. In this note we prove the converse. Let R be an integral domain and let f(X) be a nonzero polynomial in R[X]. The content of f is the ideal c(f) generated by the coefficients of f. The polynomial f(X) is called Gaussian if c(fg)=c(f)c(g) for all g(X) in R[X]. It is well known that if c(f) is an invertible ideal, then f is Gaussian. In this note we prove the converse. △ Less

Submitted 11 September, 2003; originally announced September 2003.

Comments: 6 pages

MSC Class: 13 B25

Maximal divisorial ideals and t-maximal ideals

Authors: Stefania Gabelli, Moshe Roitman

Abstract: We give conditions for a maximal divisorial ideal to be t-maximal and show with examples that, even in a completely integrally closed domain, maximal divisorial ideals need not be t-maximal. We give conditions for a maximal divisorial ideal to be t-maximal and show with examples that, even in a completely integrally closed domain, maximal divisorial ideals need not be t-maximal. △ Less

Submitted 2 September, 2003; originally announced September 2003.

MSC Class: 13C13; 13G05

Well-centered overrings of an integral domain

Authors: William Heinzer, Moshe Roitman

Abstract: Let A be an integral domain with field of fractions K. We investigate the structure of the overrings B of A (contained in K) that are well-centered on A in the sense that each principal ideal of B is generated by an element of A. We consider the relation of well-centeredness to the properties of flatness, localization and sublocalization for B over A. If B = A[b] is a simple extension of A, we p… ▽ More Let A be an integral domain with field of fractions K. We investigate the structure of the overrings B of A (contained in K) that are well-centered on A in the sense that each principal ideal of B is generated by an element of A. We consider the relation of well-centeredness to the properties of flatness, localization and sublocalization for B over A. If B = A[b] is a simple extension of A, we prove that B is a localization of A if and only if B is flat and well-centered over A. If the integral closure of A is a Krull domain, in particular, if A is Noetherian, we prove that every finitely generated flat well-centered overring of A is a localization of A. We present examples of (non-finitely generated) flat well-centered overrings of a Dedekind domain that are not localizations. △ Less

Submitted 10 May, 2004; v1 submitted 23 June, 2003; originally announced June 2003.

Comments: Example 3.11 was replaced

MSC Class: 13A15; 13B30; 13G05

Journal ref: J. of Algebra 272 (2) (2004), 435-455

Complete integral closure and strongly divisorial prime ideals

Authors: Valentina Barucci, Stefania Gabelli, Moshe Roitman

Abstract: It is well known that a domain without proper strongly divisorial ideals is completely integrally closed. In this paper we show that a domain without {\em prime} strongly divisorial ideals is not necessarily completely integrally closed, although this property holds under some additional assumptions. It is well known that a domain without proper strongly divisorial ideals is completely integrally closed. In this paper we show that a domain without {\em prime} strongly divisorial ideals is not necessarily completely integrally closed, although this property holds under some additional assumptions. △ Less

Submitted 19 February, 2003; originally announced February 2003.

Comments: 18 pages

MSC Class: 13A15; 13G05; 13B22

On Griess Algebras

Authors: Michael Roitman

Abstract: In this paper we prove that for any commutative (but in general non-associative) algebra $A$ with an invariant symmetric non-degenerate bilinear form there is a graded vertex algebra $V = V_0 \oplus V_2 \oplus V_3\oplus ...$, such that $\dim V_0 = 1$ and $V_2$ contains $A$. We can choose $V$ so that if $A$ has a unit $e$, then $2e$ is the Virasoro element of $V$, and if $G$ is a finite group of… ▽ More In this paper we prove that for any commutative (but in general non-associative) algebra $A$ with an invariant symmetric non-degenerate bilinear form there is a graded vertex algebra $V = V_0 \oplus V_2 \oplus V_3\oplus ...$, such that $\dim V_0 = 1$ and $V_2$ contains $A$. We can choose $V$ so that if $A$ has a unit $e$, then $2e$ is the Virasoro element of $V$, and if $G$ is a finite group of automorphisms of $A$, then $G$ acts on $V$ as well. In addition, the algebra $V$ can be chosen with a non-degenerate invariant bilinear form, in which case it is simple. △ Less

Submitted 13 August, 2008; v1 submitted 2 February, 2003; originally announced February 2003.

Comments: This is a contribution to the Special Issue on Kac-Moody Algebras and Applications, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

MSC Class: 17B69

Journal ref: SIGMA 4 (2008), 057, 35 pages

Invariant bilinear forms on a vertex algebra and the radical

Authors: Michael Roitman

Abstract: In this paper we construct a linear space that parameterizes all invariant bilinear forms on a given vertex algebra with values in a arbitrary vector space. Also we prove that every invariant bilinear form on a vertex algebra is symmetric. This is a generalization of the result of H. Li [J. Pure and Appl. Algebra, 96(3):279-297, 1994], who proved this for the case when the vertex algebra is non-… ▽ More In this paper we construct a linear space that parameterizes all invariant bilinear forms on a given vertex algebra with values in a arbitrary vector space. Also we prove that every invariant bilinear form on a vertex algebra is symmetric. This is a generalization of the result of H. Li [J. Pure and Appl. Algebra, 96(3):279-297, 1994], who proved this for the case when the vertex algebra is non-negatively graded and has finite dimensional homogeneous components. As an application, we introduce a notion of a radical of a vertex algebra. We prove that a radical-free vertex algebra A is non-negatively graded, and its component A_0 of degree 0 is a commutative associative algebra, so that all structural maps and operations on A are A_0-linear. We also show that in this case A is simple if and only if A_0 is a field. △ Less

Submitted 23 June, 2003; v1 submitted 28 October, 2002; originally announced October 2002.

MSC Class: 17B69

Combinatorics of free vertex algebras

Authors: Michael Roitman

Abstract: This paper illustrates the combinatorial approach to vertex algebra - study of vertex algebras presented by generators and relations. A necessary ingredient of this method is the notion of free vertex algebra. Borcherds \cite{bor} was the first to note that free vertex algebras do not exist in general. The reason for this is that vertex algebras do not form a variety of algebras, because the loc… ▽ More This paper illustrates the combinatorial approach to vertex algebra - study of vertex algebras presented by generators and relations. A necessary ingredient of this method is the notion of free vertex algebra. Borcherds \cite{bor} was the first to note that free vertex algebras do not exist in general. The reason for this is that vertex algebras do not form a variety of algebras, because the locality axiom (see sec 2 below) is not an identity. However, a certain subcategory of vertex algebras, obtained by restricting the order of locality of generators, has a universal object, which we call the free vertex algebra corresponding to the given locality bound. In [J. of Algebra, 217(2):496-527] some free vertex algebras were constructed and in certain special cases their linear bases were found. In this paper we generalize this construction and find linear bases of an arbitrary free vertex algebra. It turns out that free vertex algebras are closely related to the vertex algebras corresponding to integer lattices. The latter algebras play a very important role in different areas of mathematics and physics. Here we explore the relation between free vertex algebras and lattice vertex algebras in much detail. These results comply with the use of the word "free" in physical literature refering to some elements of lattice vertex algebras, like in "free field", "free bozon" or "free fermion". Among other things, we find a nice presentation of lattice vertex algebras in terms of generators and relations, thus giving an alternative construction of these algebras without using vertex operators. We remark that our construction works in a very general setting; we do not assume the lattice to be positive definite, neither non-degenerate, nor of a finite rank. △ Less

Submitted 7 June, 2001; v1 submitted 26 March, 2001; originally announced March 2001.

MSC Class: 17B69 (primary); 08B20; 16S15 (secondary)

On twisted representations of vertex algebras

Authors: Michael Roitman

Abstract: In this paper we develop a formalism for working with twisted realizations of vertex and conformal algebras. As an example, we study realizations of conformal algebras by twisted formal power series. The main application of our technique is the construction of a very large family of representations for the vertex superalgebra $\goth V_Λ$ corresponding to an integer lattice $Λ$. For an automorphi… ▽ More In this paper we develop a formalism for working with twisted realizations of vertex and conformal algebras. As an example, we study realizations of conformal algebras by twisted formal power series. The main application of our technique is the construction of a very large family of representations for the vertex superalgebra $\goth V_Λ$ corresponding to an integer lattice $Λ$. For an automorphism $\^σ:\goth V_Λ\to\goth V_Λ$ coming from a finite order automorphism $σ:Λ\to Λ$ we define a category $\cal O_{\^σ}$ of twisted representations of $\goth V_Λ$ and show that this category is semisimple with finitely many isomorphism classes of simple objects. △ Less

Submitted 4 March, 2002; v1 submitted 18 December, 2000; originally announced December 2000.

Comments: Some corrections and additions

MSC Class: 17b69

Conformal subalgebras of lattice vertex algebras

Authors: Michael Roitman

Abstract: In this paper we classify, under certain restrictions, all homogeneous conformal subalgebras $\goth L$ of a lattice vertex superalgebra $V_Λ$ corresponding to an integer lattice $Λ$. We require that $\goth L$ is graded by an almost finite root system $Δ\subset Λ$ and that $\goth L$ is stable under the action of the Heisenberg conformal algebra $\goth H\subset V_Λ$. We also describe the root syst… ▽ More In this paper we classify, under certain restrictions, all homogeneous conformal subalgebras $\goth L$ of a lattice vertex superalgebra $V_Λ$ corresponding to an integer lattice $Λ$. We require that $\goth L$ is graded by an almost finite root system $Δ\subset Λ$ and that $\goth L$ is stable under the action of the Heisenberg conformal algebra $\goth H\subset V_Λ$. We also describe the root systems of these subalgebras. The key ingredient of this classification is an infinite type conformal algebra $\goth K$ obtained by the Tits-Kantor-Koeher construction from a certain Jordan conformal triple system $\goth J$. We realize a central extension $\^{\goth K}$ of $\goth K$ inside the fermionic vertex superalgebra $V_\Z$, thus extending the bozon-fermion correspondence. △ Less

Submitted 28 November, 2000; originally announced November 2000.

MSC Class: 17b69

On free conformal and vertex algebras

Authors: Michael Roitman

Abstract: Any variety of classical algebras has a so-called conformal counterpart. For example one can consider Lie conformal or associative conformal algebras. Lie conformal algebras are closely related to vertex algebras. We define free objects in the categories of conformal and vertex algebras. In some cases we can explicitly build their Groebner bases. Any variety of classical algebras has a so-called conformal counterpart. For example one can consider Lie conformal or associative conformal algebras. Lie conformal algebras are closely related to vertex algebras. We define free objects in the categories of conformal and vertex algebras. In some cases we can explicitly build their Groebner bases. △ Less

Submitted 9 September, 1998; originally announced September 1998.

Comments: AMS-LaTeX, 19 pages. To process, run "latex freecv.tex"

MSC Class: 16S10; 17B69; 17B01