Finite rank Butler groups and torsion-free modules over a discrete valuation ring (Q4517467)

This paper develops a variety of functors from categories whose objects are Butler groups and whose morphism sets are the localizations \(\mathbb{Z}_p\otimes\Hom(G,H)\) of the usual homomorphisms at the prime \(p\). The images of these functors are categories \(\text{TF}(\mathbb{Z}_p)\) of \(p\)-local torsion-free Abelian groups of finite rank. Rank-one groups correspond to pure subgroups of the \(p\)-adic integers. The authors frequently employ categories of representations as intermediate categories. To be more specific, we sketch a typical construction. Let \(R\) be a discrete valuation domain and \(R^*\) its completion. For \(t\) in \(R^*\), let \(R_t\) be the pure submodule generated by \(\{1,t\}\) in \(R^*\). If \(M\) is a torsion-free \(R\)-module, denote \(M(t)=\{m\in M:tm\in M\}\) and \(R_tM(t)=\Hom(R_t,M)R_t\). Let \(S\) denote a finite antichain (partially ordered set with no two elements comparable) and define \(\text{Rep}(S,R,j)\) to be the category whose objects are tuples \(U=(U_0;U_i:i\in S)\), where \(U_0\) is a finitely generated free \(R\)-module, each \(U_i\) is a summand of \(U_0\), and \(p^jU_0\subseteq\sum U_i\). The morphisms \(f\colon U\to U'\) are \(R\)-module maps from \(U_0\) to \(U_0'\) such that \(f(U_i)\subseteq U_i'\) for each \(i\) in \(S\). Theorem 1.3. Let \(S=\{1,2,\dots,k\}\) be an antichain and \(A=\{t_1,\dots,t_k\}\) a subset of \(R^*\setminus R\) such that \(\{1,t_j,t_it_j:1\leq j\leq k\}\) is independent over \(R\) for each \(1\leq i\leq k\). For each nonnegative integer \(j\) there is a fully faithful embedding \(F_A:\text{Rep}(S,R,j)\to\text{TF}(R)\) with image consisting of those \(M\) with fully invariant basic submodule \(B\) such that \(M/(B+R_{t1}M(t_1)+\cdots+R_{tk} M(t_k))\) is torsion, each \(M(t_j)\) is contained in \(B\), and \(p^jB\subseteq M(t_1)+\cdots+ M(t_k)\subseteq B\). The three main results of the paper, stated in the context \(R=\mathbb{Z}_p\), are listed below. The symbol \(B(T,j)_p\) denotes the category of Butler groups \(G\) with typeset a subset of \(T\) and \(p^jG\subseteq\sum\{G(\tau):\tau\in\text{JI}(T)\}\), where \(\text{JI}(T)\) is the partially ordered set of join irreducible elements of \(T\). Theorem I. Suppose \(T\) is a \(p\)-locally free finite Boolean algebra of types and \(j\) is a nonnegative integer. There are uncountably many fully faithful functors \(F_A\) from \(B(T,j)_p\) into \(\text{TF}(\mathbb{Z}_p)\) indexed by finite subsets \(A\) of the \(p\)-adic integers. Moreover, \(\text{rank }F_A(G)\geq 2(p\text{-rank }F_A(G))\) for each \(G\) in \(B(T,j)_p\). Theorem II. Assume that \(T\) is a \(p\)-locally free finite Boolean algebra of types. There are uncountably many faithful functors \(G_A\) from \(B(T,0)_p\) into \(\text{TF}(\mathbb{Z}_p)\), indexed by finite subsets \(A\) of the \(p\)-adic integers. Furthermore, \(\text{rank }G(H)\leq 2(p\text{-rank }G_A(H))\) for each \(H\) in \(B(T,0)_p\). Corollary III. The full subcategory of \(\text{TF}(Z_p)\) consisting of \(p\)-local groups in the image of \(F_A\), respectively the image of \(G_A\), has (a) finite representation type if and only if \(|A|\leq 2\), (b) wild \(\text{mod }p\) representation type if and only if \(|A|>2\).