Unique factorization in invariant power series rings

David John Benson, P. J. Webb

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

Let G be a finite group, k a perfect field, and V a finite-dimensional kG-module. We let G act on the power series k [V] by linear substitutions and address the question of when the invariant power series k[V](G) form a unique factorization domain. We prove that for a permutation module for a p-group in characteristic p, the answer is always positive. On the other hand, if G is a cyclic group of order p, k has characteristic p, and V is an indecomposable kG-module of dimension r with 1 <= r <= p, we show that the invariant power series form a unique factorization domain if and only if r is equal to 1, 2, p - 1 or p. This contradicts a conjecture of Peskin. (C) 2006 Elsevier Inc. All rights reserved.

Original languageEnglish
Pages (from-to)702-715
Number of pages14
JournalJournal of Algebra
Volume319
Issue number2
DOIs
Publication statusPublished - Jan 2008

Keywords

  • invariant theory
  • symmetric powers
  • unique factorization
  • modular representation
  • characteristic-P
  • completions

Cite this

Unique factorization in invariant power series rings. / Benson, David John; Webb, P. J.

In: Journal of Algebra, Vol. 319, No. 2, 01.2008, p. 702-715.

Research output: Contribution to journalArticle

Benson, David John ; Webb, P. J. / Unique factorization in invariant power series rings. In: Journal of Algebra. 2008 ; Vol. 319, No. 2. pp. 702-715.
@article{6b08f0bb1aae47baa8c2ea28c777b126,
title = "Unique factorization in invariant power series rings",
abstract = "Let G be a finite group, k a perfect field, and V a finite-dimensional kG-module. We let G act on the power series k [V] by linear substitutions and address the question of when the invariant power series k[V](G) form a unique factorization domain. We prove that for a permutation module for a p-group in characteristic p, the answer is always positive. On the other hand, if G is a cyclic group of order p, k has characteristic p, and V is an indecomposable kG-module of dimension r with 1 <= r <= p, we show that the invariant power series form a unique factorization domain if and only if r is equal to 1, 2, p - 1 or p. This contradicts a conjecture of Peskin. (C) 2006 Elsevier Inc. All rights reserved.",
keywords = "invariant theory, symmetric powers, unique factorization, modular representation, characteristic-P, completions",
author = "Benson, {David John} and Webb, {P. J.}",
year = "2008",
month = "1",
doi = "10.1016/J.JALGEBRA.2006.01.059",
language = "English",
volume = "319",
pages = "702--715",
journal = "Journal of Algebra",
issn = "0021-8693",
publisher = "Academic Press Inc.",
number = "2",

}

TY - JOUR

T1 - Unique factorization in invariant power series rings

AU - Benson, David John

AU - Webb, P. J.

PY - 2008/1

Y1 - 2008/1

N2 - Let G be a finite group, k a perfect field, and V a finite-dimensional kG-module. We let G act on the power series k [V] by linear substitutions and address the question of when the invariant power series k[V](G) form a unique factorization domain. We prove that for a permutation module for a p-group in characteristic p, the answer is always positive. On the other hand, if G is a cyclic group of order p, k has characteristic p, and V is an indecomposable kG-module of dimension r with 1 <= r <= p, we show that the invariant power series form a unique factorization domain if and only if r is equal to 1, 2, p - 1 or p. This contradicts a conjecture of Peskin. (C) 2006 Elsevier Inc. All rights reserved.

AB - Let G be a finite group, k a perfect field, and V a finite-dimensional kG-module. We let G act on the power series k [V] by linear substitutions and address the question of when the invariant power series k[V](G) form a unique factorization domain. We prove that for a permutation module for a p-group in characteristic p, the answer is always positive. On the other hand, if G is a cyclic group of order p, k has characteristic p, and V is an indecomposable kG-module of dimension r with 1 <= r <= p, we show that the invariant power series form a unique factorization domain if and only if r is equal to 1, 2, p - 1 or p. This contradicts a conjecture of Peskin. (C) 2006 Elsevier Inc. All rights reserved.

KW - invariant theory

KW - symmetric powers

KW - unique factorization

KW - modular representation

KW - characteristic-P

KW - completions

U2 - 10.1016/J.JALGEBRA.2006.01.059

DO - 10.1016/J.JALGEBRA.2006.01.059

M3 - Article

VL - 319

SP - 702

EP - 715

JO - Journal of Algebra

JF - Journal of Algebra

SN - 0021-8693

IS - 2

ER -