Finitely Related Clones and Algebras with Cube Terms

Aichinger et al. (2011) have proved that every finite algebra with a cube-term (equivalently, with a parallelogram-term; equivalently, having few subpowers) is finitely related. Thus finite algebras with cube terms are inherently finitely related??every expansion of the algebra by adding more operations is finitely related. In this paper, we show that conversely, if A is a finite idempotent algebra and every idempotent expansion of A is finitely related, then A has a cube-term. We present further characterizations of the class of finite idempotent algebras having cube-terms, one of which yields, for idempotent algebras with finitely many basic operations and a fixed finite universe A, a polynomial-time algorithm for determining if the algebra has a cube-term. We also determine the maximal non-finitely related idempotent clones over A. The number of these clones is finite.     

Generalized entropy in expanded semigroups and in algebras with neutral element

The complex product of (non-empty) subalgebras of a given algebra from a variety \(\mathcal{V}\) is again a subalgebra if and only if the variety \(\mathcal{V}\) has the so-called generalized entropic property. This paper is devoted to algebras with a neutral element or with a semigroup operation. We investigate relationships between the generalized entropic property and the commutativity of the fundamental operations of the algebra. In particular, we characterize the algebras with a neutral element that have the generalized entropic property. Furthermore, we show that, similarly as for n-monoids and n-groups, for inverse semigroups, the generalized entropic property is equivalent to commutativity.     

A condition for the strong regularity of matrices in the minimax algebra

Columns of a matrix A in the minimax algebra are called strongly linearly independent if for some b the system of equations A?x = b is uniquely solvable (cf. [3]). This paper presents a condition which is necessary and sufficient for the strong linear independence of columns of a given matrix in the minimax algebra based on a dense linearly ordered commutative group. In the case of square matrices an O(n³) method for checking this property as well as for finding at least one b such that A?x = b is uniquely solvable is derived. A connection with the classical assignment problem is formulated.     

Finite embedding theorems for partial Latin squares,quasi-groups,and loops

In this paper we prove that a finite partial commutative (idempotent commutative) Latin square can be embedded in a finite commutative (idempotent commutative) Latin square. These results are then used to show that the loop varieties defined by any non-empty subset of the identities {x(xy) = y, (yx)x = y} and the quasi-group varieties defined by any non-empty subset of {x² = x, x(xy) = y, (yx)x = y}, except possibly {x(xy) = y, (yx)x = y}, have the strong finite embeddability property. It is then shown that the finitely presented algebras in these varities are residually finite, Hopfian, and have a solvable word problem.     

Complex algebras of subalgebras

Let V be a variety of algebras. We specify a condition (the so-called generalized entropic property), which is equivalent to the fact that for every algebra A ∈ V, the set of all subalgebras of A is a subuniverse of the complex algebra of the subalgebras of A. The relationship between the generalized entropic property and the entropic law is investigated. Also, for varieties with the generalized entropic property, we consider identities that are satisfied by complex algebras of subalgebras. Dedicated to George Gr?tzer on the occasion of his 70th birthday Supported by INTAS grant No. 03-51-4110. Supported by MŠMTČR (project MSM 0021620839) and by the Grant Agency of the Czech Republic (grant No. 201/05/0002). Translated from Algebra i Logika, Vol. 47, No. 6, pp. 655–686, November–December, 2008.     

Unital and multiplicatively spectrum-preserving surjections between semi-simple commutative Banach algebras are linear and multiplicative

Let T be a surjective map from a unital semi-simple commutative Banach algebra A onto a unital commutative Banach algebra B. Suppose that T preserves the unit element and the spectrum σ(fg) of the product of any two elements f and g in A coincides with the spectrum σ(TfTg). Then B is semi-simple and T is an isomorphism. The condition that T is surjective is essential: An example of a non-linear and non-multiplicative unital map from a commutative C*-algebra into itself such that σ(TfTg)=σ(fg) holds for every f,g are given. We also show an example of a surjective unital map from a commutative C*-algebra onto itself which is neither linear nor multiplicative such that σ(TfTg)⊂σ(fg) holds for every f,g.     

Zero product preserving maps on Banach algebras of Lipschitz functions

Let (K,d) be a non-empty, compact metric space and α∈]0,1[. Let A be either lipα(K) or Lipα(K) and let B be a commutative unital Banach algebra. We show that every continuous linear map T:A→B with the property that T(f)T(g)=0 whenever f,g∈A are such that fg=0 is of the form T=wΦ for some invertible element w in B and some continuous epimorphism Φ:A→B.     

On some congruences of power algebras

In a natural way we can “lift” any operation defined on a set A to an operation on the set of all non-empty subsets of A and obtain from any algebra (A, Ω) its power algebra of subsets. In this paper we investigate extended power algebras (power algebras of non-empty subsets with one additional semilattice operation) of modes (entropic and idempotent algebras). We describe some congruence relations on these algebras such that their quotients are idempotent. Such congruences determine some class of non-trivial subvarieties of the variety of all semilattice ordered modes (modals).     

The six semifield planes associated with a semifield flock

In 1965 Knuth (J. Algebra 2 (1965) 182) noticed that a finite semifield was determined by a 3-cube array (a_ijk) and that any permutation of the indices would give another semifield. In this article we explain the geometrical significance of these permutations. It is known that a pair of functions (f,g) where f and g are functions from GF(q) to GF(q) with the property that f and g are linear over some subfield and g(x)²+4xf(x) is a non-square for all x∈GF(q)∗, q odd, give rise to certain semifields, one of which is commutative of rank 2 over its middle nucleus, one of which arises from a semifield flock of the quadratic cone, and another that comes from a translation ovoid of Q(4,q). We show that there are in fact six non-isotopic semifields that can be constructed from such a pair of functions, which will give rise to six non-isomorphic semifield planes, unless (f,g) are of linear type or of Dickson-Kantor-Knuth type. These six semifields fall into two sets of three semifields related by Knuth operations.     

Lie theory and the Chern-Weil homomorphism

Let P→B be a principal G-bundle. For any connection θ on P, the Chern-Weil construction of characteristic classes defines an algebra homomorphism from the Weil algebra Wg=Sg^∗⊗∧g^∗ into the algebra of differential forms A=Ω(P). Invariant polynomials inv(Sg^∗)⊂Wg map to cocycles, and the induced map in cohomology inv(Sg^∗)→H(Abasic) is independent of the choice of θ. The algebra Ω(P) is an example of a commutativeg-differential algebra with connection, as introduced by H. Cartan in 1950. As observed by Cartan, the Chern-Weil construction generalizes to all such algebras.In this paper, we introduce a canonical Chern-Weil map Wg→A for possibly non-commutativeg-differential algebras with connection. Our main observation is that the generalized Chern-Weil map is an algebra homomorphism “up to g-homotopy”. Hence, the induced map inv(Sg^∗)→Hbasic(A) is an algebra homomorphism. As in the standard Chern-Weil theory, this map is independent of the choice of connection.Applications of our results include: a conceptually easy proof of the Duflo theorem for quadratic Lie algebras, a short proof of a conjecture of Vogan on Dirac cohomology, generalized Harish-Chandra projections for quadratic Lie algebras, an extension of Rouvière's theorem for symmetric pairs, and a new construction of universal characteristic forms in the Bott-Shulman complex.     

On absolute valued algebras with involution

Let A be an absolute valued algebra with involution, in the sense of Urbanik [K. Urbanik, Absolute valued algebras with an involution, Fund. Math. 49 (1961) 247-258]. We prove that A is finite-dimensional if and only if the algebra obtained by symmetrizing the product of A is simple, if and only if eA_s = A_s, where e denotes the unique nonzero self-adjoint idempotent of A, and A_s stands for the set of all skew elements of A. We determine the idempotents of A, and show that A is the linear hull of the set of its idempotents if and only if A is equal to either McClay’s algebra [A.A. Albert, A note of correction, Bull. Amer. Math. Soc. 55 (1949) 1191], the para-quaternion algebra, or the para-octonion algebra. We also prove that, if A is infinite-dimensional, then it can be enlarged to an absolute valued algebra with involution having a nonzero idempotent different from the unique nonzero self-adjoint idempotent.     

Topological algebras with maximal regular ideals closed

It is shown that all maximal regular ideals in a Hausdorff topological algebra A are closed if the von Neumann bornology of A has a pseudo-basis which consists of idempotent and completant absolutely pseudoconvex sets. Moreover, all ideals in a unital commutative sequentially Mackey complete Hausdorff topological algebra A with jointly continuous multiplication and bounded elements are closed if the von Neumann bornology of A is idempotently pseudoconvex.     

On idempotent modifications of generalized <Emphasis Type="Italic">MV</Emphasis>-algebras

The notion of idempotent modification of an algebra was introduced by Je?ek; he proved that the idempotent modification of a group is always subdirectly irreducible. In the present note we show that the idempotent modification of a generalized MV -algebra having more than two elements is directly irreducible if and only if there exists an element in A which fails to be boolean. Some further results on idempotent modifications are also proved.     

Simple algebras of Weyl type

Over a fieldF of arbitrary characteristic, we define the associative and the Lie algebras of Weyl type on the same vector spaceA[D] =A⊗F[D] from any pair of a commutative associative algebra,A with an identity element and the polynomial algebraF[D] of a commutative derivation subalgebraD ofA We prove thatA[D], as a Lie algebra (modulo its center) or as an associative algebra, is simple if and only ifA isD-simple andA[D] acts faithfully onA. Thus we obtain a lot of simple algebras. Su, Y., Zhao, K., Second cohornology group of generalized Witt type Lie algebras and certain representations, submitted to publication     

Entropic Pairs of Operations and Generalized Endomorphisms

In this paper, we define concepts of entropic pairs of operations and the generalized endomorphism for an algebra and investigate the relationships between them. We characterize entropic pairs of operations of quasigroups and show that in some cases, the presence of a generalized endomorphism is equivalent to the entropic property for an algebra.     

Complexity of multiplication in commutative group algebras over fields of characteristic 0

Let rkA denote the bilinear complexity (also known as rank) of a finite-dimension associative algebra A. Algebras of minimal rank are widely studied from the point of view of bilinear complexity. These are the algebras A for which the Alder-Strassen inequality is satisfied as an equality, i.e., rkA = 2dimA ? t, where t is the number of maximum two-sided ideals in A. It is proved in this work that an arbitrary commutative group algebra over a field of characteristic 0 is an algebra of minimal rank. The structure and precise values of the bilinear complexity of commutative group algebras over a field of rational numbers are obtained.     

Projective bichains

An algebra with two binary operations · and +  that are commutative, associative, and idempotent is called a bisemilattice. A bisemilattice that satisfies Birkhoff’s equation x · (x + y) =  x + (x · y) is a Birkhoff system. Each bisemilattice determines, and is determined by, two semilattices, one for the operation +  and one for the operation ·. A bisemilattice for which each of these semilattices is a chain is called a bichain. In this note, we characterize the finite bichains that are weakly projective in the variety of Birkhoff systems as those that do not contain a certain three-element bichain. As subdirectly irreducible weak projectives are splitting, this provides some insight into the fine structure of the lattice of subvarieties of Birkhoff systems.     

Preunits and weak crossed products

Using the notion of a preunit and the properties of idempotent morphisms, we give a general notion of a crossed product of an algebra A and an object V both living in a monoidal category C. We endow A⊗V with a multiplication and an idempotent morphism, whose image inherits the multiplication. Sufficient conditions for these multiplications to be associative are given. If the product on A⊗V has a preunit, the related idempotent is given in terms of the preunit, and its image has an algebra structure. A characterization of crossed products with preunit is given, and it is used to recover classical examples of crossed products and to study crossed products in weak contexts. Finally crossed products of an algebra by a weak bialgebra are recovered using this theory.     

Invariant bilinear forms on a vertex algebra

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