Saved in:
Bibliographic Details
Main Authors: Jones, Adam, Woods, William
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2508.21160
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866915470028832768
author Jones, Adam
Woods, William
author_facet Jones, Adam
Woods, William
contents We investigate the algebraic properties of the bounded skew power series ring $Q^+[[x;σ,δ]]$ over a (complete, simple) \emph{standard} filtered artinian algebra $Q$ of positive characteristic. Here we are assuming that $(σ,δ)$ is a commuting skew derivation of $Q$, where $δ$ is inner, satisfying the appropriate compatibility conditions. In a previous work of the authors, it was proved that $Q^+[[x;σ,δ]]$ is a simple ring whenever $σ$ has infinite inner order. We now extend this result to the case when $σ$ has finite inner order, proving that this ring is often simple, and always prime in cases of interest. This solves an important special case of an open question of Letzter, and yields important consequences for the classification of prime ideals in Iwasawa algebras of solvable groups.
format Preprint
id arxiv_https___arxiv_org_abs_2508_21160
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Skew power series rings with automorphisms of finite inner order
Jones, Adam
Woods, William
Rings and Algebras
16W60, 16W70, 16W80, 16S35, 16S36, 16K40
We investigate the algebraic properties of the bounded skew power series ring $Q^+[[x;σ,δ]]$ over a (complete, simple) \emph{standard} filtered artinian algebra $Q$ of positive characteristic. Here we are assuming that $(σ,δ)$ is a commuting skew derivation of $Q$, where $δ$ is inner, satisfying the appropriate compatibility conditions. In a previous work of the authors, it was proved that $Q^+[[x;σ,δ]]$ is a simple ring whenever $σ$ has infinite inner order. We now extend this result to the case when $σ$ has finite inner order, proving that this ring is often simple, and always prime in cases of interest. This solves an important special case of an open question of Letzter, and yields important consequences for the classification of prime ideals in Iwasawa algebras of solvable groups.
title Skew power series rings with automorphisms of finite inner order
topic Rings and Algebras
16W60, 16W70, 16W80, 16S35, 16S36, 16K40
url https://arxiv.org/abs/2508.21160