Showing 1–50 of 77 results for author: Rowen, L

The spectrum of prime congruences of a pair

Authors: Louis H. Rowen

Abstract: Continuing the study of the structure of semirings, we turn to the spectrum of prime congruences. Joo and Mincheva developed an elegant theory in the special case of idempotent semirings, which is generalized here to ``semiring pairs,'' which include supertropical semirings and various classes of hyperrings. Our main result is that the Joo-Mincheva spectrum can be embedded into the prime spectrum… ▽ More Continuing the study of the structure of semirings, we turn to the spectrum of prime congruences. Joo and Mincheva developed an elegant theory in the special case of idempotent semirings, which is generalized here to ``semiring pairs,'' which include supertropical semirings and various classes of hyperrings. Our main result is that the Joo-Mincheva spectrum can be embedded into the prime spectrum of a semiring pair, and the mapping is onto when the pair satisfies a mild restriction which we call ``positive $e$-type.'' △ Less

Submitted 3 June, 2025; v1 submitted 24 December, 2024; originally announced December 2024.

Comments: 13 pages; a new theorem is added to embed the Joo-Mincheva spectrum into the prime spectrum of an arbitrary pair

MSC Class: Primary 08A30; 16Y60; Secondary 08A05; 15A80; 14T10

Tensor products of bimodules over monoids

Authors: Louis H. Rowen

Abstract: We modify the well-known tensor product of modules over a semiring, in order to treat modules over hyperrings, and, more generally, for bimodules (and bimagmas) over monoids. The tensor product of residue hypermodules is functorial. Special attention is paid to different kinds of morphisms and the work of Nakamura and Reyes. We modify the well-known tensor product of modules over a semiring, in order to treat modules over hyperrings, and, more generally, for bimodules (and bimagmas) over monoids. The tensor product of residue hypermodules is functorial. Special attention is paid to different kinds of morphisms and the work of Nakamura and Reyes. △ Less

Submitted 23 October, 2024; v1 submitted 1 October, 2024; originally announced October 2024.

Comments: 20 pages More information about the residue hypermodules is included in this version

MSC Class: 15A69

Weakly primitive axial algebras

Authors: Louis Halle Rowen, Yoav Segev

Abstract: In earlier work we studied the structure of primitive axial algebras of Jordan type (PAJ's), not necessarily commutative, in terms of their primitive axes. In this paper we weaken primitivity and permit several pairs of (left and right) eigenvalues satisfying a more general fusion rule, bringing in interesting new examples such as the band semigroup algebras and other commutative and noncommutativ… ▽ More In earlier work we studied the structure of primitive axial algebras of Jordan type (PAJ's), not necessarily commutative, in terms of their primitive axes. In this paper we weaken primitivity and permit several pairs of (left and right) eigenvalues satisfying a more general fusion rule, bringing in interesting new examples such as the band semigroup algebras and other commutative and noncommutative examples. Also we broaden our investigation and describe 2-generated algebras in which only one of the generating axes is weakly primitive and satisfies the fusion rules, on condition that its zero-eigenspace is one dimensional. We also characterize when both axes satisfy the fusion rules (weak PAJ's), and describe precisely the 2-dimensional axial algebras. In contrast to the previous situation, there are weak PAJ's of dimension~$> 3$ generated by two axes. △ Less

Submitted 12 September, 2024; v1 submitted 16 August, 2024; originally announced August 2024.

Comments: 61 pages. Some typos were corrected

MSC Class: 17C27

Residue Structures

Authors: Louis H. Rowen

Abstract: We consider residue structures $R/G$ where $(G,+)$ is an additive subgroup of a ring $(R,+,\cdot)$, not necessarily an ideal. Special instances include Krasner's construction of quotient hyperfields, and Pumpluen's construction of nonassociative algebras. The residue construction, treated formally, satisfies the Noether isomorphism theorems, and also is cast in a broader categorical setting which… ▽ More We consider residue structures $R/G$ where $(G,+)$ is an additive subgroup of a ring $(R,+,\cdot)$, not necessarily an ideal. Special instances include Krasner's construction of quotient hyperfields, and Pumpluen's construction of nonassociative algebras. The residue construction, treated formally, satisfies the Noether isomorphism theorems, and also is cast in a broader categorical setting which includes categorical products, sums, and tensor products. △ Less

Submitted 17 March, 2024; v1 submitted 14 March, 2024; originally announced March 2024.

Comments: 15 pages

MSC Class: Primary 16Y20; 16Y60; 16W99; Secondary 14T10; 20N20

Linear algebra over T-pairs

Authors: Marianne Akian, Stephane Gaubert, Louis Rowen

Abstract: This paper treats linear algebra over a (not necessarily distributive) semiring pair, with a range of applications to tropical algebra as well as related areas such as hyperrings and fuzzy rings. First we present pairs with their morphisms, called ``weak morphisms;'' we generalize earlier results about triples to pairs in the first three sections. We pay special attention to supertropical pairs, h… ▽ More This paper treats linear algebra over a (not necessarily distributive) semiring pair, with a range of applications to tropical algebra as well as related areas such as hyperrings and fuzzy rings. First we present pairs with their morphisms, called ``weak morphisms;'' we generalize earlier results about triples to pairs in the first three sections. We pay special attention to supertropical pairs, hyperpairs, and the doubling functor. Then we turn to matrices and the question of whether the row rank, column rank, and submatrix rank of a matrix are equal. The submatrix rank is less than or equal to the row rank and the column rank in many cases, including ``metatangible pairs'' with unique negation, but there is a counterexample to equality, discovered some time ago by the second author, which we provide in a more general setting (``pairs of the second kind'') that includes the hyperfield of signs. We do find situations when equality holds, encompassing results by Akian, Gaubert, Guterman, Izhakian, Knebusch, and Rowen, including versions of Cramer's rule. We pay special attention to the question of Baker and Zhang whether $n+1$ vectors of length $n$ need be dependent. At the conclusion of the main part, we consider surpassing relations, which permit us to tighten our results. The categorical setting is given in the appendix. △ Less

Submitted 12 March, 2025; v1 submitted 8 October, 2023; originally announced October 2023.

Comments: Revision of the first version, 47 pp

MSC Class: 06F20; 14T10; 15A15; 15A24; 15A80; 16Y60

Lie pairs

Authors: Letterio Gatto, Louis Rowen

Abstract: Extending the theory of systems, we introduce a theory of Lie semialgebra ``pairs'' which parallels the classical theory of Lie algebras, but with a ``null set'' replacing $0$. A selection of examples is given. These Lie pairs comprise two categories in addition to the universal algebraic definition, one with ``weak Lie morphisms'' preserving null sums, and the other with ``$\preceq$-morphisms'' p… ▽ More Extending the theory of systems, we introduce a theory of Lie semialgebra ``pairs'' which parallels the classical theory of Lie algebras, but with a ``null set'' replacing $0$. A selection of examples is given. These Lie pairs comprise two categories in addition to the universal algebraic definition, one with ``weak Lie morphisms'' preserving null sums, and the other with ``$\preceq$-morphisms'' preserving a surpassing relation $\preceq$ that replaces equality. We provide versions of the PBW (Poincare-Birkhoff-Witt) Theorem in these three categories. △ Less

Submitted 27 December, 2023; v1 submitted 7 September, 2023; originally announced September 2023.

Comments: 40 pages

MSC Class: 17B99

Journal ref: Communications in Mathematics, Volume 32 (2024), Issue 2 (Special issue: CIMPA schools "Nonassociative Algebras and related topics, Brazil'2023" and "Current Trends in Algebra, Philippines'2024") (January 3, 2024) cm:12413

Primitive 4-generated axial algebras of Jordan type

Authors: Tom De Medts, Louis Rowen, Yoav Segev

Abstract: We show that primitive 4-generated axial algebras of Jordan type are at most 81-dimensional. We show that primitive 4-generated axial algebras of Jordan type are at most 81-dimensional. △ Less

Submitted 6 January, 2023; originally announced January 2023.

Comments: 16 pages

MSC Class: 17A99; 20B25; 20F29

Representability of relatively free affine algebras over a Noetherian ring

Authors: Alexei Kanel-Belov, Louis Rowen, Uzi Vishne

Abstract: Over the years questions have arisen about T-ideals of (noncommutative) polynomials. But when evaluating a noncentral polynomial in subalgebras of matrices, one often has little control in determining the specific evaluations of the polynomial. One way of overcoming this difficulty in characteristic 0, is to reduce to multilinear polynomials and utilizing the representation theory of the symmetric… ▽ More Over the years questions have arisen about T-ideals of (noncommutative) polynomials. But when evaluating a noncentral polynomial in subalgebras of matrices, one often has little control in determining the specific evaluations of the polynomial. One way of overcoming this difficulty in characteristic 0, is to reduce to multilinear polynomials and utilizing the representation theory of the symmetric group. But this technique is unavailable in characteristic $p>0$. An alternative method, which succeeds, is the process of ``hiking'' a polynomial, in which one specializes its indeterminates in several stages, to obtain a polynomial that contains Capelli polynomials, in order to get control on its evaluations. This method was utilized on homogeneous polynomials in the proof of Specht's conjecture for affine algebras over fields of positive characteristic. In this paper we develop hiking further to nonhomogeneous polynomials, to apply to the representability question. Kemer proved in 1988 that every affine relatively free PI algebra over an infinite field, is representable. In 2010, the first author of this paper proved more generally that every affine relatively free PI algebra over any commutative Noetherian unital ring is representable. We present a different, complete, proof, based on hiking nonhomogeneous polynomials, over finite fields. We then obtain the full result over a Noetherian commutative ring, using Noetherian induction on T-ideals. The bulk of the proof is for the case of a base field of positive characteristic. Here, whereas the usage of hiking is more direct than in proving Specht's conjecture, one must consider nonhomogeneous polynomials when the base ring is finite, which entails certain difficulties to be overcome. In the appendix we show how hiking can be adapted to prove the involutory versions, as well as various graded and nonassociative theorems. △ Less

Submitted 1 February, 2023; v1 submitted 3 September, 2022; originally announced September 2022.

Comments: 30 pp. arXiv admin note: substantial text overlap with arXiv:1805.04450

MSC Class: Primary: 16R10; 16R40; 16W10; Secondary: 16G20; 17B50; 17C05

Semiring systems arising from hyperrings

Authors: Marianne Akian, Stephane Gaubert, Louis Rowen

Abstract: Hyperfields and systems are two algebraic frameworks which have been developed to provide a unified approach to classical and tropical structures. All hyperfields, and more generally hyperrings, can be represented by systems. Conversely, we show that the systems arising in this way, called {\it hypersystems}, are characterized by certain elimination axioms. Systems are preserved under standard alg… ▽ More Hyperfields and systems are two algebraic frameworks which have been developed to provide a unified approach to classical and tropical structures. All hyperfields, and more generally hyperrings, can be represented by systems. Conversely, we show that the systems arising in this way, called {\it hypersystems}, are characterized by certain elimination axioms. Systems are preserved under standard algebraic constructions; for instance matrices and polynomials over hypersystems are systems, but not hypersystems. We illustrate these results by discussing several examples of systems and hyperfields, and constructions like matroids over systems. △ Less

Submitted 27 April, 2023; v1 submitted 14 July, 2022; originally announced July 2022.

MSC Class: Primary 06F20; 14T10; 15A80; 16Y20; 16Y60; Secondary 20N20; 15A24

Structure of primitive axial algebras

Authors: Louis Halle Rowen, Yoav Segev

Abstract: "Fusion rules" are laws of multiplication among eigenspaces of an idempotent. This terminology is relatively new and is closely related to primitive axial algebras, introduced recently by Hall, Rehren, and Shpectorov. Axial algebras, in turn, are closely related to $3$-transposition groups and vertex operator algebras. In earlier work we studied primitive axial algebras, not necessarily commutat… ▽ More "Fusion rules" are laws of multiplication among eigenspaces of an idempotent. This terminology is relatively new and is closely related to primitive axial algebras, introduced recently by Hall, Rehren, and Shpectorov. Axial algebras, in turn, are closely related to $3$-transposition groups and vertex operator algebras. In earlier work we studied primitive axial algebras, not necessarily commutative, and showed that they all have Jordan type. In this paper, we show that all finitely generated primitive axial algebras are direct sums of specifically described flexible finite dimensional noncommutative algebras, and commutative axial algebras generated by primitive axes of the same type. In particular,all primitive axial algebras are flexible. They also have Frobenius forms. We give a precise description of all the primitive axes of axial algebras generated by two primitive axes. △ Less

Submitted 13 June, 2022; v1 submitted 8 June, 2022; originally announced June 2022.

Comments: 37 pages, secondary category group theory

MSC Class: Primary 17A05; 17A15; 17A20; secondary 17A36; 17C27; 20D99

The images of multilinear and semihomogeneous polynomials on the algebra of octonions

Authors: Alexei Kanel-Belov, Sergey Malev, Coby Pines, Louis Rowen

Abstract: The generalized L'vov-Kaplansky conjecture states that for any finite-dimensional simple algebra $A$ the image of a multilinear polynomial on $A$ is a vector space. In this paper we prove it for the algebra of octonions $\mathbb{O}$ over a field satisfying certain specified conditions (in particular, we prove it for quadratically closed field and for field $\mathbb{R}$). In fact, we prove that t… ▽ More The generalized L'vov-Kaplansky conjecture states that for any finite-dimensional simple algebra $A$ the image of a multilinear polynomial on $A$ is a vector space. In this paper we prove it for the algebra of octonions $\mathbb{O}$ over a field satisfying certain specified conditions (in particular, we prove it for quadratically closed field and for field $\mathbb{R}$). In fact, we prove that the image set must be either $\{0\}$, $F$, the space of pure octonions $V$, or $\mathbb{O}$. We discuss possible evaluations of semihomogeneous polynomials on $\mathbb{O}$ and of arbitrary polynomials on the corresponding Malcev algebra. △ Less

Submitted 14 April, 2022; originally announced April 2022.

Comments: 14 pages

MSC Class: 17D05 17D10 14R10

Journal ref: Linear and Multilinear Algebra (GLMA), 2023

$\mathcal{T}$-semiring pairs

Authors: Jaiung Jun, Kalina Mincheva, Louis Rowen

Abstract: We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting including fractions, integral extensions, and Hilbert's Nullstellensatz. Finally, we study a notion of growth in this context. We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting including fractions, integral extensions, and Hilbert's Nullstellensatz. Finally, we study a notion of growth in this context. △ Less

Submitted 7 August, 2022; v1 submitted 2 March, 2022; originally announced March 2022.

Comments: 23pp

MSC Class: Primary 08A05; 14T10; 16Y60; 18A05; 18C10; Secondary 08A30; 08A72; 12K10; 13C60; 18E05; 20N20

Primitive axial algebras are of Jordan type

Authors: Louis Rowen, Yoav Segev

Abstract: The notion of axial algebra is closely related to $3$-transposition groups, the Monster group and vertex operator algebras. In this work we continue our previous works and compete the proof that all algebras generated by a set of primitive axes not necessarily of the same type (see the definition in the body of the paper), are primitive axial algebras of Jordan type. The notion of axial algebra is closely related to $3$-transposition groups, the Monster group and vertex operator algebras. In this work we continue our previous works and compete the proof that all algebras generated by a set of primitive axes not necessarily of the same type (see the definition in the body of the paper), are primitive axial algebras of Jordan type. △ Less

Submitted 1 December, 2021; v1 submitted 28 November, 2021; originally announced November 2021.

Comments: 12 pages

MSC Class: Primary: 17A05; 17A15; 17A20; Secondary: 17A36

Axes in non-associative algebras

Authors: Louis Rowen, Yoav Segev

Abstract: "Fusion rules" are laws of multiplication among eigenspaces of an idempotent. This terminology is relatively new and is closely related to axial algebras, introduced recently by Hall, Rehren and Shpectorov. Axial algebras, in turn, are closely related to $3$-transposition groups and Vertex operator algebras. In this paper we consider fusion rules for semisimple idempotents, following Albert in t… ▽ More "Fusion rules" are laws of multiplication among eigenspaces of an idempotent. This terminology is relatively new and is closely related to axial algebras, introduced recently by Hall, Rehren and Shpectorov. Axial algebras, in turn, are closely related to $3$-transposition groups and Vertex operator algebras. In this paper we consider fusion rules for semisimple idempotents, following Albert in the power-associative case. We examine the notion of an axis in the non-commutative setting and show that the dimension $d$ of any algebra $A$ generated by a pair $a,b$ of (not necessarily Jordan) axes of respective types $(λ,δ)$ and $(λ',δ')$ must be at most $5$; $d$ cannot be $4.$ If $d\le 3$ we list all the possibilities for $A$ up to isomorphism. We prove a variety of additional results and mention some research questions at the end. △ Less

Submitted 16 November, 2021; v1 submitted 2 September, 2021; originally announced September 2021.

Comments: 16 pages

MSC Class: Primary: 17A15; 17A20; 17D99; Secondary: 17A01; 17A36; 17C27

Axes of Jordan type in non-commutative algebras

Authors: Louis Rowen, Yoav Segev

Abstract: The Peirce decomposition of a Jordan algebra with respect to an idempotent is well known. This decomposition was taken one step further and generalized recently by Hall, Rehren and Shpectorov, withtheir introduction of {\it axial algebras}, and in particular {\it primitive axial algebras of Jordan type} (PJs for short). It turns out that these notions are closely related to $3$-transposition group… ▽ More The Peirce decomposition of a Jordan algebra with respect to an idempotent is well known. This decomposition was taken one step further and generalized recently by Hall, Rehren and Shpectorov, withtheir introduction of {\it axial algebras}, and in particular {\it primitive axial algebras of Jordan type} (PJs for short). It turns out that these notions are closely related to $3$-transposition groups and vertex operator algebras. De Medts, Peacock, Shpectorov, and M. Van Couwenberghe generalized axial algebrasto {\it decomposition algebras} which, in particular, are not necessarily commutative. This paper deals with decomposition algebras which are non-commutative versions of PJs. △ Less

Submitted 16 August, 2021; originally announced August 2021.

Comments: 12 pages

MSC Class: {Primary: 17A05; 17A15; 17A20; Secondary: 17A36; 17C27

Clifford semialgebras

Authors: Adam Chapman, Letterio Gatto, Louis Rowen

Abstract: We introduce a theory of Clifford semialgebra systems, with application to representation theory via Hasse-Schmidt derivations on exterior semialgebras. Our main result, after the construction of the Clifford semialgebra, is a formula describing the exterior semialgebra as a representation of the Clifford semialgebra, given by the endomorphisms of the first wedge power. We introduce a theory of Clifford semialgebra systems, with application to representation theory via Hasse-Schmidt derivations on exterior semialgebras. Our main result, after the construction of the Clifford semialgebra, is a formula describing the exterior semialgebra as a representation of the Clifford semialgebra, given by the endomorphisms of the first wedge power. △ Less

Submitted 22 December, 2021; v1 submitted 8 August, 2021; originally announced August 2021.

Comments: 43 pages

MSC Class: Primary 15A75; Secondary 17B69; 14M15; 05E05

Flexible idempotents in nonassociative algebras

Authors: Louis Rowen, Yoav Segev

Abstract: ``Fusion rules'' are laws of multiplication among eigenspaces of an idempotent. We establish fusion rules for flexible power-associative algebras, following Albert. We define the notion of an axis in the noncommutative setting (compare with [HRS]) and accumulate information about pairs of axes. We also describe a class of noncommutative examples of flexible power-associative algebras. ``Fusion rules'' are laws of multiplication among eigenspaces of an idempotent. We establish fusion rules for flexible power-associative algebras, following Albert. We define the notion of an axis in the noncommutative setting (compare with [HRS]) and accumulate information about pairs of axes. We also describe a class of noncommutative examples of flexible power-associative algebras. △ Less

Submitted 16 June, 2021; v1 submitted 23 November, 2020; originally announced November 2020.

Comments: 17 pages. Axes, and algebras generated by two axes are described in detail

MSC Class: Primary: 17A05; 17A15; 17A20; Secondary: 17A36; 17C27

Representability of Noetherian PI-algebras

Authors: Be'eri Greenfeld, Louis Rowen

Abstract: This note concerns the still open question of representability of Noetherian PI-algebras. Extending a result of Rowen and Small (with an observation of Bergman) that every finitely generated module over a commutative Noetherian ring containing a field is representable, we provide a representability machinery for a Noetherian PI-algebra $R$ containing a field, which includes the case that $R$ is fi… ▽ More This note concerns the still open question of representability of Noetherian PI-algebras. Extending a result of Rowen and Small (with an observation of Bergman) that every finitely generated module over a commutative Noetherian ring containing a field is representable, we provide a representability machinery for a Noetherian PI-algebra $R$ containing a field, which includes the case that $R$ is finite (as a module) over a commutative subalgebra isomorphic to $R/N$. We construct a family of non-representable PI-algebras demonstrating the sharpness of these results, as well as of some well known previous representability results. △ Less

Submitted 16 August, 2021; v1 submitted 25 August, 2020; originally announced August 2020.

Comments: Update and correction of previous version, 9 pages

MSC Class: Primary 16P40; 16R20; Secondary 16S10; 16U20

Homology of systemic modules

Authors: Jaiung Jun, Kalina Mincheva, Louis Rowen

Abstract: We develop the rudiments of a tropical homology theory, based on "triples" and "systems." Results include a version of Schanuel's lemma, projective dimension, the homology semi-module, and a weak Snake lemma. We develop the rudiments of a tropical homology theory, based on "triples" and "systems." Results include a version of Schanuel's lemma, projective dimension, the homology semi-module, and a weak Snake lemma. △ Less

Submitted 27 May, 2020; v1 submitted 26 May, 2020; originally announced May 2020.

MSC Class: Primary 08A05; 14T10; 16Y60; 18A05; 18C10; Secondary 08A30; 08A72; 12K10; 13C60; 18E05; 20N20

Evaluations of Noncommutative Polynomials on Algebras: Methods and Problems, and the L'vov-Kaplansky Conjecture

Authors: Alexei Kanel-Belov, Sergey Malev, Louis Rowen, Roman Yavich

Abstract: Let $p$ be a polynomial in several non-commuting variables with coefficients in a field $K$ of arbitrary characteristic. It has been conjectured that for any $n$, for $p$ multilinear, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by $n$ matrices is either zero, or the set of scalar matrices, or the set ${\rm sl}_n(K)$ of matrices of trace 0, or all of $M_n(K)$. This expository paper descri… ▽ More Let $p$ be a polynomial in several non-commuting variables with coefficients in a field $K$ of arbitrary characteristic. It has been conjectured that for any $n$, for $p$ multilinear, the image of $p$ evaluated on the set $M_n(K)$ of $n$ by $n$ matrices is either zero, or the set of scalar matrices, or the set ${\rm sl}_n(K)$ of matrices of trace 0, or all of $M_n(K)$. This expository paper describes research on this problem and related areas. We discuss the solution of this conjecture for $n=2$ in Section 2, some decisive results for $n=3$ in Section 3, and partial information for $n\geq 3$ in Section 4, also for non-multilinear polynomials. In addition we consider the case of $K$ not algebraically closed, and polynomials evaluated on other finite dimensional simple algebras (in particular the algebra of the quaternions). This review recollects results and technical material of our previous papers, as well as new results of other researches, and applies them in a new context. This article also explains the role of the Deligne trick, which is related to some nonassociative cases in new situations, underlying our earlier, more straightforward approach. We pose some problems for future generalizations and point out possible generalizations in the present state of art, and in the other hand providing counterexamples showing the boundaries of generalizations. △ Less

Submitted 27 July, 2020; v1 submitted 13 September, 2019; originally announced September 2019.

Comments: In this review, we present a systematized exposition including results obtained in our previous papers arXiv:1005.0191, arXiv:1306.4389, arXiv:1310.8563, arXiv:1310.1598, arXiv:1906.04973, arXiv:1506.06792. In addition, we have systematized ideas and methods of proofs

Journal ref: SIGMA 16 (2020), 071, 61 pages

Morita theory of systems

Authors: Louis Rowen

Abstract: We present the rudiments of the Morita theory of module systems (over semirings), paralleling the classical Morita theory over associative rings. We present the rudiments of the Morita theory of module systems (over semirings), paralleling the classical Morita theory over associative rings. △ Less

Submitted 5 March, 2019; originally announced March 2019.

Comments: arXiv admin note: text overlap with arXiv:1809.01996

MSC Class: Primary 16D40; 16D90; 16Y60; 08A05; Secondary 13C60; 20N20

Torus actions on free associative algebras, lifting and Białynicki-Birula type theorems

Authors: Alexei Belov-Kanel, Andrey Elishev, Farrokh Razavinia, Louis Rowen, Jie-Tai Yu, Wenchao Zhang

Abstract: We examine the problem of the linearity of an algebraic torus action in the associative setting. We prove the free algebra analog of a classical theorem of BialynickiBirula, which establishes linearity of maximal torus action. Additionally, we formulate and prove linearity theorems for specific classes of regular actions, and provide a framework for constructing non-linearizable actions, analogous… ▽ More We examine the problem of the linearity of an algebraic torus action in the associative setting. We prove the free algebra analog of a classical theorem of BialynickiBirula, which establishes linearity of maximal torus action. Additionally, we formulate and prove linearity theorems for specific classes of regular actions, and provide a framework for constructing non-linearizable actions, analogous to the work of Asanuma. This framework has applications in the study of the Associative Cancellation Conjecture. Furthermore, we show the existence of two non-isomorphic algebras, whose free products with a polynomial ring are isomorphic. △ Less

Submitted 12 March, 2025; v1 submitted 5 January, 2019; originally announced January 2019.

Comments: 36 pages

MSC Class: 16S10; 14R10; 14R20

Journal ref: European Journal of Mathematics 2024,10:71

Projective systemic modules

Authors: Jaiung Jun, Kalina Mincheva, Louis Rowen

Abstract: We develop the basic theory of projective modules and splitting in the more general setting of systems. Systems provide a common language for most tropical algebraic approaches including supertropical algebra, hyperrings (specifically hyperfields), and fuzzy rings. This enables us to prove analogues of classical theorems for tropical and hyperring theory in a unified way. In this context we prove… ▽ More We develop the basic theory of projective modules and splitting in the more general setting of systems. Systems provide a common language for most tropical algebraic approaches including supertropical algebra, hyperrings (specifically hyperfields), and fuzzy rings. This enables us to prove analogues of classical theorems for tropical and hyperring theory in a unified way. In this context we prove a Dual Basis Lemma and versions of Schanuel's Lemma. △ Less

Submitted 15 April, 2019; v1 submitted 6 September, 2018; originally announced September 2018.

Comments: We changed the title and added more results

MSC Class: Primary 16Y60; 12K10; 13C10; 13C60; 20N20; 18C05; 18E10; 08A05; 12K10; Secondary 06F05; 14T05; 08A72

Representability of affine algebras over an arbitrary field

Authors: Alexei Belov-Kanel, Louis Rowen, Uzi Vishne

Abstract: In a series of papers, we used full quivers as tools in describing PI-varieties of algebras and providing a complete proof of Belov's solution of Specht's problem for affine algebras over an arbitrary Noetherian ring. In this paper, utilizing ideas from that work, we give a full exposition of Belov's theorem that relatively free affine PI-algebras over an arbitrary field are representable. (Kemer… ▽ More In a series of papers, we used full quivers as tools in describing PI-varieties of algebras and providing a complete proof of Belov's solution of Specht's problem for affine algebras over an arbitrary Noetherian ring. In this paper, utilizing ideas from that work, we give a full exposition of Belov's theorem that relatively free affine PI-algebras over an arbitrary field are representable. (Kemer proved the theorem over an infinite field.) △ Less

Submitted 11 May, 2018; originally announced May 2018.

Comments: 20 pages

MSC Class: Primary: 16R10 Secondary: 16R30; 17A01; 17B01; 17C05

Grassman semialgebras and the Cayley-Hamilton theorem

Authors: Letterio Gatto, Louis Rowen

Abstract: We develop a theory of semialgebra Grassmann triples via Hasse-Schmidt derivations, which formally generalizes results such as the Cayley-Hamilton theorem in linear algebra, thereby providing a unified approach to classical linear algebra and tropical algebra. We develop a theory of semialgebra Grassmann triples via Hasse-Schmidt derivations, which formally generalizes results such as the Cayley-Hamilton theorem in linear algebra, thereby providing a unified approach to classical linear algebra and tropical algebra. △ Less

Submitted 4 November, 2020; v1 submitted 21 March, 2018; originally announced March 2018.

Comments: 16 pages

MSC Class: Primary 15A75; 16Y60; 15A18; Secondary 12K10; 14T10

Hopfian and Bassian algebras

Authors: Louis Rowen, Lance Small

Abstract: A ring $A$ is called Hopfian if $A$ cannot be isomorphic to a proper homomorphic image $A/J$. $A$ is called Bassian if there cannot be an injection of $A$ into a proper homomorphic image $A/J$. We consider classes of Hopfian and Bassian rings, and tie representability of algebras and chain conditions on ideals to these properties. In particular, any semiprime algebra satisfying the ACC on semiprim… ▽ More A ring $A$ is called Hopfian if $A$ cannot be isomorphic to a proper homomorphic image $A/J$. $A$ is called Bassian if there cannot be an injection of $A$ into a proper homomorphic image $A/J$. We consider classes of Hopfian and Bassian rings, and tie representability of algebras and chain conditions on ideals to these properties. In particular, any semiprime algebra satisfying the ACC on semiprime ideals is Hopfian, and any semiprime affine PI-algebra over a field is Bassian. △ Less

Submitted 19 December, 2019; v1 submitted 17 November, 2017; originally announced November 2017.

Categories with negation

Authors: Jaiung Jun, Louis Rowen

Abstract: We continue the theory of $\tT$-systems from the work of the second author, describing both ground systems and module systems over a ground system (paralleling the theory of modules over an algebra). The theory, summarized categorically at the end, encapsulates general algebraic structures lacking negation but possessing a map resembling negation, such as tropical algebras, hyperfields and fuzzy r… ▽ More We continue the theory of $\tT$-systems from the work of the second author, describing both ground systems and module systems over a ground system (paralleling the theory of modules over an algebra). The theory, summarized categorically at the end, encapsulates general algebraic structures lacking negation but possessing a map resembling negation, such as tropical algebras, hyperfields and fuzzy rings. We see explicitly how it encompasses tropical algebraic theory and hyperfields. Prime ground systems are introduced as a way of developing geometry. The polynomial system over a prime system is prime, and there is a weak Nullstellensatz. Also, the polynomial $\mathcal A[\la_1, \dots, \la_n]$ and Laurent polynomial systems $\mathcal A[[\la_1, \dots, \la_n]]$ in $n$ commuting indeterminates over a $\tT$-semiring-group system have dimension $n$. For module systems, special attention also is paid to tensor products and $\Hom$. Abelian categories are replaced by "semi-abelian" categories (where $\Hom(A,B)$ is not a group) with a negation morphism. △ Less

Submitted 31 October, 2018; v1 submitted 10 September, 2017; originally announced September 2017.

Comments: 37 pages, extra material included to compare with other tropical approaches

MSC Class: 08A05; 08A30; 14T05; 16Y60; 20N20 (Primary); 06F05; 08A72; 12K10; 13C60 (Secondary)

An informal overview of triples and systems

Authors: Louis H. Rowen

Abstract: We describe triples and systems, expounded as an axiomatic algebraic umbrella theory for classical algebra, tropical algebra, hyperfields, and fuzzy rings. We describe triples and systems, expounded as an axiomatic algebraic umbrella theory for classical algebra, tropical algebra, hyperfields, and fuzzy rings. △ Less

Submitted 18 May, 2018; v1 submitted 10 September, 2017; originally announced September 2017.

Comments: 12 pages, improved introduction and references

MSC Class: 08A05; 16Y60; 12K10; 13C60; 20N20; 03C05; 06F05; 13C10; 14T05

A short proof that the free associative algebra is Hopfian

Authors: Alexei Kanel-Belov, Louis Rowen, Jie-Tai Yu

Abstract: A short proof is given of the fact that various classes of algebras including the free associative algebra are Hopfian, i.e., every epimorphism is an automorphism. This further simplifies the Dicks-Lewin solution of the Jacobian conjecture for the free associative algebra. A short proof is given of the fact that various classes of algebras including the free associative algebra are Hopfian, i.e., every epimorphism is an automorphism. This further simplifies the Dicks-Lewin solution of the Jacobian conjecture for the free associative algebra. △ Less

Submitted 12 January, 2020; v1 submitted 14 August, 2017; originally announced August 2017.

Comments: 5 pages, Shengeng University and Bar-Ilan University

MSC Class: 16S10; 16W20 (Primary) 16Z05 (Secondary)

Generation of summand absorbing submodules

Authors: Zur Izhakian, Manfred Knebusch, Louis Rowen

Abstract: An $R$-module $V$ over a semiring $R$ lacks zero sums (LZS) if $ x +y = 0 \; \Rightarrow \; x = y = 0$. More generally, asubmodule $W$ of $V$ is "summand absorbing", if $ \forall \, x, y \in V: \ x + y \in W \; \Rightarrow \; x \in W, \; y \in W. $ These relate to tropical algebra and modules over idempotent semirings, as well as modules over semirings of sums of squares. In previous work, we have… ▽ More An $R$-module $V$ over a semiring $R$ lacks zero sums (LZS) if $ x +y = 0 \; \Rightarrow \; x = y = 0$. More generally, asubmodule $W$ of $V$ is "summand absorbing", if $ \forall \, x, y \in V: \ x + y \in W \; \Rightarrow \; x \in W, \; y \in W. $ These relate to tropical algebra and modules over idempotent semirings, as well as modules over semirings of sums of squares. In previous work, we have explored the lattice of summand absorbing submodules of a given LZS module, especially those that are finitely generated, in terms of the lattice-theoretic Krull dimension. In this note we describe their explicit generation. △ Less

Submitted 11 January, 2019; v1 submitted 29 May, 2017; originally announced May 2017.

MSC Class: Primary 14T05; 16D70; 16Y60; Secondary 06F05; 06F25; 13C10; 14N05

Associative and Jordan algebras generated by two idempotents

Authors: Louis Rowen, Yoav Segev

Abstract: Associative or Jordan algebras generated by two idempotents are described precisely. Associative or Jordan algebras generated by two idempotents are described precisely. △ Less

Submitted 15 September, 2016; originally announced September 2016.

MSC Class: 16S15; 17C27

Hypergroups and hyperfields in universal algebra

Authors: Louis Rowen

Abstract: Hypergroups are lifted to power semigroups with negation, yielding a method of transferring results from semigroup theory. This applies to analogous structures such as hypergroups, hyperfields, and hypermodules, and permits us to transfer the general theory from universal algebra. Special attention is given to the examples from Baker's article. Hypergroups are lifted to power semigroups with negation, yielding a method of transferring results from semigroup theory. This applies to analogous structures such as hypergroups, hyperfields, and hypermodules, and permits us to transfer the general theory from universal algebra. Special attention is given to the examples from Baker's article. △ Less

Submitted 11 April, 2016; originally announced April 2016.

MSC Class: 16Y60; 12K10; 06F05; 14T05 (Primary); 12K10 (Secondary)

Algebras with a negation map

Authors: Louis Halle Rowen

Abstract: Our objective in this project is three-fold, the first two covered in this paper. In tropical mathematics, as well as other mathematical theories involving semirings, when trying to formulate the tropical versions of classical algebraic concepts for which the negative is a crucial ingredient, such as determinants, Grassmann algebras, Lie algebras, Lie superalgebras, and Poisson algebras, one often… ▽ More Our objective in this project is three-fold, the first two covered in this paper. In tropical mathematics, as well as other mathematical theories involving semirings, when trying to formulate the tropical versions of classical algebraic concepts for which the negative is a crucial ingredient, such as determinants, Grassmann algebras, Lie algebras, Lie superalgebras, and Poisson algebras, one often is challenged by the lack of negation. Following an idea originating in work of Gaubert and the Max-Plus group and brought to fruition by Akian, Gaubert, and Guterman, we study algebraic structures with negation maps, called \textbf{systems}, in the context of universal algebra, showing how these unify the more viable (super)tropical versions, as well as hypergroup theory and fuzzy rings, thereby "explaining" similarities in their theories. Special attention is paid to \textbf{meta-tangible} $\mathcal T$-systems, whose algebraic theory includes all the main tropical examples and many others, but is rich enough to facilitate computations and provide a host of structural results. Basic results also are obtained in linear algebra, linking determinants to linear independence. Formulating the structure categorically enables us to view the tropicalization functor as a morphism, thereby further explaining the mysterious link between classical algebraic results and their tropical analogs, as well as with hyperfields. We utilize the tropicalization functor to propose tropical analogs of classical algebraic notions. The systems studied here might be called "fundamental," since they are the underlying structure which can be studied via other "module" systems, which is to be the third stage of this project, involving a theory of sheaves and schemes and derived categories with a negation map. △ Less

Submitted 6 May, 2021; v1 submitted 31 January, 2016; originally announced February 2016.

Comments: Reduced to 50 pages from original version of 75 pages. Refinement of previous versions, with the emphasis on systems with applications to tropical structures, hyperfields, and fuzzy rings. The introduction has been reworked, and a list of topics for further study

MSC Class: 16Y60; 06F05; 13C10; 13C60; 18E10 (Primary); 12K10; 14T05 (Secondary)

Bimodule Structure of Central Simple Algebras

Authors: Eliyahu Matzri, Louis H. Rowen, David J Saltman, Uzi Vishne

Abstract: For a maximal separable subfield $K$ of a central simple algebra $A$, we provide a semiring isomorphism between $K$-$K$-bimodules $A$ and $H$-$H$ bisets of $G = \Gal(L/F)$, where $F = \operatorname{Z}(A)$, $L$ is the Galois closure of $K/F$, and $H = \Gal(L/K)$. This leads to a combinatorial interpretation of the growth of $\dim_K((KaK)^i)$, for fixed $a \in A$, especially in terms of Kummer sets. For a maximal separable subfield $K$ of a central simple algebra $A$, we provide a semiring isomorphism between $K$-$K$-bimodules $A$ and $H$-$H$ bisets of $G = \Gal(L/F)$, where $F = \operatorname{Z}(A)$, $L$ is the Galois closure of $K/F$, and $H = \Gal(L/K)$. This leads to a combinatorial interpretation of the growth of $\dim_K((KaK)^i)$, for fixed $a \in A$, especially in terms of Kummer sets. △ Less

Submitted 27 January, 2016; originally announced January 2016.

MSC Class: 16K20

Decompositions of modules lacking zero sums

Authors: Zur Izhakian, Manfred Knebusch, Louis Rowen

Abstract: A direct sum decomposition theory is developed for direct summands (and complements) of modules over a semiring $R$, having the property that $v+w = 0$ implies $v = 0$ and $w = 0$. Although this never occurs when $R$ is a ring, it always does holds for free modules over the max-plus semiring and related semirings. In such situations, the direct complement is unique, and the decomposition is unique… ▽ More A direct sum decomposition theory is developed for direct summands (and complements) of modules over a semiring $R$, having the property that $v+w = 0$ implies $v = 0$ and $w = 0$. Although this never occurs when $R$ is a ring, it always does holds for free modules over the max-plus semiring and related semirings. In such situations, the direct complement is unique, and the decomposition is unique up to refinement. Thus, every finitely generated projective module is a finite direct sum of summands of $R$ (assuming the mild assumption that $1$ is a finite sum of orthogonal primitive idempotents of $R$). Some of the results are presented more generally for weak complements and semidirect complements. We conclude by examining the obstruction to the "upper bound" property in this context. △ Less

Submitted 4 December, 2015; v1 submitted 12 November, 2015; originally announced November 2015.

MSC Class: Primary 14T05; 16D70; 16Y60; Secondary 06F05; Primary 14T05; 16D70; 16Y60; Secondary 06F05; 06F25; 13C10; 14N05

Quadratic and Symmetric Bilinear Forms on Modules with Unique Base Over a Semiring

Authors: Zur Izhakian, Manfred Knebusch, Louis Rowen

Abstract: We study quadratic forms on free modules with unique base, the situation that arises in tropical algebra, and prove the analog of Witt's Cancellation Theorem. Also, the tensor product of an indecomposable bilinear module $(U, γ)$ with an indecomposable quadratic module $(V,q) $ is indecomposable, with the exception of one case, where two indecomposable components arise. We study quadratic forms on free modules with unique base, the situation that arises in tropical algebra, and prove the analog of Witt's Cancellation Theorem. Also, the tensor product of an indecomposable bilinear module $(U, γ)$ with an indecomposable quadratic module $(V,q) $ is indecomposable, with the exception of one case, where two indecomposable components arise. △ Less

Submitted 3 September, 2015; originally announced September 2015.

Comments: 27 pages

MSC Class: Primary 15A03; 15A09; 15A15; 16Y60; Secondary 14T05; 15A33; 20M18; 51M20

Supertropical $\operatorname{SL}_n$

Authors: Zur Izhakian, Adi Niv, Louis Rowen

Abstract: Extending earlier work on supertropical adjoints and applying symmetrization, we provide a symmetric supertropical version $\operatorname {SLS}_n$ of the special linear group, which we partition into submonoids, based on "quasi-identity" matrices, and we display maximal sub-semigroups of $\operatorname {SLS}_n$. We also study the monoid generated by $\operatorname {SLS}_n$. Several illustrative ex… ▽ More Extending earlier work on supertropical adjoints and applying symmetrization, we provide a symmetric supertropical version $\operatorname {SLS}_n$ of the special linear group, which we partition into submonoids, based on "quasi-identity" matrices, and we display maximal sub-semigroups of $\operatorname {SLS}_n$. We also study the monoid generated by $\operatorname {SLS}_n$. Several illustrative examples are given of unexpected behavior. We describe the action of elementary matrices on $\operatorname {SLS}_n$, which enables one to connect different matrices in $\operatorname {SLS}_n$, but in a weaker sense than the classical situation. △ Less

Submitted 13 June, 2017; v1 submitted 18 August, 2015; originally announced August 2015.

Comments: One extra result added, concerning generation by elementary matrices, and some misprints corrected

MSC Class: 15A03; 15A09; 15A15; 65F15 (Primary); 16Y60; 14T05 (Secondary)

The images of Lie polynomials evaluated on matrices

Authors: Alexei Kanel-Belov, Sergey Malev, Louis Rowen

Abstract: Kaplansky asked about the possible images of a polynomial $f$ in several noncommuting variables. In this paper we consider the case of $f$ a Lie polynomial. We describe all the possible images of $f$ in $M_2(K)$ and provide an example of $f$ whose image is the set of non-nilpotent trace zero matrices, together with 0. We provide an arithmetic criterion for this case. We also show that the standard… ▽ More Kaplansky asked about the possible images of a polynomial $f$ in several noncommuting variables. In this paper we consider the case of $f$ a Lie polynomial. We describe all the possible images of $f$ in $M_2(K)$ and provide an example of $f$ whose image is the set of non-nilpotent trace zero matrices, together with 0. We provide an arithmetic criterion for this case. We also show that the standard polynomial $s_k$ is not a Lie polynomial, for $k>2.$ △ Less

Submitted 3 December, 2015; v1 submitted 22 June, 2015; originally announced June 2015.

Journal ref: Comm. in Algebra, 2017, vol 45, No 11, 2588--2605

Supertropical Quadratic Forms II

Authors: Zur Izhakian, Manfred Knebusch, Louis Rowen

Abstract: This article is a sequel of [4], where we introduced quadratic forms on a module~ $V$ over a supertropical semiring $R$ and analysed the set of bilinear companions of a quadratic form $q: V \to R$ in case that the module $V$ is free, with fairly complete results if $R$ is a supersemifield. Given such a companion $b$ we now classify the pairs of vectors in $V$ in terms of $(q,b).$ This amounts to a… ▽ More This article is a sequel of [4], where we introduced quadratic forms on a module~ $V$ over a supertropical semiring $R$ and analysed the set of bilinear companions of a quadratic form $q: V \to R$ in case that the module $V$ is free, with fairly complete results if $R$ is a supersemifield. Given such a companion $b$ we now classify the pairs of vectors in $V$ in terms of $(q,b).$ This amounts to a kind of tropical trigonometry with a sharp distinction between the cases that a sort of Cauchy-Schwarz inequality holds or fails. We apply this to study the supertropicalizations (cf. [4]) of a quadratic form on a free module $X$ over a field in the simplest cases of interest where $rk(X) = 2$. In the last part of the paper we start exploiting the fact that the free module $V$ as above has a unique base up to permutations and multiplication by units of $R$, and moreover~$V$ carries a so called minimal (partial) ordering. Under mild restriction on~$R$ we determine all $q$-minimal vectors in $V$, i.e., the vectors $x \in V$ for which $q(x') < q(x)$ whenever $x' < x.$ △ Less

Submitted 10 June, 2015; originally announced June 2015.

Comments: 31 pages

MSC Class: Primary 15A03; 15A09; 15A15; 16Y60; Secondary 14T05; 15A33; 20M18; 51M20

Dependence of Supertropical Eigenspaces

Authors: Adi Niv, Louis Rowen

Abstract: We study the pathology that causes tropical eigenspaces of distinct supertropical eigenvalues of a nonsingular matrix $A$, to be dependent. We show that in lower dimensions the eigenvectors of distinct eigenvalues are independent, as desired. The index set that differentiates between subsequent essential monomials of the characteristic polynomial, yields an eigenvalue $λ$, and corresponds to the c… ▽ More We study the pathology that causes tropical eigenspaces of distinct supertropical eigenvalues of a nonsingular matrix $A$, to be dependent. We show that in lower dimensions the eigenvectors of distinct eigenvalues are independent, as desired. The index set that differentiates between subsequent essential monomials of the characteristic polynomial, yields an eigenvalue $λ$, and corresponds to the columns of the eigenmatrix $A+λI$ from which the eigenvectors are taken. We ascertain the cause for failure in higher dimensions, and prove that independence of the eigenvectors is recovered in case a certain "difference criterion" holds, defined in terms of disjoint differences between index sets of subsequent coefficients. We conclude by considering the eigenvectors of the matrix $A^\nabla : = \det(A)^{-1}\adj(A)$ and the connection of the independence question to generalized eigenvectors. △ Less

Submitted 10 February, 2016; v1 submitted 29 April, 2015; originally announced April 2015.

Comments: The first author is sported by the French Chateaubriand grant and INRIA postdoctoral fellowship

MSC Class: 15A18; 15A80

Kummer Spaces in Cyclic Algebras of Prime Degree

Authors: Adam Chapman, David J. Grynkiewicz, Eliyahu Matzri, Louis H. Rowen, Uzi Vishne

Abstract: We classify the monomial Kummer subspaces of division cyclic algebras of prime degree $p$, showing that every such space is standard, and in particular the dimension is no greater than $p+1$. It follows that in a generic cyclic algebra, the dimension of any Kummer subspace is at most $p+1$. We classify the monomial Kummer subspaces of division cyclic algebras of prime degree $p$, showing that every such space is standard, and in particular the dimension is no greater than $p+1$. It follows that in a generic cyclic algebra, the dimension of any Kummer subspace is at most $p+1$. △ Less

Submitted 14 May, 2015; v1 submitted 22 October, 2014; originally announced October 2014.

Comments: 12 pages

MSC Class: Primary 16K20; Secondary 11J13

A tropical Krull-Schmidt theorem

Authors: Tal Perri, Louis Rowen

Abstract: We develop some algebraic structure notions such as composition series and convexity degree, along with some notions holding a geometric interpretation, like reducibility and hyperdimension, with the main objective being a tropical Krull-Schmidt theorem. We develop some algebraic structure notions such as composition series and convexity degree, along with some notions holding a geometric interpretation, like reducibility and hyperdimension, with the main objective being a tropical Krull-Schmidt theorem. △ Less

Submitted 20 August, 2014; originally announced August 2014.

Comments: 19 pages. arXiv admin note: text overlap with arXiv:1405.0115, arXiv:1305.2764

Congruences and coordinate semirings of tropical varieties

Authors: Zur Izhakian, Louis Rowen

Abstract: In this paper we present two intrinsic algebraic definitions of tropical variety motivated by the classical Zariski correspondence, one utilizing the algebraic structure of the coordinate semiring of an affine supertropical algebraic set, and the second based on the layered structure. We tie them to tropical geometry, especially in connection with the dimension of an affine variety. In this paper we present two intrinsic algebraic definitions of tropical variety motivated by the classical Zariski correspondence, one utilizing the algebraic structure of the coordinate semiring of an affine supertropical algebraic set, and the second based on the layered structure. We tie them to tropical geometry, especially in connection with the dimension of an affine variety. △ Less

Submitted 11 August, 2014; originally announced August 2014.

Comments: 19 pages, 4 figures

MSC Class: 14T05; 14T99; 16Y60; 06F20; 12K10

Unions of Chains of Primes

Authors: Be'eri Greenfeld, Louis H. Rowen, Uzi Vishne

Abstract: The union of an ascending chain of prime ideals is not always prime. We show that this property is independent of the parallel property for semiprimes. We also show that the PI-class is a tight bound on the number of non-prime unions of subchains in a chain of primes in a PI-algebra. The union of an ascending chain of prime ideals is not always prime. We show that this property is independent of the parallel property for semiprimes. We also show that the PI-class is a tight bound on the number of non-prime unions of subchains in a chain of primes in a PI-algebra. △ Less

Submitted 14 August, 2015; v1 submitted 5 August, 2014; originally announced August 2014.

Journal ref: Journal of Pure and Applied Algebra, Volume 220, Issue 4, April 2016, Pages 1451-1461

The Braun-Kemer-Razmyslov Theorem for affine PI-algebras

Authors: Alexei Kanel Belov, Louis Rowen

Abstract: A self-contained, combinatoric exposition is given for the Braun-Kemer-Razmyslov Theorem over an arbitrary commutative Noetherian ring. A self-contained, combinatoric exposition is given for the Braun-Kemer-Razmyslov Theorem over an arbitrary commutative Noetherian ring. △ Less

Submitted 4 May, 2014; originally announced May 2014.

Comments: 37 pages

Kernels in tropical geometry and a Jordan-Hölder Theorem

Authors: Tal Perri, Louis Rowen

Abstract: A correspondence exists between affine tropical varieties and algebraic objects, following the classical Zariski correspondence between irreducible affine varieties and the prime spectrum of the coordinate algebra in affine algebraic geometry. Although in this context the natural analog of the polynomial ring over a field is the polynomial semiring over a semifield (without a zero element), one ob… ▽ More A correspondence exists between affine tropical varieties and algebraic objects, following the classical Zariski correspondence between irreducible affine varieties and the prime spectrum of the coordinate algebra in affine algebraic geometry. Although in this context the natural analog of the polynomial ring over a field is the polynomial semiring over a semifield (without a zero element), one obtains homomorphic images of coordinate algebras via congruences rather than ideals, which complicates the algebraic theory considerably. In this paper, we pass to the semifield $F(λ_1, \dots, λ_n)$ of fractions of the polynomial semiring, for which there already exists a well developed theory of kernels, which are normal convex subgroups; this approach enables us to switch the structural roles of addition and multiplication and makes available much of the extensive theory of chains of homomorphisms of groups, including the Jordan-Holder theory. The parallel of the zero set now is the 1-set. These notions are refined in the language of supertropical algebra to $ν$-kernels and $1^ν$-sets, lending more precision to the theory. In analogy to Hilbert's celebrated Nullstellensatz which provides a correspondence between radical ideals and zero sets, we develop a correspondence between $1^ν$-sets and a well-studied class of $ν$-kernels of the rational semifield called polars, originating from the theory of lattice-ordered groups. This correspondence becomes simpler and more applicable when restricted to a special kind of kernel, called principal, intersected with the kernel generated by $F$. We utilize this theory to study tropical roots in tropical geometry. As an application, we develop composition series and convexity degree, leading to a tropical version of the Jordan-Hölder theorem. △ Less

Submitted 29 June, 2015; v1 submitted 1 May, 2014; originally announced May 2014.

Comments: 58 pages. The Jordan-Hölder Theorem paper is merged into this one, a few more misprints are corrected, and the abstract is improved

MSC Class: 14T05; 12K10; 16Y60

Power-central polynomials on matrices

Authors: Alexei Kanel-Belov, Sergey Malev, Louis Rowen

Abstract: Any multilinear non-central polynomial $p$ (in several noncommuting variables) takes on values of degree $n$ in the matrix algebra $M_n(F)$ over an infinite field $F$. The polynomial $p$ is called {\it $ν$-central} for $M_n(F)$ if $p^ν$ takes on only scalar values, with $k$ minimal such. Multilinear $ν$-central polynomials do not exist for any $ν$ with $n>3$, thereby answering a question of Drensk… ▽ More Any multilinear non-central polynomial $p$ (in several noncommuting variables) takes on values of degree $n$ in the matrix algebra $M_n(F)$ over an infinite field $F$. The polynomial $p$ is called {\it $ν$-central} for $M_n(F)$ if $p^ν$ takes on only scalar values, with $k$ minimal such. Multilinear $ν$-central polynomials do not exist for any $ν$ with $n>3$, thereby answering a question of Drensky. Saltman proved that an arbitrary polynomial $p$ cannot be $ν$-central for $M_n(F)$ for $n$ odd unless $n$ is prime; we show for $n$ even, that $ν$ must be 2. △ Less

Submitted 6 October, 2013; originally announced October 2013.

Journal ref: Journal of Pure and Applied Algebra, 220:6, publ online 30 dec. 15 (2016).2164--2176

Supertropical Quadratic Forms I

Authors: Zur Izhakian, Manfred Knebusch, Louis Rowen

Abstract: We initiate the theory of a quadratic form $q$ over a semiring $R$. As customary, one can write $$q(x+y) = q(x) + q(y)+ b(x,y),$$ where $b$ is a companion bilinear form. But in contrast to the ring-theoretic case, the companion bilinear form need not be uniquely defined. Nevertheless, $q$ can always be written as a sum of quadratic forms $q = κ+ ρ,$ where $κ$ is quasilinear in the sense that… ▽ More We initiate the theory of a quadratic form $q$ over a semiring $R$. As customary, one can write $$q(x+y) = q(x) + q(y)+ b(x,y),$$ where $b$ is a companion bilinear form. But in contrast to the ring-theoretic case, the companion bilinear form need not be uniquely defined. Nevertheless, $q$ can always be written as a sum of quadratic forms $q = κ+ ρ,$ where $κ$ is quasilinear in the sense that $κ(x+y) = κ(x) + κ(y),$ and $ρ$ is rigid in the sense that it has a unique companion. In case that $R$ is a supersemifield (cf. Definition 4.1 below) and $q$ is defined on a free $R$-module, we obtain an explicit classification of these decompositions $q = κ+ ρ$ and of all companions $b$ of $q$. As an application to tropical geometry, given a quadratic form $q: V \to R$ on a free module $V$ over a commutative ring $R$ and a supervaluation $\varphi:R \to U$ with values in a supertropical semiring [5], we define - after choosing a base $L=(v_i | i\in I)$ of $V$ - a quadratic form $q^\varphi: U^{(I)} \to U$ on the free module $U^{(I)}$ over the semiring $U$. The analysis of quadratic forms over a supertropical semiring enables one to measure the "position" of $q$ with respect to $L$ via $\varphi$. △ Less

Submitted 11 June, 2015; v1 submitted 23 September, 2013; originally announced September 2013.

Comments: 31 pages

MSC Class: 11D09; 11E81; 15A63; 15A03; 15A15; 16Y60; 14T05; 13F30; 16W60

Specht's problem for associative affine algebras over commutative Noetherian rings

Authors: Alexei Belov-Kanel, Louis Rowen, Uzi Vishne

Abstract: In a series of papers \cite{BRV1}, \cite{BRV2}, \cite{BRV3} we introduced full quivers and pseudo-quivers of representations of algebras, and used them as tools in describing PI-varieties of algebras. In this paper we apply them to obtain a complete proof of Belov's solution of Specht's problem for affine algebras over an arbitrary Noetherian ring. The inductive step relies on a theorem that enabl… ▽ More In a series of papers \cite{BRV1}, \cite{BRV2}, \cite{BRV3} we introduced full quivers and pseudo-quivers of representations of algebras, and used them as tools in describing PI-varieties of algebras. In this paper we apply them to obtain a complete proof of Belov's solution of Specht's problem for affine algebras over an arbitrary Noetherian ring. The inductive step relies on a theorem that enables one to find a "$\bar q$-characteristic coefficient-absorbing polynomial in each T-ideal $Γ$," i.e., a non-identity of the representable algebra $A$ arising from $Γ$, whose ideal of evaluations in $A$ is closed under multiplication by $\bar q$-powers of the characteristic coefficients of matrices corresponding to the generators of $A$, where $\bar q$ is a suitably large power of the order of the base field. The passage to an arbitrary Noetherian base ring $C$ involves localizing at finitely many elements a kind of $C$, and reducing to the field case by a local-global principle. △ Less

Submitted 14 August, 2013; originally announced August 2013.

Comments: 44 pages, submitted

MSC Class: 16R10

Journal ref: Trans. Amer. Math. Soc., 367 (2015), 5553--5596

The Jacobian Conjecture, together with Specht and Burnside-type problems

Authors: Alexei Belov, Leonid Bokut, Louis Rowen, Jie-Tai Yu

Abstract: We explore an (unpublished) approach to the famous Jacobian Conjecture by means of identities of algebras, discovered by the brilliant deceased mathematician, Alexander Vladimirovich Yagzhev (1951{2001). This approach also indicates some very close connections between mathematical physics, universal algebra and automorphisms of polynomial algebras We explore an (unpublished) approach to the famous Jacobian Conjecture by means of identities of algebras, discovered by the brilliant deceased mathematician, Alexander Vladimirovich Yagzhev (1951{2001). This approach also indicates some very close connections between mathematical physics, universal algebra and automorphisms of polynomial algebras △ Less

Submitted 1 December, 2019; v1 submitted 3 August, 2013; originally announced August 2013.

Comments: 48 pages

MSC Class: 14R15

Journal ref: Automorphisms in Birational and Affine Geometry (Bellavista Relax Hotel, Levico Terme --Trento, October 29th --November 3rd, 2012, Italy), Springer Proceedings in Mathematics & Statistics, 79, Springer Verlag, 2014, 249--285