All Varieties of Normal Bands with Involution

In the present paper we completely determine the lattice L(NB ^*) of all varieties of normal bands equipped with an involutorial antiautomorphism as a fundamental operation.     

On the Lattice of Varieties of Involution Semigroups

In this paper, we investigate the lattice \smallbf L( \cal S ^\ast) of varieties of involution semigroups (semigroups endowed with an involutorial antiautomorphism ^\ast as a fundamental operation). There are two kinds of atoms in \smallbf L( \cal S ^\ast) : four nongroup ones and two countably infinite families of varieties of groups with involution. We exhibit the sublattices of \smallbf L( \cal S ^\ast) generated by both of these two collections of its atoms. September 9, 1999     

On finite hyperidentity bases for varieties of semigroups

For any varietyV of semigroups, we denote byH(V) the collection of all hyperidentities satisfied byV. It is natural to ask whether, for a givenV, H(V) is finitely based. This question has so far been answered, in the negative, for four varieties of semigroups: for the varieties of rectangular bands and of zero semigroups by the author in [8]; for the variety of semilattices by Penner in [5]; and for the varietyS of all semigroups by Bergman in [1]. In this paper, we show how Bergman's proof may in fact be used to deal with a large class of subvarieties ofS, namely all semigroup varieties except those satisfyingx ² =x ^2+m for somem. As a first step in the investigation of these exceptional varieties, we also present some hyperidentities satisfied by the variety B_1,1 of bands, and, using the same technique, show thatH(V) is not finitely based for any subvarietyV of B_1,1. These proofs all exploit the fact that the particular variety in question has hyperidentities of arbitrarily large arity. We conclude with an example of a variety for which even the collection of hyperidentities containing only one binary operation symbol is not finitely based.Presented by W. Taylor.Research supported by Natural Sciences & Engineering Research Council of Canada.     

Absolute Valued Algebras Satisfying ( x 2, x 2, x 2) = 0

Abstract

Let A be an absolute valued algebra. We prove that if A satisfies the identity (x ², x ², x ²) = 0 for all x in A, and contains a central idempotent e, that is ex = xe for all x in A, then A is finite dimensional. This result enables us to prove that if A satisfies (x ², x ², x ²) = 0 and admits an involution then A is finite dimensional. To show that our assumptions on A are essential we recall that in El-Mallah [El-Mallah, M. L. (1988). Absolute valued algebras with an involution. Arch. Math. 51:39–49] it was shown that the existence of a central idempotent in A is not a sufficient condition for A to be finite dimensional; and the example given in El-Mallah [El-Mallah, M. L. (2003). Semi-algebraic absolute valued algebras with an involution. Comm. Algebra 31(7):3135–3141] shows that there exist infinite dimensional semi-algebraic absolute valued algebras satisfying the identity (x ², x ², x ²) = 0.     

Formally Real Involutions on Central Simple Algebras

An involution # on an associative ring R is formally real if a sum of nonzero elements of the form r ^# r where r ? R is nonzero. Suppose that R is a central simple algebra (i.e., R = M _n (D) for some integer n and central division algebra D) and # is an involution on R of the form r ^# = a ^?1 r? a, where ? is some transpose involution on R and a is an invertible matrix such that a? = ±a. In Section 1 we characterize formal reality of # in terms of a and ?| _D . In later sections we apply this result to the study of formal reality of involutions on crossed product division algebras. We can characterize involutions on D = (K/F, Φ) that extend to a formally real involution on the split algebra D ? _F K ? M _n (K). Every such involution is formally real but we show that there exist formally real involutions on D which are not of this form. In particular, there exists a formally real involution # for which the hermitian trace form x ? tr(x ^# x) is not positive semidefinite.     

Varieties of lattice-ordered groups in which prime powers commute

We show that the set of all varieties of lattice ordered groups contained in the metabelian variety defined by the lawx ^p y ^p =y ^p x ^p (wherep is a prime) is a well ordered tower. We give an explicit construction of the subdirectly irreducible members of each of these varieties and show that each variety is defined by a single equation.Presented by L. Fuchs.     

Commuting Involution

We are given a semiprime unital ring A with * such that x*x = xx* for all elements x of A. We will show that both elements x + x* and xx* are central elements. In the case in which A is a quaternion algebra over a field F in the sense given by Albert, we show that * is unique and coincides with the canonical involution. We also provide specific constructions of quaternion division algebras A with canonical involution over a field F of one of the following types: (i) F is a function field in two variables over a ground field of unspecified characteristic; (ii) F is a function field over the Galois field GF(2ⁿ); and (iii) F is a function field over the Galois field GF(pⁿ) where p is an odd prime number and n is a natural number.     

Identities without the star for *-bands

Adair determined the lattice of varieties of *-bands and provided a single identity for each of them. We construct a new set of identities for the same purpose. Both of these systems involve at least one variable which is starred. Using the second system of identities, we show that the system of identities constructed by Gerhard and the author for varieties of bands also represents a set of identities determining the varieties of *-bands. The same type of result is proved for varieties of band monoids and varieties of *-band monoids using the results of two papers by Wismath.Presented by R. W. Quackenbush.     

Relatively free bands

The operators h_n and i _n and their duals hmacr;_n and imacr;_n defined on the free semigroup X ⁺ for a nonempty set X by Gerhard and Petrich are proved here to be homomorphisms of onto certain subsets of X ⁺ with a suitable multiplication. From the work of the authors mentioned, these operators induce fully invariant congruences on X ⁺ corresponding to join irreducible varieties of bands if X is countably infinite. New operators on X ⁺ are defined by means of these operators which give homomorphisms in an analogous way and induce fully invariant congruences on X ⁺corresponding to all varieties of bands except for the variety of all bands, and some varieties of normal bands. The former of these was investigated by the mentioned authors and the latter must be treated differently. By means of the above operators we are able to characterize all cases of relatively free bands.     

Hybrid bases for varieties of semigroups

We consider the lower part of the lattice of varieties of semigroups. We present finite bases of hybrid identities for the varieties of normal bands, commutative bands and abelian groups of finite exponent.The variety A_n,0 of abelian groups provides an example of a variety which has no finite base of hyperidentities (cf. [12]) but has a finite base of hybrid identities.     

On strongly real elements of finite groups

Let G be a group and x ∈ G. If x is inverted by an involution i of G, i.e., x ⁱ = x ⁻¹, then the element x is called strongly real. A group consisting of only strongly real elements is called strongly real. In this paper, we study the disposition of strongly real elements in a finite group and the existence of elements that are not strongly real in connection with problems 14.69 and 14.82 from “The Kourovka Notebook.” For the proofs of the theorems, algorithms are created and implemented in the computer algebra system GAP4r3. They can also be applied for some other finite groups. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 2, pp. 209–218, 2005.     

Varieties of Structurally Trivial Semigroups II

Abstract. Melnik [5] determined completely the lattice of all 2-nilpotent extensions of rectangular band varieties; and Koselev [4] determined a distributive sublattice formed by certain varieties of n-nilpotent extensions of left zero bands. In [2] the author described the skeleton of the lattice of all 3-nilpotent extensions of rectangular bands. We generalize these results by proving that a certain family of semigroup varieties which includes all the varieties mentioned above, and referred to here as planar varieties, consisting of certain n-nilpotent extensions of rectangular bands forms a distributive sublattice that looks somewhat like an inverted pyramid. Our proof makes use of a countably infinite family of injective endomorphisms on the lattice of all semigroup varieties that was introduced by the author in [1]. Although we do not determine completely the lattice of all n-nilpotent extensions of rectangular band varieties, our result unifies certain previously known results and provides a framework for further research.     

On some equations in prime rings

The main purpose of this paper is to prove the following result. Let R be a prime ring of characteristic different from two and let T : R → R be an additive mapping satisfying the relation T(x ³) = T(x)x ² − xT(x)x + x ² T(x) for all x ∈ R. In this case T is of the form 4T(x) = qx + xq, where q is some fixed element from the symmetric Martindale ring of quotients. This result makes it possible to solve some functional equations in prime rings with involution which are related to bicircular projections.     

Range projections and the Moore–Penrose inverse in rings with involution

In this article we study the existence of range projections in rings with involution, relating it to the existence of the Moore–Penrose inverse. The results are applied to the solution of the equation xbx?=?x in rings with involution, extending the results of Greville for matrices. Simpler new proofs are given of the Moore–Penrose invertibility of regular elements in rings with involution, and of the Ljance's formula.     

Hyperidentities and solid varieties

Let V be a variety of type τ. A type τ hyperidentity of V is an identity of V which also holds in an additional stronger sense: for every substitution of terms of the variety (of appropriate arity) for the operation symbols in the identity, the resulting equation holds as an identity of the variety. Such identities were first introduced by Walter Taylor in [27] in 1981. A variety is called solid if all its identities also hold as hyperidentities. For example, the semigroup variety of rectangular bands is a solid variety. For any fixed type τ, the collection of all solid varieties of type τ forms a complete lattice which is a sublattice of the lattice L(τ) of all varieties of type τ. In this paper we give an overview of the study of hyperidentities and solid varieties, particularly for varieties of semigroups, culminating in the construction of an infinite collection of solid varieties of arbitrary type. This paper is dedicated to Walter Taylor. Received July 16, 2005; accepted in final form January 3, 2006. This paper is an expanded version of a talk presented at the Conference on Algebras, Lattices and Varieties in Honour of Walter Taylor, in Boulder Colorado, August 2004. The author’s research is supported by NSERC of Canada.     

Spin depolarization decay rates in α-symmetric stable fields on cubic lattices

We study the asymptotic, long-time behavior of the energy function where {X_s : 0 ≤ s < ∞} is the standard random walk on the d-dimensional lattice Z^d, 1 < α ≤ 2, and f:R⁺ → R⁺ is any nondecreasing concave function. In the special case f(x) = x, our setting represents a lattice model for the study of transverse magnetization of spins diffusing in a homogeneous, α-stable, i.i.d., random, longitudinal field {λV(x) : x ∈ Z^d} with common marginal distribution, the standard α-symmetric stable distribution; the parameter λ describes the intensity of the field. Using large-deviation techniques, we show that S_c(λ α f) = lim_t→∞ E(t; λ f) exists. Moreover, we obtain a variational formula for this decay rate S_c. Finally, we analyze the behavior S_c(λ α f) as λ → 0 when f(x) = x^β for all 1 ≥ β > 0. Consequently, several physical conjectures with respect to lattice models of transverse magnetization are resolved by setting β = 1 in our results. We show that S_c(λ, α, 1) ≈ λ^α for d ≥ 3, λ^agr;(ln 1/λ)^α−1 in d = 2, and in d = 1. © 1996 John Wiley & Sons, Inc.     

APPLICATIONS OF CLIFFORD ALGEBRAS TO INVOLUTIONS AND QUADRATIC FORMS

ABSTRACT

Let k be a field, char k ≠ 2, F = k(x), D a biquaternion division algebra over k, and σ an orthogonal involution on D with nontrivial discriminant. We show that there exists a quadratic form ? ∈ I ²(F) such that dim ? = 8, [C(?)] = [D], and ? does not decompose into a direct sum of two forms similar to two-fold Pfister forms. This implies in particular that the field extension F(D)/F is not excellent. Also we prove that if A is a central simple K-algebra of degree 8 with an orthogonal involution σ, then σ is hyperbolic if and only if σ _K(A) is hyperbolic. Finally, let σ be a decomposable orthogonal involution on the algebra M _{2 ^m} (K). In the case m ≤ 5 we give another proof of the fact that σ is a Pfister involution. If m ≥ 2 ^n?2 ? 2 and n ≥ 5, we show that q _σ ∈ I ⁿ (K), where q _σ is a quadratic form corresponding to σ. The last statement is founded on a deep result of Orlov et al. (2000) concerning generic splittings of quadratic forms.     

Method of solution to fuzzy relation equations in a complete Brouwerian lattice

Up to now, how to solve a fuzzy relation equation in a complete Brouwerian lattice is still an open problem as Di Nola et al. point out. To this problem, the key problem is whether there exists a minimal element in the solution set when a fuzzy relation equation is solvable. In this paper, we first show that there is a minimal element in the solution set of a fuzzy relation equation AX=b (where A=(a₁,a₂,…,a_n) and b are known, and X=(x₁,x₂,…,x_n)^T is unknown) when its solution set is nonempty, and b has an irredundant finite join-decomposition. Further, we give the method to solve AX=b in a complete Brouwerian lattice under the same conditions. Finally, a method to solve a more general fuzzy relation equation in a complete Brouwerian lattice when its solution set is nonempty is also given under similar conditions.     

Varieties of restriction semigroups and varieties of categories

The variety of restriction semigroups may be most simply described as that generated from inverse semigroups (S, ·, ^?1) by forgetting the inverse operation and retaining the two operations x⁺ = xx^?1 and x* = x^?1x. The subvariety B of strict restriction semigroups is that generated by the Brandt semigroups. At the top of its lattice of subvarieties are the two intervals [B₂, B₂M = B] and [B₀, B₀M]. Here, B₂ and B₀ are, respectively, generated by the five-element Brandt semigroup and that obtained by removing one of its nonidempotents. The other two varieties are their joins with the variety of all monoids. It is shown here that the interval [B₂, B] is isomorphic to the lattice of varieties of categories, as introduced by Tilson in a seminal paper on this topic. Important concepts, such as the local and global varieties associated with monoids, are readily identified under this isomorphism. Two of Tilson's major theorems have natural interpretations and application to the interval [B₂, B] and, with modification, to the interval [B₀, B₀M] that lies below it. Further exploration may lead to applications in the reverse direction.