Necessary subalgebras of simple nonintegral semiassociative relation algebras

There are six finite nonintegral representable relation algebras such that every nonintegral simple semiassociative relation algebra has a nontrivial subalgebra isomorphic to one of those six.Presented by Bjarni Jónsson.     

On subalgebras of Boolean interval algebras

We prove that the following three conditions are necessary and sufficient for a Boolean algebra to be embeddable into an interval algebra.

(i)

is generated by a subset such that for all .

(ii)

has a complemented subalgebra lattice, where complements can be chosen in a monotone way.

(iii)

is isomorphic to ClopX for a compact zero-dimensional topological semilattice such that for all .

     

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.     

On some subalgebras of von Neumann algebras with analyticity

Let (M,α,G) be a covariant system on a locally compact Abelian group G with the totally ordered dual group which admits the positive semigroup . Let H^∞(α) be the associated analytic subalgebra of M; i.e. . Let be the analytic crossed product determined by a covariant system . We give the necessary and sufficient condition that an analytic subalgebra H^∞(α) is isomorphic to an analytic crossed product related to Landstad's theorem. We also investigate the structure of σ-weakly closed subalgebra of a continuous crossed product N?_θR which contains N?_θR₊. We show that there exists a proper σ-weakly closed subalgebra of N?_θR which contains N?_θR₊ and is not an analytic crossed product. Moreover we give an example that an analytic subalgebra is not a continuous analytic crossed product using the continuous decomposition of a factor of type III_λ(0?λ<1).     

Symmetric subalgebras of monocomposition algebras

Translated from Algebra i Logika, Vol. 27, No. 5, pp. 503–526, September–October, 1988.     

On the nilpotent residuals of all subalgebras of Lie algebras

Let \(\mathcal{N}\) denote the class of nilpotent Lie algebras. For any finite-dimensional Lie algebra L over an arbitrary field \(\mathbb{F}\), there exists a smallest ideal I of L such that L/I ∈ \(\mathcal{N}\). This uniquely determined ideal of L is called the nilpotent residual of L and is denoted by L\(\mathcal{N}\). In this paper, we define the subalgebra S(L) = ∩_H≤LI_L(H\(\mathcal{N}\)). Set S₀(L) = 0. Define S_i+1(L)/S_i(L) = S(L/S_i(L)) for i > 1. By S_∞(L) denote the terminal term of the ascending series. It is proved that L = S_∞(L) if and only if L\(\mathcal{N}\) is nilpotent. In addition, we investigate the basic properties of a Lie algebra L with S(L) = L.     

On maximal subalgebras of the algebras of unary recursive functions

Under consideration are the algebras of unary functions with supports in countable primitively recursively closed classes and composition operation. Each algebra of this type is proved to have continuum many maximal subalgebras including the set of all unary functions of the class ε ² of the Grzegorczyk hierarchy.     

Isomorphisms of subalgebras of nest algebras

Let be a subalgebra of a nest algebra . If contains all rank one operators in , then is said to be large; if the set of rank one operators in coincides with that in the Jacobson radical of , is said to be radical-type. In this paper, algebraic isomorphisms of large subalgebras and of radical-type subalgebras are characterized. Let be a nest of subspaces of a Hilbert space and be a subalgebra of the nest algebra associated to (). Let be an algebraic isomorphism from onto . It is proved that is spatial if one of the following occurs: (1) () is large and contains a masa; (2) () is large and closed; (3) () is a closed radical-type subalgebra and ( is quasi-continuous (i.e. the trivial elements of are limit points); (4) () is large and one of and is not quasi-continuous.

     

Maximal commutative subalgebras of matrix algebras

Maximal commutative subalgebras of the algebra of n by n matrices over a field k very rarely have dimension smaller than n. There is a (B, N)-construction which yields subalgebras of this kind. The Courter's algebra that is of this kind was shown a (B, N)-construction where B is the Schur algebra of size 4 and N = k ⁴. That is, the Courter's algebra is isomorphic to B ? (k ⁴)², the idealization of (k ⁴)². It was questioned how many isomorphism classes can be produced by varying the finitely generated faithful B-module N. In this paper, we will show that the set of all algebras B ? N ² fall into a single isomorphism class, where B is the Schur algebra of size 4 and N a finitely generated faithful B-module.     

Two generator subalgebras of Lie algebras

In [Thompson, J., 1968, Non-solvable finite groups all of whose local subgroups are solvable. Bulletin of the American Mathematical Society, 74, 383–437.], Thompson showed that a finite group G is solvable if and only if every two-generated subgroup is solvable (Corollary 2, p. 388). Recently, Grunevald et al. [Grunewald et al., 2000, Two-variable identities in groups and Lie algebras. Rossiiskaya Akademiya Nauk POMI, 272, 161–176; 2003. Journal of Mathematical Sciences (New York), 116, 2972–2981.] have shown that the analogue holds for finite-dimensional Lie algebras over infinite fields of characteristic greater than 5. It is a natural question to ask to what extent the two-generated subalgebras determine the structure of the algebra. It is to this question that this article is addressed. Here, we consider the classes of strongly-solvable and of supersolvable Lie algebras, and the property of triangulability.