Embedding Sums of Cancellative Modes into Semimodules

A mode (idempotent and entropic algebra) is a Lallement sum of its cancellative submodes over a normal band if it has a congruence with a normal band quotient and cancellative congruence classes. We show that such a sum embeds as a subreduct into a semimodule over a certain ring, and discuss some consequences of this fact. The result generalizes a similar earlier result of the authors proved in the case when the normal band is a semilattice. The paper was written within the framework of COST Action 274. Research supported by Warsaw University of Technology under grant number 504G/1120/0008/000.     

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.     

Sur les identités polynomiales vérifiées par les algèbres de rétrocroisement

We study the ideal of polynomial identities of a single indeterminate satisfied by all backcrossing algebras. For this we distinguish two categories according to whether or not these algebras satisfy an identity for the plenary powers. For each category, we give the generators for the vector space of identities, a condition for any object belonging to one of these two categories verify a given identity, a necessary and su?cient condition that a polynomial is an identity and we study the existence of an idempotent element. We give a method which brings the search of identities satified by the backcrossing algebras to the solution of linear systems and we illustrate this method by constructing generators of homogeneous and non homogeneous identities of degrees less than 8.     

Semirings which are unions of rings

Sernirings which are a disjoint union of rings form a variety S which contains the variety of all rings and the variety of all idempotent sernirings, and in particular, the variety of distributive lattices. Various structure theorems are established which bring insight into the structure of the lattice of subvarieties of S.``     

ZL-amenability and characters for the restricted direct products of finite groups

Let G   be a restricted direct product of finite groups _{Gi}i∈I${\{G_i\}}_{i\in I}$, and let Z?¹(G)${\mathrm{Z}?}^1(G)$ denote the centre of its group algebra. We show that Z?¹(G)${\mathrm{Z}?}^1(G)$ is amenable if and only if _Gi$G_i$ is abelian for all but finitely many i  , and characterize the maximal ideals of Z?¹(G)${\mathrm{Z}?}^1(G)$ which have bounded approximate identities. We also study when an algebra character of Z?¹(G)${\mathrm{Z}?}^1(G)$ belongs to _c0$c_0$ or ?^p${?}^p$ and provide a variety of examples.     

Conjugation in Representations of the Zassenhaus Algebra

Let F be an algebracially closed field of characteristic p > 2, and L be the p ⁿ -dimensional Zassenhaus algebra with the maximal invariant subalgebra L ₀ and the standard filtration {L _i }| ^pn−2 _{i =−1}. Then the number of isomorphism classes of simple L-modules is equal to that of simple L ₀-modules, corresponding to an arbitrary character of L except when its height is biggest. As to the number corresponding to the exception there was an earlier result saying that it is not bigger than p ⁿ . Received May 10, 1999, Accepted December 8, 1999     

Infinite Independent Systems of Identities of an Associative Algebra over an Infinite Field of Characteristic Two

Let be the variety of associative (special Jordan, respectively) algebras over an infinite field of characteristic 2 defined by the identity ((((x ₁,x ₂),x ₃), ((x ₄,x ₅),x ₆)), (x ₇,x ₈)) = 0 (((x ₁ x ₂ · x ₃)(x ₄ x ₅ · x ₆))(x ₇ x ₈) = 0, respectively). In this paper, we construct infinite independent systems of identities in the variety ( , respectively). This implies that the set of distinct nonfinitely based subvarieties of the variety has the cardinality of the continuum and that there are algebras in with undecidable word problem.     

Series of tail distributions of finitely inhomogeneous random walks

Let Sn=X₁+?+Xn be a random walk, where the steps Xn are independent random variables having a finite number of possible distributions, and consider general series of the form

(∗)     

Ternary analogues of Lie and Malcev algebras

We consider two analogues of associativity for ternary algebras: total and partial associativity. Using the corresponding ternary associators, we define ternary analogues of alternative and assosymmetric algebras. On any ternary algebra the alternating sum [a, b, c] = abc − acb − bac + bca + cab − cba (the ternary analogue of the Lie bracket) defines a structure of an anticommutative ternary algebra. We determine the polynomial identities of degree ?7 satisfied by this operation in totally and partially associative, alternative, and assosymmetric ternary algebras. These identities define varieties of ternary algebras which can be regarded as ternary analogues of Lie and Malcev algebras. Our methods involve computational linear algebra based on the representation theory of the symmetric group.     

On the scarcity of contravariant left adjunctions

It is shown that any pair of contravariant mutually left adjoint functors between varieties of algebrasC andD factors through the retractions of these categories onto the complete lattices of epimorphs of their respective initial objects, and is thus fairly degenerate. However, some interesting contravariant left adjoint functors do exist between categories of finitely generated (or otherwise restricted) algebras.This work was done while the author was partly supported by NSF contract DMS 85-02330.Presented by F. E. J. Linton.     

Pairs of Semisimple Lie Algebras and their Maximal Reductive Subalgebras

Let \(\mathfrak g\) be a semisimple Lie algebra over a field \(\mathbb K\), \(\text{char}\left( \mathbb{K} \right)=0\), and \(\mathfrak g_1\) a subalgebra reductive in \(\mathfrak g\). Suppose that the restriction of the Killing form B of \(\mathfrak g\) to \(\mathfrak g_1 \times \mathfrak g_1\) is nondegenerate. Consider the following statements: ( 1) For any Cartan subalgebra \(\mathfrak h_1\) of \(\mathfrak g_1\) there is a unique Cartan subalgebra \(\mathfrak h\) of \(\mathfrak g\) containing \(\mathfrak h_1\); ( 2) \(\mathfrak g_1\) is self-normalizing in \(\mathfrak g\); ( 3) The B-orthogonal \(\mathfrak p\) of \(\mathfrak g_1\) in \(\mathfrak g\) is simple as a \(\mathfrak g_1\)-module for the adjoint representation. We give some answers to this natural question: For which pairs \((\mathfrak g,\mathfrak g_1)\) do ( 1), ( 2) or ( 3) hold? We also study how \(\mathfrak p\) in general decomposes as a \(\mathfrak g_1\)-module, and when \(\mathfrak g_1\) is a maximal subalgebra of \(\mathfrak g\). In particular suppose \((\mathfrak g,\sigma )\) is a pair with \(\mathfrak g\) as above and σ its automorphism of order m. Assume that \(\mathbb K\) contains a primitive m-th root of unity. Define \(\mathfrak g_1:=\mathfrak g^{\sigma}\), the fixed point algebra for σ. We prove the following generalization of a well known result for symmetric Lie algebras, i.e., for m=2: (a) \((\mathfrak g,\mathfrak g_1)\) satisfies ( 1); (b) For m prime, \((\mathfrak g,\mathfrak g_1)\) satisfies ( 2).     

T(2,2,2,2)型tubular代数的合成代数

设A为有限域上的T(2,2,2,2)型tubular代数,它是tame遗传代数A0的单点扩张,也是tame遗传代数A∞的单点余扩张．记P0为预投射A0-模集合,L∞是预内射A∞-模集合,则P0,L∞(?)mod A记T=mod A＼(P0∪L∞)．本文证明A的合成代数C(A)具有形为P0·J·L∞的三角分解．     

Mutation Classes of Skew-Symmetric 3 × 3-Matrices

In this article, we establish a bijection between the set of mutation classes of mutation-cyclic skew-symmetric integral 3 × 3-matrices and the set of triples of integers (a, b, c) such that 2 ≤ a ≤ b ≤ c and ab ≥ c. We also give an algorithm allowing to verify whether a matrix is mutation-cyclic or not. We prove that given a, b, the two cases depend on whether c is large enough or not.