![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
Abstract
We study the sets of elements of Jordan pairs whose local Jordan algebras are Lesieur-Croisot algebras, that is, classical orders in nondegenerate Jordan algebras with finite capacity. It is then proved that, if the Jordan pair is nondegenerate, the set of its Lesieur-Croisot elements is an ideal of the Jordan pair.
1 Introduction
Two obstacles to be overcome in order to embed a semiprime associative algebra into a semisimple artinian algebra are singularity and uniform dimension. Once we are able to ensure both nonsingularity and finite uniform dimension for a semiprime associative algebra, Goldie theory gives us the existence of its classical algebra of quotients. Nevertheless there is a number of conditions, equivalent to being nonsingular and having finite uniform dimension, that also imply that any semiprime associative algebra satisfying any of these equivalent conditions is an order in a semisimple artinian algebra. One of these equivalent conditions, more precisely, that given in terms of the essentiality of one-sided ideals of semiprime Goldie algebras as exactly those containing regular elements, becomes particularly outstanding in the extension of Goldie’s Theorems to Jordan algebras.
First Zelmanov [Citation28, Citation29] for linear Jordan algebras and later Fernández López, García Rus and Montaner [Citation8] for quadratic Jordan algebras considered the extension of Goldie theory to Jordan algebras. In [Citation8], besides characterizing nodegenerate Jordan Goldie algebras as those having a nondegenerate artininan classical algebra of quotients, the authors translated to the Jordan algebras the above mentioned equivalent characterizations of semiprime associative Goldie algebras. However it turned out that the previously mentioned condition involving essential one-sided ideals did not hold for Jordan algebras. Indeed, nondegenerate Jordan algebras whose essential inner ideals can be characterized as those containing injective elements are not Goldie, since they cannot be always imbedded into nondegenerate artinian algebras, but into nondegenerate Jordan algebras having finite capacity. These algebras were named Lesieur-Croisot Jordan algebras by Montaner and Tocón in [Citation25].
In [Citation25] the authors studied not only Jordan algebras having the property of being Lesieur-Croisot, but also the set of elements of a nondegenerate Jordan algebra whose local algebras are Lesieur-Croisot, thus introducing what was called in that reference a local Lesieur-Croisot theory of Jordan algebras.
Recall that since they were introduced by Meyberg in [Citation18], local algebras have been related to some of the most important problems arising in Jordan theory since, as a result of a series of local-to-global inheritance procedures, local properties of local algebras can be carried back to the original Jordan algebra, pair or triple system. For instance, the study of Jordan systems with nonzero local PI-algebras has been a recurrent topic appearing in Jordan theory since Zelmanov’s work on pairs and triple systems.
In the associative pair setting Fernández López, García Rus, Gómez Lozano, and Siles Molina established in [Citation6] an analogue of the classical Goldie theory for semiprime associative pairs, where orders are defined locally. The local approach to Goldie theory for linear Jordan algebras was initiated by Fernández López and García Rus in [Citation4] for strongly prime algebras and extended to the nondegenerate case in [Citation5]. Later Fernández López and García Rus together with Jaa introduced a notion of order in nondegenerate linear Jordan pairs with descending chain condition on principal inner ideals in [Citation7].
Following this local approach, and taking into account [Citation25], in this paper we study the set of elements of a Jordan pair which give rise to local algebras that are classical orders in nondegenerate Jordan algebras of finite capacity, i.e., local algebras which are Lesieur-Croisot algebras. The main result we prove in the present paper is that this set is an ideal when the Jordan pair is nongenerate.
The paper is organized as follows. After this introduction, we devote the first section to basic notions and preliminaries. Then, in Section 2, we include a series of results on the set of elements of a Jordan pair having essential annihilator. This set was proved to be an ideal of any nondegenerate Jordan pair by Fernández López, García Rus and Montaner. In this section besides formulating the above mentioned result, we also include some properties relating the singular ideal of a nondegenerate Jordan pair to that of any of its local algebras.
Section 3 is devoted to Lesieur Croisot Jordan algebras. These Jordan algebras were characterized by Fernández López, García Rus and Montaner in [Citation8]. We also recall here the notion of Lesieur Croisot element as introduced by Montaner and Tocón in [Citation25].
Sections 4 and 5 contain some results that will be instrumental later. More precisely, Section 4 focuses on associative pairs and their left and right singular ideals. Recall that associative pairs naturally arise as associative envelopes of special Jordan pairs, and therefore they are of great relevance in the study strongly prime Jordan pairs of hermitian type. We revisit some results introduced in [Citation6] and [Citation10] focusing on the relationship between the left or right singular ideal of a semiprime associative pair and the ones of its local algebras. We also consider the relationship between the sets of elements of a semiprime associative pair having finite left or right Goldie (or uniform) dimension and the annihilator of its left and right singular ideals. Then, as a first approach to study the set of Lesieur-Croisot elements of nondegenerate Jordan pairs we consider in Section 5 the set of PI-elements of strongly prime Jordan pairs of hermitian type. More precisely, we consider the relationship between the set of PI-elements of a strongly prime Jordan pair of hermitian type and those of any of its *-tight associative pair envelopes, thus extending to Jordan pairs a result previously given by Montaner in [Citation19] for Jordan algebras.
Finally, in the sixth and last section, we address the proof that the set of LC-elements of a nondegenerate Jordan pair is an ideal. Here we follow the pattern given in [Citation25], and after dealing with strongly prime Jordan pairs having non-zero PI-elements, we study the strongly prime PI-less case. Though the steps to follow are rather similar to those in [Citation25], there are still some intermediate results on Jordan pairs that need to be proved since in [Citation25] the authors made use of a series of facts proved [Citation8] only for Jordan algebras. Finally, the extension from strongly prime to nondegenerate Jordan pairs follows the main guidelines considered in [Citation25] in the algebra case.
2 Preliminaries
2.1. •••
We will work with associative and Jordan systems (algebras and pairs) over a unital commutative ring of scalars which will be fixed throughout. We refer to [Citation11, Citation17, Citation18] for notation, terminology and basic results. For us, Jordan system will mean a quadratic Jordan system. We will use identities for Jordan pairs proved in [Citation11], which will be quoted with the labellings JPn.
2.2. •••
A Jordan algebra J has products Uxy
and x
, quadratic in x and linear in y, whose linearizations are
and
. A Jordan pair
has products Qxy
for
,
, with linearizations
. This introductory section mainly focuses on Jordan pairs. The reader is referred to [Citation23, Section 0] for the corresponding basic preliminary results on Jordan algebras.
2.3. •••
An associative pair is a pair of
-modules together with trilinear maps
, defined by
and such that
for all
. An (polarized) involution * in an associative pair A consists of two linear maps
such that
and
for all
. Associative pairs with polarized involutions were studied in [Citation9, Section 3].
2.4. •••
Similarly to the algebra case, where every associative algebra A gives rise to a Jordan algebra by taking Uxy
= xyx and
for
, any associative pair
provides a Jordan pair
taking Qxy
= xyx for all
. A Jordan system (algebra or pair) is special if it is isomorphic to a Jordan subsystem of
for some associative system A and i-special if it satisfies all identities satisfied by all special Jordan systems.
2.5. •••
If A is an associative algebra with involution *, then is a Jordan subalgebra of
and so are ample subspaces
of symmetric elements of A i.e. subspaces of
such that
and
are in
for all
and all
. If
is an associative pair with polarized involution *, then
, where
is a Jordan subpair of
. Ample subspairs
of symmetric elements containing the traces
of elements of
and satisfying
for all
are also Jordan subpairs of
. Ample subpairs of associative pairs with involution were studied in [Citation9, Section 4].
2.6. •••
A -submodule K of
is an inner ideal of V if
for all
. A
-submodule
is an ideal if
for
. An ideal of V is essential if it intersects nontrivially any nonzero ideal of V. Essentiality of an inner ideal K of
implies that it hits nontrivially any other nonzero inner ideal of V, contained in
.
2.7. •••
A Jordan pair V is nondegenerate if for any nonzero
, and prime if
for any nonzero ideals I and L of V. A Jordan pair is strongly prime if V is both nondegenerate and prime. A Jordan pair is semiprime if V has no nonzero trivial ideals i.e. if
for any nonzero ideal I of V.
2.8. •••
The product QIL
of two ideals I and L of a Jordan pair V is not an ideal of V, but a semi-ideal. Recall that a -submodule
of V is a semi-ideal if
. The product QIL
of semi-ideals is again a semi-ideal [Citation15]. For any semi-ideal I we can form a chain of semi-ideals (called intrinsic derived spaces) given by
and
, for all
. On the other hand, if I and L are ideals of V, then so is
and, in particular,
the derived ideal of I and the nth derived ideals
for all
(
).
We remark that given a semi-ideal I of V, then is an ideal of V called the hull of I and denoted
. Similarly we can consider
which are ideals of V for any semi-ideal I. For any ideal I of V, it holds that
for any
[Citation3, p. 210-211]. Moreover the following conditions are equivalent for any ideal I of V and any
:
V is semiprime, that is,
implies I = 0 for any ideal I of V.
for any ideal I of V.
for any ideal I of V.
for any ideal I of V.
2.9. •••
The annihilator of a subset is the set
of all
such that
,
and
for all
. Annihilators are always inner ideals. If
is an ideal of V, then
is again an ideal of V. If V is nondegenerate, the annihilator of an ideal I of V is characterized as follows (see [Citation15, Proposition 1.7(i)] and [Citation20, Lemma 1.3]):
An ideal of a nondegenerate Jordan pair is essential if and only if it has zero annihilator.
2.10. •••
Let V be a special Jordan pair. An associative pair with a (polarized) involution is an associative *-envelope of V if A is generated by
, and it is said to be *-tight over V if any nonzero *-ideal I of A hits V nontrivially:
for any nonzero *-ideal I of A.
2.11. •••
An i-special Jordan pair V is of hermitian type if its hermitian parts are not annihilated, i.e., . Clearly a prime Jordan pair is of hermitian type if and only if
for some hermitian ideal
of the free special Jordan pair
.
2.12. •••
Given a Jordan pair and an element
the
-module
becomes a Jordan algebra denoted by
and called the a- homotope of V defining
and
for all
. The set
is an ideal of
and the quotient
is a Jordan algebra called the local algebra of V at a. If V is nondegenerate, then
.
2.13. •••
The socle of a Jordan pair was studied by Loos in [Citation12]. The socle of a nondegenerate Jordan pair V is the sum of all minimal inner ideals of V, it is a direct sum of simple ideals of V, consists of von Neumann regular elements (i.e. elements
such that x = Qxy
for some
), and satisfies the dcc (descending chain condition) on principal inner ideals [Citation13]. The elements of the socle of a nondegenerate Jordan pair are exactly those whose local algebras have finite capacity [Citation19, Lemma 0.7(b)], that is, Jordan algebras satisfying the acc (ascending chain condition) and dcc on principal inner ideals. A characterization of the elements of the socle of a nondegenerate Jordan pair in terms of the descending chain condition of principal inner ideals can be found in [Citation12, Theorem 1]. Strongly prime Jordan pairs with nonzero socle were determined in [Citation9].
2.14. •••
An element a of a Jordan pair V is a PI- element if the local algebra of V at a is a PI-algebra. If V is a Jordan pair, we write where
is the set of PI-elements of
. It was proved in [Citation19, Theorem 5.4] that the set of PI-elements of a nondegenerate Jordan pair is an ideal. Jordan pairs with PI(V) = 0 are called PI-less Jordan pairs. PI-less strongly prime Jordan pairs are special of hermitian type.
3 The singular ideal of a Jordan pair
In this section we recall the definition of the singular set for Jordan pairs, which is analogous to that given in [Citation8] for Jordan algebras. The contents of this section correspond to an unpublished work by the first author together with Fernández López and García Rus. The main result we provide here is that the set of elements of a Jordan pair having essential annihilator forms an ideal when the Jordan pair is nondegenerate.
3.1. •••
The singular set of a Jordan pair V is , where
A Jordan pair V will be called nonsingular if . If
, then the Jordan pair V is called singular.
3.2. •••
For all and
. This implies that
consists of a pair of inner ideals of V.
3.3. •••
Proposition.
Let V be a nondegenerate Jordan pair and .
is an inner ideal of
contained in
.
If
, then
.
Proof.
(i) Let and take
a nonzero inner ideal of
, where
is an inner ideal of
and – denotes the projection of
onto
. The proof of [Citation8, Proposition 6.4] works here with minor changes to prove
, which implies that
.
(ii) Following [Citation8, Theorem 6.1] and [Citation25, Lemma 4.1] the proof consists of a series of successive steps leading to contradiction. Suppose there exists such that
. Then, there exists a nonzero inner ideal
with
.
We may also assume QbK
= 0. Consider otherwise that . Then
is a nonzero inner ideal of
and, since
, there exists
such that
. Then, see 2.12,
, and by JP2 it holds that
. Similarly one obtains
. Next, again using
, we have
, and we obtain that:
(1)
(1)
By JP8, for any we have:
Linearizing JP3 and denoting by the triple product at the b-homotope algebra
, since
,
which implies that
. Analogously, using JP7, we prove
. It also holds
, and similarly that
. Since
, this results into
. Finally, since V is nondegenerate, we obtain
, and therefore replacing K by
we can assume QbK
= 0.
Next we claim:(2)
(2)
Assume on the contrary for some
. Then, since QbK
= 0, by JP7, we have
, and using JP8, it follows that
. Again using QbK
= 0, we obtain
, which implies, by the nondegenerancy of V, that
, contradicting the choice of k. This proves (2).
Take now . Since V is nondegenerate, by (2),
for some
. Then, by JP20, using that QbK
= 0 and the nondegenerancy of V,
which implies that
, or equivalently,
. Therefore, since
, there exists
such that
(3)
(3)
By JP21, we note that for any and
,
Since , V is nondegenerate and QbK
= 0, it follows that:
(4)
(4)
Write now , with
as in (3). By (4),
and we have
(5)
(5)
Thus we have proven the following assertion:(6)
(6)
Let now be such that
. Since V is nondegenerate, by (4), there exists
such that:
(7)
(7)
We claim that (7) leads to contradiction. By JP12 and JP7, it holds:
Since V is nondegenerate and QbK
= 0, we have and
. Moreover, since
, it holds that
. This results into
, and analogously into
. Next we note that
, which finally implies:
(8)
(8)
By JP12, , and then:
Now, using QbK
= 0 and (8), by the nondegenerancy of V and taking into account that implies
it follows that
. Analogously, we obtain that
, which together with
and
, imply that
and contradicts (7). □
3.4. •••
Theorem.
Let V be a nondegenerate Jordan pair. Then is an ideal of V, called the singular ideal of V.
Proof.
By 3.2, consists of a pair of inner ideals, and it follows from Proposition 3.3 that
.
We claim . To prove this claim let
and
, and assume that there exists a nonzero inner ideal
such that
. By the essentiality of
, using a standard argument involving structural transformations [Citation11], we can suppose that the inner ideals K,
and
are all contained in
, which implies also that
. (Here
denotes the Bergman operator.)
Let . Taking into account that K,
and
are all assumed to be contained into
, by JP21,
and by JP15, . Similarly one obtains
, which results into
, contradicting therefore that
. Hence, it holds that
. □
Next we bring together, for further use and citation, different results involving the singular ideal of a nondegenerate Jordan pair V.
3.5. •••
Corollary.
Let V be a nondegenerate Jordan pair. Then:
Every
such that
is nonsingular is contained in
.
V is nonsingular if and only if for every
the local algebra
of V at b is nonsingular.
If V is strongly prime and
is nonsingular for a nonzero
, then V is nonsingular.
. In particular, if V is strongly prime and
then V is nonsingular.
For any ideal I of V,
. Thus, if I is essential, V is nonsingular if and only if I is nonsingular.
does not contain nonzero von Neumann regular elements. Thus, any nondegenerate Jordan pair with essential socle is nonsingular.
Proof.
(i) It follows from Proposition 3.3.
(ii) If V is nonsingular, by Proposition 3.3, so are all its local algebras. Assume now that is nonsingular for all
. Then, by (i),
, which implies
, by the nondegenerancy of V.
(iii) Suppose V is strongly prime with a nonsingular local algebra for some element
. By (i),
, and the result now follows from Theorem 3.4 (see 2.9).
(iv) Nondegenerate Jordan PI-algebras were proven to be nonsingular in [Citation8, Proposition 6.6]. Thus, if V is nondegenerate, by (i), . If V is strongly prime with nonzero PI-elements, by (iii),
.
(v)-(vi) The proofs of [Citation8, Proposition 6.2] and [Citation8, Proposition 6.5] work here with minor changes. □
4 Lesieur-Croisot Jordan algebras
This section contains some of the main basic definitions and results relative to Goldie theory for quadratic Jordan algebras as well as the notion of Lesieur Croisot Jordan algebra. We refer the reader to [Citation8] and [Citation25, Citation26] for more accurate results on this theory.
4.1. •••
Let be a Jordan algebra, J be a subalgebra of
, and
. We recall from [Citation20] that an element
is a J-denominator of
if the following multiplications take
back into J:
Table
where denotes the unital hull
of J. We will denote the set of J-denominators of
by
. It has been proved in [Citation20] that
is an inner ideal of J.
4.2. •••
A nonempty subset is a monad if Ust
and s
are in S for all
. A subalgebra J of a unital Jordan algebra Q is an S-order in Q or equivalently Q is a S-algebra of quotients, or an algebra of fractions (of J relative to S) if:
(CIQ1) every element
is invertible in Q.
(CIQ2) each
has a J-denominator in S.
(CIQ3) for all
.
4.3. •••
An element s of a Jordan algebra J is said to be injective if the mapping Us is injective over J. We will denote by Inj(J) the set of injective elements of J [Citation8].
4.4. •••
A Jordan algebra Q containing J as a subalgebra is a classical algebra of quotients of J, or an algebra of fractions of J (and J is a classical order in Q) if all injective elements of J are invertible in Q and for all
. That is, classical algebras of quotients are S-algebras of quotients (or algebras of fractions relative to S) for
. Moreover, they are algebras of quotients in the sense of [Citation21, Citation22] (see for instance [Citation21, Examples 2.3.5]).
4.5. •••
A nondegenerate Jordan algebra is Goldie if and only if it is nonsingular and has finite uniform dimension. Nondegenerate Goldie Jordan algebras were characterized in [Citation8, Theorem 9.3]. We only recall here that although nondegenerate Goldie Jordan algebras satisfy the property that essential inner ideals contain injective elements, such Jordan algebras are not necessarily Goldie in contrast to the analogous assertion for associative rings. Indeed it suffices to consider any Jordan algebra of a quadratic form on a vector space with infinite dimensional totally isotropic subspaces.
4.6. •••
Theorem.
[Citation8, Theorem 10.2] A Jordan algebra J is a classical order in a nondegenerate unital Jordan algebra Q with finite capacity if and only if it is nondegenerate and satisfies the property: an inner ideal K of J is essential if and only if K contains an injective element. Moreover, Q is simple if and only if J is prime.
4.7. •••
Jordan algebras satisfying the equivalent conditions of [Citation8, Theorem 10.2] are named Lesieur-Croisot Jordan algebras, LC-algebras for short, in [Citation25, Definition 3.2]. An element a of a Jordan algebra J is said to be a Lesieur-Croisot element (LC-element, for short) if the local algebra of J at a is a LC-algebra. The set LC(J) of LC-elements of a Jordan algebra J is an ideal if the Jordan algebra J is nondegenerate [Citation25, Theorem 5.13]. It follows straightforwardly from [Citation8, Theorem 9.3] that nondegenerate Goldie Jordan algebras are LC-algebras. LC-Jordan algebras were studied by Montaner and Tocón in [Citation25] (see also [Citation26]).
5 The singular ideal of semiprime associative pairs
In this section we study the set of elements of a semiprime associative pair with essential left (or right) annihilator.
5.1. •••
Let be an associative pair. Following [Citation11] we denote by
the standard imbedding of A, a unital associative algebra having an idempotent e which produces a Peirce decomposition
where
with
and
, such that
. Recall that
is spanned by the idempotent e and all the elements
where
. Similarly
is spanned by the element
and all the elements
. We will denote by
the subalgebra of
generated by the elements
and
. We will say that
is the associative envelope of A. Note that
is an essential ideal of
and
where
.
5.2. •••
Remark.
Notation for the associative envelope and the standard imbedding
of an associative pair A, as used here, follows that considered in [Citation24]. We refer the reader to [Citation24, Remark 2.1] for discussion about the different notation and terminology used for
and
. See, for instance, [Citation6, Citation9, Citation10, Citation14].
5.3. •••
Given an associative pair , we will say that a
-submodule L of
is a left ideal of A if
. Right ideals are defined similarly. An ideal
of A is a pair of two-sided (i.e. left and right) ideals
, such that
.
5.4. •••
A left ideal L of A, contained in , is essential if it has nonzero intersection with any nonzero left ideal of A contained in
. Essential right ideals are defined similarly.
5.5. •••
An associative pair A is semiprime if and only if , implies I = 0 for any ideal I of A and prime if and only if
, implies I = 0 or J = 0 for any ideals I and J of A. An associative pair A is (semi)prime if and only if so is its standard imbedding
if and only if so is its associative envelope
[Citation6, Proposition 4.2].
5.6. •••
Let be an associative pair. Any element
, endows the
-module
with a multiplication
for any
, and defines an associative
-algebra
called the a- homotope algebra of A. The local algebra
of A at a is defined as the quotient of the a-homotope algebra
by the ideal
. Moreover, for all
, we have
[Citation9, Proposition 3.4(3)].
5.7. •••
An element of an associative pair A is a PI- element if the local algebra
of A at a satisfies a polynomial identity. We write
, where
is the set of PI-elements of
. The set of PI-elements of any associative pair was proved to be an ideal in [Citation19, Proposition 1.6]. Moreover, if A is semiprime
[Citation24, Proposition 2.3].
5.8. •••
Let A be an associative pair. For any subset , the sets
are the left and right annihilators of X in A and are left and right ideals of A respectively. If A is semiprime, then
If we will denote by
and
the left and right annihilators of the element x. The annihilator of X is
. If A is semiprime, for any ideal
of A,
, where
, is an ideal of A [Citation6, Proposition 2.2].
5.9. •••
Let A be a semiprime associative pair. Then , where
A
, is an ideal of A called the left singular ideal of A [Citation6, Theorem 3.1]. Analogously we define
to be the right singular ideal of A. We will say that A is left nonsingular if
. Right nonsingularity is defined similarly. An associative pair A is said to be nonsingular if it is both left and right nonsingular.
5.10 •••
Proposition.
Let A be a semiprime associative pair, and . Then:
If
, then
.
If
, then
.
. Thus
implies that
.
Proof.
(i) and (ii) follow from [Citation6, Proposition 5.3(i)-(ii)]. To prove (iii), take with
, so that
and let
be a nonzero left ideal of
, where – denotes the projection of
onto
. We can assume that L is a nonzero left ideal of A, contained in
(see the proof of [Citation8, Lemma 6.3]). Moreover, as
is an ideal of A, and therefore
, by essentiality of
in A, we can assume that
.
Since , we have
and then, by semiprimeness of A,
. Hence
. Take now
with
. Then
. Therefore we have
which implies that
, hence
and
since
, implying that
.
Finally, if , then we have
and therefore, by [Citation6, Proposition 2.2(ii)],
. □
5.11. •••
The left Goldie (or uniform) dimension of a left ideal L of an associative pair A is a nonnegative integer n such that L contains a direct sum of n nonzero left ideals and any direct sum of nonzero left ideals contained in L has at most n nonzero left ideals. The left Goldie (or uniform) dimension of an element is the left Goldie dimension of the principal left ideal
generated by a. A left ideal L of a semiprime associative pair A, contained in
, has finite left Goldie (or uniform) dimension if it contains no infinite direct sums of nonzero left ideals of A, contained in
. If any element of A has finite left Goldie (or uniform) dimension, then it is said that A has finite left local Goldie (or uniform) dimension. Following [Citation10] we write
, where
denotes the set of elements of
having finite left Goldie (or uniform) dimension. Similarly, we denote the set of elements of A with finite right Goldie (or uniform) dimension as
.
5.12. •••
Proposition.
Let A be a semiprime associative pair. If , then
is an ideal of A contained in
.
Proof.
The proof of [Citation25, Proposition 4.6] can be used here with only slight modifications for adapting it to the pair setting. Indeed, it suffices to replace references for associative algebras [Citation25, Lemma 4.5(i)-(ii)] by Proposition 5.10(i)–(iii), and use [Citation6, Proposition 3.2] and [Citation10, Proposition 3.3(iv)]. □
6 PI-elements of special Jordan pairs
PI-elements play an important role in the local LC-theory of Jordan algebras developed in [Citation25]. To tackle the local LC-theory for Jordan pairs, we study in this section the relationship between the PI-ideal of a strongly prime Jordan pair of hermitian type and that of its *-tight associative pair envelope, thus extending to Jordan pairs results originally given for special Jordan algebras in [Citation19, Theorem 6.5].
6.1. •••
Lemma.
Let V be a special Jordan pair, subpair of for an associative pair A with involution *, and let
be a hermitian ideal of the free special Jordan pair
. Then:
for any ideal I of V the n-tads
are in I for all odd n.
if
, for any
the n-tads
and
are in I for all odd n.
Proof.
Take ,
and variables
(where X is considered to be a polarized set of variables). Note that, since
, we can write
. Now:
and
are sums of n-tads (n odd) elements of
, so they are Jordan polynomials in
, and the proof of [Citation1, Lemma 2.1] applies here yielding (i).
Finally, we note that if n < 5, then (ii) is trivial, since I is an ideal of V, and for it follows from (i) above. □
The next result states that local algebras of ample subpairs of associative pairs with involution retain ampleness in the set of symmetric elements of the local algebra with the induced involution.
6.2. •••
Corollary.
Let be an ample subpair of an associative pair A with an involution *. Then for any
the local algebra
is an ample subspace of
.
Proof.
The proof is straightforward from Lemma 6.1 (see [Citation1, Lemma 2.3] for the algebra case). □
The proof of the next result follows that of [Citation19, Theorem 6.5]. Here however we need to tackle the fact that, as noted in 2.8, products of ideals of Jordan pairs are not again ideals, merely semi-ideals. We will use Lemma 6.1 to overcome this additional difficulty on the generation of powers of ideals.
6.3. •••
Theorem.
Let V be a strongly prime Jordan pair with a *-tight associative envelope A. If V is of hermitian type, then .
Proof.
The containment was proved in [Citation19, Lemma 6.4(b)] for special Jordan systems (including Jordan pairs).
To prove the reverse inclusion take and suppose
for a hermitian ideal
of
. Set
(see 2.8) and denote by S the Jordan subpair of V generated by I and the element a, by R the associative subpair of A generated by S and by B the subpair of R generated by I. Then S is strongly prime, since it contains the nonzero ideal I of V (the proof of [Citation1, Lemma 2.4] applies here), and it follows from Lemma 6.1 that
and
. Moreover, by [Citation3, Lemma 2.32], and as a result of the correspondence between Jordan pairs and polarized triple systems (see [Citation3, Section 5] for further details), we have that B is *-tight over I.
Now by [Citation16, Jordan Memory Theorem 4.2] we have , where
is the pair of Martindale symmetric quotients of B. Moreover we have
. Hence R is semiprime by [Citation10, Lemma 2.13(ii)].
Next, since , the local algebra
which is a subalgebra of the PI-algebra
, is itself a Jordan PI-algebra, and since by Corollary 6.2 we have
, it follows from [Citation27, Corollary 7.4.13] that
is an associative PI-algebra.
Consider now the standard imbedding of the associative pair R (see 5.1). Since
by [Citation9, Proposition 3.4(3)], we have that the associative algebra
satisfies a GPI. (Note also that
by [Citation24, Proposition 2.3].) But then, as a result of
, we have that the standard imbedding
of the associative pair A satisfies the same GPI as
does. Therefore, we finally obtain that
since we have
. □
7 Lesieur-Croisot elements of nondegenerate Jordan pairs
This section is devoted to study the set of LC-elements of a Jordan pair, concretely to prove that this set is an ideal if V is nondegenerate. We first focus on the strongly prime case, since it requires of new intermediate results for Jordan pairs. The nondegenerate case, as it closely follows [Citation25] for Jordan algebras, is just outlined. Yet, all necessary references relative to (associative and Jordan) pairs are however provided.
7.1. •••
Let V be a Jordan pair. We will say that an element is a Lesieur Croisot element of V (and LC-element for short) if the local algebra
of V at x is a Lesieur-Croisot Jordan algebra (see 4.7). We will denote by
the set of LC-elements of a Jordan pair V.
We start stating that the set of LC-elements of any strongly prime Jordan pair with nonzero PI-elements coincides with its PI-ideal.
7.2. •••
Proposition.
Let V be a strongly prime Jordan pair having nonzero PI-elements. Then , and in particular, LC(V) is an ideal of V.
Proof.
The proof of [Citation25, Proposition 3.3] works here. □
7.3. •••
Proposition.
Let V be a strongly prime Jordan pair such that PI(V) = 0 and . Then V is nonsingular and
, where
with
.
Proof.
Following the proof of [Citation25, Proposition 4.2], it suffices to replace [Citation8, Proposition 6.4] by Proposition 3.3(i) and Corollary 3.5(i), and recall that local algebras of nonsingular Jordan pairs inherit nonsingularity by Corollary 3.5(ii). □
Next we prove a pair analogue of a result contained into the proof of [Citation19, Theorem 6.5] (see also [Citation25, Lemma 4.3]). To prove the following lemma we make use of a result from [Citation2] on the *-tightness of any *-prime associative system over its nonzero ample subsystems together to some other intermediate results appearing in the proof of Theorem 6.3.
7.4. •••
Lemma.
Let V be a strongly prime Jordan pair such that PI(V) = 0 and let the associative pair A be a *-tight associative envelope of V. Then for each , the subpair S of V generated by the ideal
, where
for some nonzero hermitian ideal
and the element a is strongly prime of hermitian type. Moreover
, where R, the associative subpair of A generated by
, is a *-tight associative envelope of S.
Proof.
It follows from the proof of Theorem 6.3 that S is a strongly prime Jordan pair and an ample subpair of R, where R denotes the associative subpair of A generated by I and the element a. Now, since R is semiprime (indeed, it is *-prime), the *-tightness of R over S follows from [Citation2, Proposition 3.1]. □
7.5. •••
Theorem
. Let V be a strongly prime Jordan pair with PI(V) = 0 and let the associative pair A be a *-tight associative envelope of V. Then we have , where
with
and
with
. Moreover if A is prime, then
for all
.
Proof.
Let . We first note that it suffices to prove the left version of the claimed statement as then the right one will follow symmetrically, that is, it suffices to prove that the local algebra
of V at a has finite uniform dimension if and only if so has
, and that both uniform dimensions coincide if A is prime. It is straightforward to check that the arguments given in the proof of [Citation25, Theorem 4.4] work here applied now to Jordan pairs. Indeed, it suffices to replace [Citation25, Lemma 4.3] by Lemma 7.4 and recall that the set PI(A) of PI-elements of an associative pair A is an ideal of A by [Citation19, Proposition 1.6]. Finally we recall the relationship between the set of PI-elements of any strongly prime Jordan pair of hermitian type and those of any of its *-tight associative envelopes given in Proposition 6.3 and also that between local algebras of associative pairs and those of their standard imbeddings (see 5.7). □
7.6. •••
Proposition.
Let V be a strongly prime PI-less Jordan pair and let the associative pair A be a *-tight associative envelope of V. If V is nonsingular, then .
Proof.
We first note that V is special of hermitian type since it is PI-less. Take a hermitian ideal with
, and let R be the associative subpair of A generated by
. Then
is an ample subpair of
and R is *-tight over
[Citation3, Lemma 2.32]. Therefore R is *-prime. Moreover since
, where
denotes the Martindale pair of symmetric quotients of R we have
[Citation10, Proposition 2.14(iii)]. Thus since by Corollary 3.5(v) the ideal
is nonsingular, we may replace V by
and assume that
is an ample subpair of A.
Take now . By Corollary 6.2 we have
and, since
is *-prime, it follows from [Citation2, Theorem 1.2] that
is *-tight over
. Therefore, by [Citation8, Theorem 6.14],
, where
by Proposition 5.10(ii). Hence we have
which implies
by Proposition 3.3(ii), and we finally obtain a = 0 by nondegeneracy of V. □
7.7. •••
Theorem.
Let V be a strongly prime Jordan pair. Then LC(V) is an ideal of V.
Proof.
Obviously we can assume that . If
it was already proved in Proposition 7.2 that LC(V) is an ideal of V, we can therefore suppose that V is PI-less. Let A be a *-tight associative envelope of V, we have that V is nonsingular, and that
by Proposition 7.3. Moreover
by Proposition 7.6. Thus, since
is a *-ideal of A, we get
by *-tightness of A over V. Now, by Proposition 5.12,
is a *-ideal of A contained in
. (The proof that
is an *-ideal of A works as in [Citation25, Proposition 4.6].) Hence LC(V) is an ideal of V by Theorem 7.5. □
Finally, to extend the above result to nondegenerate Jordan pairs it suffices to restate adapted to pairs the results of [Citation25, Section 5] to prove that the set of LC-elements of a nondegenerate Jordan algebra is an ideal.
7.8. •••
Theorem.
Let V be a nondegenerate Jordan pair. Then the set where
is an ideal of V.
Proof.
The proof of [Citation25, Theorem 5.13] works here to reduce the nondegenerate case to that of strongly prime Jordan pairs, which in turn follows from Theorem 7.7. □
Acknowledgments
The authors want to thank Professor Fernández López for his kindness in sharing the unpublished results contained in the manuscript Goldie Theory for Jordan pairs authored by A. Fernández López, E. García Rus and F. Montaner.
Additional information
Funding
References
- Anquela, J. A., Cortés, T., Montaner, F. (1995). Local inheritance in Jordan algebras. Arch. Math. 64:393–401. DOI: 10.1007/BF01197216.
- Anquela, J. A., Cortés, T., McCrimmon, K., Montaner, F. (1997). Strong primeness of Hermitian Jordan systems. J. Algebra 198:311–326. DOI: 10.1006/jabr.1997.7137.
- D’Amour, A. (1992). Quadratic Jordan systems of Hermitian type. J. Algebra 149:197–233.
- Fernández López, A., García Rus, E. (1995). Prime Jordan algebras satisfying local Goldie conditions. J. Algebra 174:1024–1048. DOI: 10.1006/jabr.1995.1165.
- Fernández López, A., García Rus, E. (1996). Nondegenerate Jordan algebras satisfying local Goldie conditions. J. Algebra 182:52–59. DOI: 10.1006/jabr.1996.0161.
- Fernández López, A., García Rus, E., Gómez Lozano, M., Siles Molina, M. (1998). Goldie theorems for associative pairs. Commun. Algebra 26(9):2987–3020. DOI: 10.1080/00927879808826324.
- Fernández López, A., García Rus, E., Jaa, O. (1998). Towards a Goldie theory for Jordan pairs. Manuscripta Math. 95:79–90. DOI: 10.1007/BF02678016.
- Fernández López, A., García Rus, E., Montaner, F. (2002). Goldie Theory for Jordan algebras. J. Algebra 248: 397–471. DOI: 10.1006/jabr.2001.9009.
- Fernández López, A., Tocón, M. I. (2003). Strongly prime Jordan pairs with nonzero socle. Manuscripta Math. 111:321–340. DOI: 10.1007/s00229-003-0372-6.
- Gómez Lozano, M., Siles Molina, M. (2004). Left quotient associative pairs and Morita invariant properties. Commun. Algebra 32(7):2841–2862. DOI: 10.1081/AGB-120037419.
- Loos, O. (1975). Jordan Pairs. Lecture Notes in Mathematics, Vol. 460. New York: Springer.
- Loos, O. (1989). On the socle of a Jordan pair. Collect. Math. 40:109–125.
- Loos, O. (1991). Finiteness conditions in Jordan pairs. Math. Z. 206:577–587. DOI: 10.1007/BF02571365.
- Loos, O. (1995). Elementary groups and stability for Jordan pairs. K. Theory 9:77–116. DOI: 10.1007/BF00965460.
- McCrimmon, K. (1984). Strong prime inheritance in Jordan systems. Algebras Groups Geom. 1:217–234.
- McCrimmon, K. (1998). Martindale systems of symmetric quotients. Algebras Groups Geom. 6:153–237.
- McCrimmon, K., Zelmanov, E. (1988). The structure of strongly prime quadratic Jordan algebras. Adv. Math. 69:133–222. DOI: 10.1016/0001-8708(88)90001-1.
- Meyberg, K. (1972). Lectures on Jordan Algebras and Triple Systems. Lecture Notes. Charlottesville: University of Virginia.
- Montaner, F. (1999). Local PI theory of Jordan systems. J. Algebra 216:302–327. DOI: 10.1006/jabr.1998.7755.
- Montaner, F. (2001). Local PI theory of Jordan systems II. J. Algebra 241:473–514. DOI: 10.1006/jabr.2001.8779.
- Montaner, F. (2010). Algebras of quotients of Jordan algebras. J. Algebra 323:2638–2670. DOI: 10.1016/j.jalgebra.2010.02.019.
- Montaner, F., Paniello, I. (2007). Algebras of quotients of nonsingular Jordan algebras. J. Algebra 312(2):963–984. DOI: 10.1016/j.jalgebra.2006.06.052.
- Montaner, F., Paniello, I. (2017). Local orders in Jordan algebras. J. Algebra 485:45–76. DOI: 10.1016/j.jalgebra.2017.03.013.
- Montaner, F., Paniello, I. (2021). PI theory for associative pairs. Linear Multilinear Algebra 69(14):2586–2606. DOI: 10.1080/03081087.2019.1686452.
- Montaner, F., Tocón, M. (2006). Local Lesieur-Croisot theory of Jordan algebras. J. Algebra 301:256–273. DOI: 10.1016/j.jalgebra.2005.07.014.
- Montaner, F., Tocón, M. I. (2009). The ideal of Lesieur-Croisot elements of a Jordan algebra. II. In: Algebras, Representations and Applications, Contemporary Mathematics, Vol. 483. Providence, RI: American Mathematical Society, pp. 199–203.
- Rowen, L. H. (1980). Polynomial Identities in Ring Theory. New York: Academic Press.
- Zelmanov, E. (1987). Goldie’s theorem for Jordan algebras. Siberian Math. J. 28:44–52.
- Zelmanov, E. (1988). Goldie’s theorem for Jordan algebras II. Siberian Math. J. 29:68–74.