Generating primitive positive clones

Suppose is a set of operations on a finite set A. Define PPC() to be the smallest primitive positive clone on A containing . For any finite algebra A, let PPC#(A) be the smallest number n for which PPC(CloA) = PPC(Clo _n A). S. Burris and R. Willard [2] conjectured that PPC#(A) ≤|A| when CloA is a primitive positive clone and |A| > 2. In this paper, we look at how large PPC#(A) can be when special conditions are placed on the finite algebra A. We show that PPC#(A) ≤|A| holds when the variety generated by A is congruence distributive, Abelian, or decidable. We also show that PPC#(A) ≤|A| + 2 if A generates a congruence permutable variety and every subalgebra of A is the product of a congruence neutral algebra and an Abelian algebra. Furthermore, we give an example in which PPC#(A) ≥|A| - 1)² so that these results are not vacuous. Received August 30, 1999; accepted in final form April 4, 2000.     

Algebras with a compatible uniformity

Given a variety of algebras V, we study categories of algebras in V with a compatible structure of uniform space. The lattice of compatible uniformities of an algebra, Unif A, can be considered a generalization of the lattice of congruences Con A. Mal'cev properties of V influence the structure of Unif A, much as they do that of Con A. The category V[CHUnif] of complete, Hausdor. such algebras in the variety V is particularly interesting; it has a factorization system , and V embeds into V[CHUnif] in such a way that is the subcategory of onto and the subcategory of one-one homomorphisms. Received February 17, 2000; accepted in final form April 1, 2001.     

On the D-affinity of the flag variety in type B2

The flag varieties in characteristic 0 are well-known to be D-affine. In positive characteristic, however, only those in type A ₁ and A ₂ have been proved to be so. In this paper we will show in type B ₂ the cohomology vanishing of the first term in the p-filtration of the sheaf of differential operators on the flag variety. This is a necessary condition for the variety to be D-affine. Received: 7 February 2000 / Revised version: 30 June 2000     

Long-Time Stabilization of Solutions to the Ginzburg–Landau Equations of Superconductivity

 The long-time dynamical properties of solutions (φ,A) to the time-dependent Ginzburg–Landau (TDGL) equations of superconductivity are investigated. The applied magnetic field varies with time, but it is assumed to approach a long-time asymptotic limit. Sufficient conditions (in terms of the time rate of change of the applied magnetic field) are given which guarantee that the dynamical process defined by the TDGL equations is asymptotically autonomous, i.e., it approaches a dynamical system as time goes to infinity. Analyticity of an energy functional is used to show that every solution of the TDGL equations asymptotically approaches a (single) stationary solution of the (time-independent) Ginzburg–Landau equations. The standard “φ = − ∇ · A” gauge is chosen. (Received 30 June 2000; in revised form 30 December 2000)     

Universally equivalent solvable groups

Every group that is finitely presented in the varietyA ⁿ of solvable groups. and is universally equivalent to a free group F_r(A ⁿ) in this variety, is embedded in the Cartesian degree of F₂(A ⁿ). All subgroups on a set of two generators in that Cartesian degree which are universally equivalent to F₂(A ⁿ) are determined. Free solvable and nilpotent groups are proved universally equivalent. Supported by RFFR grant No. 99-01-00567, and through the RP “Universities of Russia. Fundamental Research.” Translated fromAlgebra i Logika, Vol. 39, No. 2, pp. 227–240, March–April, 2000.     

Simultaneous congruence representations: a special case

We study the problem of representing a pair of algebraic lattices, L₁ and L₀, as Con(A₁) and Con(A₀), respectively, with A₁ an algebra and A₀ a subalgebra of A₁, and we provide such a representation in a special case. Received September 11, 2004; accepted in final form January 7, 2005.     

Quotient rings of algebras of functions and operators

Abstract. Various quotient rings of rings B of Banach algebra A-valued continuous functions on a completely regular Hausdorff Space X are constructed in terms of continuous functions defined on dense open subsets of X taking values in the maximal quotient ring of the Banach algebra A. This extends the results proved by N. J. Fine, L., Gillman and J. Lambek (1965) for the case of A, the field of real numbers. The pattern is similar and utilizes as well as generalises the results proved for algebras of multipliers of B by C. A. Akemann, G. K. Pedersen and J. Tomiyama (1973). The techniques combine those from algebra, analysis and topology. The details of the cases when A is the normed division algebra of real quaternions or the operator algebra B(H) of a Hilbert space H are given to illustrate our results. Received February 1, 1999; in final form June 18, 1999 / Published online May 8, 2000     

Rationally trivial hermitian spaces are locally trivial

Let R be a regular local ring, K its field of fractions and A an Azumaya algebra with involution over R. Let h be an -hermitian space over A. We show that if is hyperbolic over , then h is hyperbolic over A. Received September 28, 1998; in final form December 6, 1999 / Published online March 12, 2001     

A local proof for a tolerance intersection property

Congruence modular varieties satisfy a very useful tolerance identity, called TIP. We show that it is enough to suppose that all subalgebras of A⁴ satisfy the Shifting Lemma in order to obtain that A satisfies a tolerance identity slightly weaker than TIP. Received October 15, 2004; accepted in final form April 12, 2005.     

The universality of equivariant complex bordism

We show that if A is an abelian compact Lie group, all A-equivariant complex vector bundles are orientable over a complex orientable equivariant cohomology theory. In the process, we calculate the complex orientable homology and cohomology of all complex Grassmannians. Received: 14 February 2000; in final form: 4 August 2000 / Published online: 19 October 2001     

Almost distributive sublattices and congruence heredity

A congruence lattice L of an algebra A is hereditary if every 0-1 sublattice of L is the congruence lattice of an algebra on A. Suppose that L is a finite lattice obtained from a distributive lattice by doubling a convex subset. We prove that every congruence lattice of a finite algebra isomorphic to L is hereditary. Presented by E. W. Kiss. Received July 18, 2005; accepted in final form April 2, 2006.     

A Hamiltonian property for nilpotent algebras

In this paper we show that any finite algebra A satisfying a weak left nilpotence condition has the property that all maximal subuniverses are congruence blocks. Conversely, if every subalgebra of A ² has the property that all maximal subuniverses are congruence blocks, then A satisfies the aforementioned nilpotence condition. Received August 3, 1994; accepted in final form June 27, 1996.     

Uniform diagonalisation of matrices over regular rings

The fundamental Separativity Problem for von Neumann regular rings is shown to be equivalent to a linear algebra problem: for a field F, is there a ``uniform formula' for diagonalising a matrix A over , independently of n? Here P and Q are required to be invertible matrices whose entries are fixed regular algebra expressions in the entries of A. Received July 10, 2000; accepted in final form September 26, 2000.     

On a strong property of the weak subalgebra lattice

In the present paper, we apply results from [Pió1] to prove that for an arbitrary total and locally finite unary algebra A of finite unary type K, its weak subalgebra lattice uniquely determines its strong subalgebra lattice (recall that in the case of total algebras the strong subalgebra lattice is the well-known lattice of all (total) subalgebras). More precisely, we prove that for every unary partial algebra B of the same unary type K, if weak subalgebra lattices of A and B are isomorphic (with A as above), then the strong subalgebra lattices of A and B are isomorphic, and moreover B is also total and locally finite. At the end of this paper we also show the necessity of all the three conditions for A. Received September 5, 1997; accepted in final form October 7, 1998.     

Perimeter preserver of matrices over semifields

For a rank-1 matrix A = ab ^t, we define the perimeter of A as the number of nonzero entries in both a and b. We characterize the linear operators which preserve the rank and perimeter of rank-1 matrices over semifields. That is, a linear operator T preserves the rank and perimeter of rank-1 matrices over semifields if and only if it has the form T(A) = U AV, or T(A) = U A ^t V with some invertible matrices U and V. This work was supported by the research grant of the Cheju National University in 2006.     

Endoprimal implication algebras

An algebra A is endoprimal if, for all , the only maps which preserve the endomorphisms of A are the n-ary term functions of A. The theory of natural dualities has been a very effective tool for finding finite endoprimal algebras. We study endoprimality within the variety of implication algebras, which does not contain any non-trivial dualisable algebras. We show that there are no non-trivial finite endoprimal implication algebras. We also give some examples of infinite implication algebras which are endoprimal. Received July 28, 1998; accepted in final form January 18, 1999.     

Permutation-pattern algebras

A k-ary relation on a set A induces a partition of each power into 'patterns' in a natural way. An operation on A is called a -pattern operation if its restriction to each pattern is a projection. We examine functional completeness of algebras with -pattern fundamental operations in the case when is the graph of some permutation of A. Received January 18, 1999; accepted in final form November 21, 2000.     

Subdirect products of hereditary congruence lattices

A congruence lattice L of an algebra A is called power-hereditary if every 0-1 sublattice of Lⁿ is the congruence lattice of an algebra on Aⁿ for all positive integers n. Let A and B be finite algebras. We prove

Convergence of inexact inverse iteration with application to preconditioned iterative solves

In this paper we study inexact inverse iteration for solving the generalised eigenvalue problem A x=λM x. We show that inexact inverse iteration is a modified Newton method and hence obtain convergence rates for various versions of inexact inverse iteration for the calculation of an algebraically simple eigenvalue. In particular, if the inexact solves are carried out with a tolerance chosen proportional to the eigenvalue residual then quadratic convergence is achieved. We also show how modifying the right hand side in inverse iteration still provides a convergent method, but the rate of convergence will be quadratic only under certain conditions on the right hand side. We discuss the implications of this for the preconditioned iterative solution of the linear systems. Finally we introduce a new ILU preconditioner which is a simple modification to the usual preconditioner, but which has advantages both for the standard form of inverse iteration and for the version with a modified right hand side. Numerical examples are given to illustrate the theoretical results. AMS subject classification (2000)  65F15, 65F10