The multiplicative formal group \(X+Y+XY\) is linearly reductive in \(characteristic\quad p>0\).
type: Item
instance of: scholarly article
title: The multiplicative formal group \(X+Y+XY\) is linearly reductive in \(characteristic\quad p>0\).
zbMATH Open document ID: 0669.14010
DOI: 10.1016/0021-8693(88)90039-7
author: Andrzej Tyc
published in: Journal of Algebra
publication date: 1988-01-01T00:00:00Z
review text: Let k be a field and let \(F=F(X,Y)=(F_ 1(X,Y),...,F_ n(X,Y))\), \(X=(X_ 1,...,X_ n)\), \(Y=(Y_ 1,...,Y_ n)\) be an n-dimensional formal group over k. Let \(\phi:\quad V\to Vx\) be an F-module and let \(V^ F=:\{v\in V| \phi (v)=v\}.\) (Here V is a vector space and \(\phi\) a linear map such that if \(\phi (v)=\sum_{u}\phi_ u(v)X^ u \), then \(\phi_ 0(v)=v\) and \(\sum_{u,w}\phi_ u\circ \phi_ w(v)X^ uY^ w =\sum_{s}\phi_ s(v)F(X,Y)^ s \) for all \(v\in V.)\) Definition. A formal group F is said to be linearly reductive if for each finite dimensional F-module V and \(0\neq v_ 0\in V^ F\), there exists \(f\in (V^*)^ F\) such that \(f(v_ 0)\neq 0\). (Here \(V^*\), the dual vector space of V, is viewed as an F-module.) Main result: Theorem. If \(char(k)=p>0\), then the multiplicative group \(F^{(m)}=X+Y+XY=(X_ 1+Y_ 1+X_ 1Y_ 1,...,X_ n+Y_ n+X_ nY_ n)\) is linearly reductive for all \(n\geq 1\). - This is proved by passing to the Hopf algebras and showing that the corresponding Hopf algebra to \(F^{(m)}\) is linearly coreductive. Corollary. If k is algebraically closed, then every finite dimensional \(F^{(m)}\)-module is a direct sum of one-dimensional submodules. - The proof rests on the criterion that F is linearly reductive if and only if every finite dimensional F-module is a direct sum of simple submodules [\textit{A. Tyc}, J. Algebra 101, 166-187 (1986; Zbl 0603.14031)], and on the observation that every finite dimensional simple \(F^{(m)}\)-module is one-dimensional.
reviewed by: Noriko Yui
Mathematics Subject Classification ID: 14L05
zbMATH DE Number: 4095647
zbMATH Keywords: linearly reductive formal groups
zbMATH Keywords: multiplicative formal groups
zbMATH Keywords: Hopf algebras
MaRDI profile type: Publication
full work available at URL: 0021-8693(88)90039-7
OpenAlex ID: W2047234758
cites work: Formal groups
cites work: Q3901604
cites work: Q5628302
cites work: Q4726387
cites work: Invariant theory
cites work: Q5590089
cites work: Invariants of linearly reductive formal group actions
Recommended article: Invariants of linearly reductive formal group actions
Recommended article: Geometrically reductive Hopf algebras and their invariants.
Recommended article: A characterization of linearly reductive groups by their invariants
Recommended article: Q4220947
Recommended article: Covariant Honda theory
Recommended article: Q4339497
Recommended article: Q3481859
Recommended article: A user friendly proof of Nagata's characterization of linearly reductive groups in positive characteristics
Recommended article: Q3478537
Recommended article: Multidimensional two-valued commutative formal groups
description: scientific article; zbMATH DE number 4095647