DIVIDED POWER ALGEBRAS OVER AN OPERAD

The purpose of this paper is to give a characterisation of divided power algebras over a reduced operad. Such a characterisation is given in terms of polynomial operations, following the classical example of divided power algebras. We describe these polynomial operations in two different ways: one way uses invariant elements under the action of the symmetric group and the other coinvariant elements. Our results are then applied to the case of level algebras, which are (non-associative) commutative algebras satisfying the exchange law.

Classification of External Zonotopal Algebras

In this paper we work with power algebras associated to hyperplane arrangements. There are three main types of these algebras, namely, external, central, and internal zonotopal algebras. We classify all external algebras up to isomorphism in terms of zonotopes. Also, we prove that unimodular external zonotopal algebras are in one to one correspondence with regular matroids. For the case of central algebras we formulate a conjecture.

Power Matrices and Dunn--Belnap Semantics: Reflections on a Remark of Graham Priest

The plurivalent logics considered in Graham Priest's recent paper of that name can be thought of as logics determined by matrices (in the `logical matrix' sense) whose underlying algebras are power algebras (a.k.a. complex algebras, or `globals'), where the power algebra of a given algebra has as elements \textit{subsets} of the universe of the given algebra, and the power matrix of a given matrix has has the power algebra of the latter's algebra as its underlying algebra, with its designated elements being selected in a natural way on the basis of those of the given matrix. The present discussion stresses the continuity of Priest's work on the question of which matrices determine consequence relations (for propositional logics) which remain unaffected on passage to the consequence relation determined by the power matrix of the given matrix with the corresponding (long-settled) question in equational logic as to which identities holding in an algebra continue to hold in its power algebra. Both questions are sensitive to a decision as to whether or not to include the empty set as an element of the power algebra, and our main focus will be on the contrast, when it is included, between the power matrix semantics (derived from the two-element Boolean matrix) and the four-valued Dunn--Belnap semantics for first-degree entailment a la Anderson and Belnap) in terms of sets of classical values (subsets of {T, F}, that is), in which the empty set figures in a somewhat different way, as Priest had remarked his 1984 study, `Hyper-contradictions', in which what we are calling the power matrix construction first appeared.

Polycharacters of Cocommutative Hopf Algebras

In this paper we extend a well-known theorem of M. Scheunert on skew-symmetric bicharacters of groups to the case of skew-symmetric bicharacters on arbitrary cocommutative Hopf algebras over a field of characteristic not 2. We also classify polycharacters on (restricted) enveloping algebras and bicharacters on divided power algebras.