Iterative Derivations on Central Simple Algebras

TL;DR

This paper investigates the extension of iterative derivations from fields to central simple algebras and characterizes their Galois groups and algebraic structure in relation to Picard-Vessiot theory.

Contribution

It establishes conditions for extending iterative derivations to central simple algebras and describes their Galois groups and ideal structure.

Findings

Extension of iterative derivations is possible when the characteristic does not divide the algebra's exponent.

Existence of a unique Picard-Vessiot splitting field for algebras with an iterative derivation.

Structural description of the algebra via its $ ext{delta}_A$-right ideals.

Abstract

We prove that an iterative derivation $\delta_F$ on a field $F$ can be extended to an iterative derivation $\delta_A$ on a central simple $F-$algebra $A$ if the characteristic of $F$ does not divide the exponent of $A$ in the Brauer group of $F.$ For a central simple $F-$algebra with an iterative derivation, we show the existence of a unique (up to isomorphism) Picard-Vessiot splitting field and from the nature its Galois group, we also describe the structure of the central simple algebra in terms of its $\delta_A-$right ideals.