Relative projectivity and extendibility of Auslander-Reiten sequences (Q1814047): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 00:31, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Relative projectivity and extendibility of Auslander-Reiten sequences |
scientific article |
Statements
Relative projectivity and extendibility of Auslander-Reiten sequences (English)
0 references
25 June 1992
0 references
Let \({\mathbf F}G\) be the group algebra of a finite field \(\mathbf F\) of characteristic \(p\neq 0\). For a nonprojective \({\mathbf F}G\)-module \(W\), its Auslander-Reiten sequence is denoted by \(SW: 0\to \Omega^ 2W\to X\to W\to 0\). Associated with \(SW\) is a simple functor in the category of \(\mathbf F\)-linear contravariant functors from \({\mathbf F}G\)-modules to \(\mathbf F\)-vector spaces \(W\to \text{Im}(\Hom_{{\mathbf F}G}(\cdot,W)\to\text{Ext}^ 1_{{\mathbf F}G}(\cdot,\Omega^ 2W))\), also denoted by \(SW\). If \(W\) is projective, then \(SW\) is the simple functor \(\Hom_{{\mathbf F}G}(\cdot,W)/\Hom(\cdot,\text{rad}(W))\). (This functor category for finite groups was first studied by \textit{J. A. Green} [J. Pure Appl. Algebra 37, 265-298 (1985; Zbl 0567.20001)].) In the present paper the author studies questions of relative projectivity and extendibility from a normal subgroup \(N\) for these simple functors. To state some results: (1) Let \(N\leq H\leq G\). Then the simple functor \(SW\) is \(H\)-projective if and only if a certain simple module over a twisted group algebra of \(G/N\) over \(\mathbf F\) is \(H/N\)-projective. (This is achieved by using Clifford theory.) (2) Let \(V\) be an indecomposable \({\mathbf F}N\)-module. If \(V\) extends to \(G\), then so does \(SV\). Also, if \(V\) is \(G\)-invariant, then for any indecomposable direct summand \(W\) of the induced module \(V^ G\), the functor \(SW\) is an extension of \(SV\) if and only if \(SW\) is one-dimensional.
0 references
Auslander-Reiten sequence
0 references
simple functor
0 references
functor category for finite groups
0 references
relative projectivity
0 references
twisted group algebra
0 references
indecomposable direct summand
0 references