{"title":"The ring of perfect $p$-permutation bimodules for blocks with cyclic defect groups","authors":"Robert Boltje, Nariel Monteiro","doi":"arxiv-2408.04134","DOIUrl":null,"url":null,"abstract":"Let $B$ be a block algebra of a group algebra $FG$ of a finite group $G$ over\na field $F$ of characteristic $p>0$. This paper studies ring theoretic\nproperties of the representation ring $T^\\Delta(B,B)$ of perfect\n$p$-permutation $(B,B)$-bimodules and properties of the $k$-algebra\n$k\\otimes_\\mathbb{Z} T^\\Delta(B,B)$, for a field $k$. We show that if the\nCartan matrix of $B$ has $1$ as an elementary divisor then $[B]$ is not\nprimitive in $T^\\Delta(B,B)$. If $B$ has cyclic defect groups we determine a\nprimitive decomposition of $[B]$ in $T^\\Delta(B,B)$. Moreover, if $k$ is a\nfield of characteristic different from $p$ and $B$ has cyclic defect groups of\norder $p^n$ we describe $k\\otimes_\\mathbb{Z} T^\\Delta(B,B)$ explicitly as a\ndirect product of a matrix algebra and $n$ group algebras.","PeriodicalId":501038,"journal":{"name":"arXiv - MATH - Representation Theory","volume":"6 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-08-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Representation Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2408.04134","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Let $B$ be a block algebra of a group algebra $FG$ of a finite group $G$ over
a field $F$ of characteristic $p>0$. This paper studies ring theoretic
properties of the representation ring $T^\Delta(B,B)$ of perfect
$p$-permutation $(B,B)$-bimodules and properties of the $k$-algebra
$k\otimes_\mathbb{Z} T^\Delta(B,B)$, for a field $k$. We show that if the
Cartan matrix of $B$ has $1$ as an elementary divisor then $[B]$ is not
primitive in $T^\Delta(B,B)$. If $B$ has cyclic defect groups we determine a
primitive decomposition of $[B]$ in $T^\Delta(B,B)$. Moreover, if $k$ is a
field of characteristic different from $p$ and $B$ has cyclic defect groups of
order $p^n$ we describe $k\otimes_\mathbb{Z} T^\Delta(B,B)$ explicitly as a
direct product of a matrix algebra and $n$ group algebras.