Projective functors for quantized enveloping algebras

The object of this paper is to show that many of the known results concerning the structure of semiperfect FPF rings can be extended to a larger class of FPF rings. The main attributes of this larger class of rings are they have enough principle idempo-tents and idempotents lift modulo the Jacobson radical. We call these rings epi-semiperfect rings.     

Projective representations in algebras and cohomology

We give some conditions under which no two non-conjugate projective representations, in an algebra, of a given group can become conjugate over a separable extension of the base field. In particular, we show this is always the case for groups with trivial abelianization.     

Projective planes over 2-dimensional quadratic algebras

The split version of the Freudenthal–Tits magic square stems from Lie theory and constructs a Lie algebra starting from two split composition algebras ,  and . The geometries appearing in the second row are Severi varieties [24]. We provide an easy uniform axiomatization of these geometries and related ones, over an arbitrary field. In particular we investigate the entry _A2×_A2$A_2\times A_2$ in the magic square, characterizing Hermitian Veronese varieties, Segre varieties and embeddings of Hjelmslev planes of level 2 over the dual numbers. In fact this amounts to a common characterization of “projective planes over 2-dimensional quadratic algebras”, in cases of the split and non-split Galois extensions, the inseparable extensions of degree 2 in characteristic 2 and the dual numbers.     

Projective cell modules of Frobenius cellular algebras

In this note we give a criterion of projectiveness of the simple cell modules over finite dimensional Frobenius cellular algebras.     

Projective bundle ideals and Poincaré duality algebras

The study of maximal-primary irreducible ideals in a commutative graded connected Noetherian algebra over a field is in principle equivalent to the study of the corresponding quotient algebras. Such algebras are Poincaré duality algebras. A prototype for such an algebra is the cohomology with field coefficients of a closed oriented manifold. Topological constructions on closed manifolds often lead to algebraic constructions on Poincaré duality algebras and therefore also on maximal-primary irreducible ideals. It is the purpose of this note to examine several of these and develop some of their basic properties.     

Projective free algebras of continuous functions on compact abelian groups

It is proved that the Wiener algebra of functions on a connected compact abelian group whose Bohr-Fourier spectra are contained in a fixed subsemigroup of the (additive) dual group, is projective free. The semigroup is assumed to contain zero and have the property that it does not contain both a nonzero element and its opposite. The projective free property is proved also for the algebra of continuous functions with the same condition on their Bohr-Fourier spectra. As an application, the connected components of the set of factorable matrices are described. The proofs are based on a key result on homotopies of continuous maps on the maximal ideal spaces of the algebras under consideration.     

Projective bases of division algebras and groups of central type

Letk be a field. For each finite groupG and two-cocylef inZ ² (G, k ^x ) (with trivial action), one can form the twisted group algebra wherex _σ x _τ =f(σ,τ)x _στ for all σ, τ∃G. Our main result is a short list ofp-groups containing all thep-groupsG for which there is a fieldk and a cocycle such that the resulting twisted group algebra is ak-central division algebra. We also complete the proof (presented in all but one case in a previous paper by Aljadeff and Haile) that everyk-central division algebra that is a twisted group algebra is isomorphic to a tensor product of cyclic algebras.     

Projective algebras and primitive subquasivarieties in varieties with factor congruences

We prove that in the varieties where every compact congruence is a factor congruence and every nontrivial algebra contains a minimal subalgebra, a finitely presented algebra is projective if and only if it has every minimal algebra as its homomorphic image. Using this criterion of projectivity, we describe the primitive subquasivarieties of discriminator varieties that have a finite minimal algebra embedded in every nontrivial algebra from this variety. In particular, we describe the primitive quasivarieties of discriminator varieties of monadic Heyting algebras, Heyting algebras with regular involution, Heyting algebras with a dual pseudocomplement, and double-Heyting algebras.     

Projective bases of division algebras and groups of central type II

Let G be a finite group and let k be a field. We say that G is a projective basis of a k-algebra A if it is isomorphic to a twisted group algebra k ^α G for some α ∈ H ²(G, k ^×), where the action of G on k ^× is trivial. In a preceding paper by Aljadeff, Haile and the author it was shown that if a group G is a projective basis of a k-central division algebra, then G is nilpotent and every Sylow p-subgroup of G is on the short list of p-groups, denoted by Λ. In this paper we complete the classification of projective bases of division algebras by showing that every group on that list is a projective basis for a suitable division algebra. We also consider the question of uniqueness of a projective basis of a k-central division algebra. We show that basically all groups on the list Λ but one satisfy certain rigidity property. This work was supported in part by the US-Israel Binational Science Foundation Grant 82334. The author would like to thank Louis Rowen and the Department Department of Mathematics at Bar Ilan University, Ramat Gan, Israel, for kind hospitality and support.