SK1 of graded division algebras

The reduced Whitehead group $\SK$ of a graded division algebra graded by a torsion-free abelian group is studied. It is observed that the computations here are much more straightforward than in the non-graded setting. Bridges to the ungraded case are then established by the following two theorems: It is proved that $\SK$ of a tame valued division algebra over a henselian field coincides with $\SK$ of its associated graded division algebra. Furthermore, it is shown that $\SK$ of a graded division algebra is isomorphic to $\SK$ of its quotient division algebra. The first theorem gives the established formulas for the reduced Whitehead group of certain valued division algebras in a unified manner, whereas the latter theorem covers the stability of reduced Whitehead groups, and also describes $\SK$ for generic abelian crossed products.

Unitary SK1 of unitary and graded division algebras

The reduced unitary Whitehead group $\SK$ of a graded division algebra equipped with a unitary involution (i.e., an involution of the second kind) and graded by a torsion-free abelian group is studied. It is shown that calculations in the graded setting are much simpler than their nongraded counterparts. The bridge to the non-graded case is established by proving that the unitary $\SK$ of a tame valued division algebra wih a unitary involution over a henselian field coincides with the unitary $\SK$ of its associated graded division algebra. As a consequence, the graded approach allows us not only to recover results available in the literature with substantially easier proofs, but also to calculate the unitary $\SK$ for much wider classes of division algebras over henselian fields.

A note on the graded K-theory of certain graded rings

Following ideas of Quillen we prove that the graded K-theory of a Z-multi-graded ring with support contained in a pointed cone is entirely determined by the K-theory of the sub-ring of elements of degree 0.

A graded BDI agent model to represent and reason about preferences

In this research note, we introduce a graded BDI agent development framework, g-BDI for short, that allows to build agents as multi-context systems that reason about three fundamental and graded mental attitudes (i.e. beliefs, desires and intentions). We propose a sound and complete logical framework for them and some logical extensions to accommodate slightly different views on desires. © 2011 Elsevier B.V. All rights reserved.

On Quillen's calculation of graded K-theory

We adapt Quillen’s calculation of graded K-groups of Z-graded rings with support in N to graded K-theory, allowing gradings in a product Z×G with G an arbitrary group. This in turn allows us to use induction and calculate graded K-theory of Z -multigraded rings.