{"title":"正式地图的中心化器","authors":"A. O’Farrell","doi":"10.1353/mpr.2022.0005","DOIUrl":null,"url":null,"abstract":"We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\\G$. We consider the centraliser $C_g$ of an element $g\\in\\G$ which is tangent to the identity of $\\G$. Elements of finite order always have a large centraliser. If $g$ has infinite order our main result is that $C_g$ is uncountable, and in fact contains an uncountable abelian subgroup. This holds regardless of the characteristic of $K$, but the proof is quite different in finite characteristic than in characteritic zero.","PeriodicalId":434988,"journal":{"name":"Mathematical Proceedings of the Royal Irish Academy","volume":"216 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-10-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Centralisers of Formal Maps\",\"authors\":\"A. O’Farrell\",\"doi\":\"10.1353/mpr.2022.0005\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\\\\G$. We consider the centraliser $C_g$ of an element $g\\\\in\\\\G$ which is tangent to the identity of $\\\\G$. Elements of finite order always have a large centraliser. If $g$ has infinite order our main result is that $C_g$ is uncountable, and in fact contains an uncountable abelian subgroup. This holds regardless of the characteristic of $K$, but the proof is quite different in finite characteristic than in characteritic zero.\",\"PeriodicalId\":434988,\"journal\":{\"name\":\"Mathematical Proceedings of the Royal Irish Academy\",\"volume\":\"216 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-10-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Proceedings of the Royal Irish Academy\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1353/mpr.2022.0005\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Proceedings of the Royal Irish Academy","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1353/mpr.2022.0005","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\G$. We consider the centraliser $C_g$ of an element $g\in\G$ which is tangent to the identity of $\G$. Elements of finite order always have a large centraliser. If $g$ has infinite order our main result is that $C_g$ is uncountable, and in fact contains an uncountable abelian subgroup. This holds regardless of the characteristic of $K$, but the proof is quite different in finite characteristic than in characteritic zero.