Abstract
Consider a discrete valuation ring R whose residue field is finite of cardinality at least 3. For a finite torsion module, we consider transitive subsets O under the action of the automorphism group of the module. We prove that the associated permutation representation on the complex vector space C[O] is multiplicity free. This is achieved by obtaining a complete description of the transitive subsets of O × O under the diagonal action of the automorphism group.
Similar content being viewed by others
References
Anil Kumar C P and Prasad A, Orbits of pairs in Abelian groups, Séminaire Lotharingien de Combinatoire 70 (2014) Art. B70h, 24 pages
Birkhoff G, Subgroups of Abelian Groups, Proc. London Math. Soc. s2-38 (1) (1935) 385–401
Dutta K and Prasad A, Degenerations and orbits in finite abelian groups, J. Combin. Theory Ser. A 118 (6) (2011) 1685–1694
Kerby B L and Rode E, Characteristic subgroups of finite abelian groups, Comm. Algebra 39 (4) (2011) 1315–1343
Miller G A, determination of all the characteristic subgroups of any Abelian group, Am. J. Math. 27 (1) (1905) 15–24
Acknowledgements
The author was supported by an Indian Statistical Institute (ISI) Grant as a Visiting Scientist at ISI, Bangalore and also by the Institute of Mathematical Sciences (IMSc) Grant as a Senior Research Scholar at IMSc, Chennai. He would like to thank Prof. Amritanshu Prasad, Prof. S Viswanath, Prof. Vijay Kodiyalam of IMSc, Chennai and Prof. B Sury of ISI, Bangalore. This work is a part of the Ph.D. thesis of the author while doing his Ph.D at IMSc, Chennai.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicating Editor: B Sury
Appendix
Appendix
Let R λ denote the abelian group corresponding to the partition \((\lambda = \lambda _{1}^{\rho _1}>\lambda _{2}^{\rho _2}>{\lambda }_{3}^{{\rho } _3}>\cdots >{\lambda }_{k}^{{\rho } _k})\). In this section, we prove the existence of a certain combinatorial lattice structure among certain B-valued subsets of R λ defined below in order to motivate Definition 1. This is a bigger lattice (additively closed for supremum) when compared to the lattice of characteristic subgroups of abelian p-groups for p>2.
DEFINITION 3 (B-val)
Let \(B = \{0,1\} \subset \mathbb {N} \cup \{0\}\). A B-val \(\underline a\) is an element of \({\bigcup }_{l \in \mathbb {N}} \{0,1\}^{l}\).
DEFINITION 4 (B-set)
Fix an odd prime p in this article. Let R λ denote the abelian group corresponding to the partition \(({\lambda } = {\lambda }_{1}^{\rho _1}>{\lambda }_{2}^{\rho _2}>{\lambda }_{3}^{\rho _3}>\cdots >{\lambda }_{k}^{\rho _k})\). Let (r 1,r 2,…,r k ) ∈ {0,1,2,…,λ 1} × {0,1,2,…,λ 2} × ⋯ × {0,1,2,…,λ k } and \(\underline {a}=(a_{1},a_{2},\ldots ,a_{k}) \in \nolinebreak \{0,1\}^{k}\). Define a B-set denoted by \(I(\underline r,\underline a)\) as the subset \({{\prod }^{k}_{i=1}}p^{r_{i}}(R^{\rho _{i}}_{\lambda _{i}})^{a_{i}}\) of the abelian group R λ , where \(p^{r}({R}^{{\rho }}_{\mu })^{0}=p^{r}(\mathbb {Z}/p^{\mu }\mathbb {Z})^{{\rho }}\) for 0≤r≤μ and \(p^{r}(R^{\rho }_{\mu })^{1}=p^{r}\left ((\mathbb {Z}/p^{\mu }\mathbb {Z})^{\rho }\backslash p(\mathbb {Z}/p^{\mu }\mathbb {Z})^{\rho }\right )\) for 0≤r≤μ with \(p^{\mu } (R^{\rho }_{\mu })^{1}=\{0\}\).
DEFINITION 5
Let \(\mathcal {L}\) be a collection of subsets of R λ . Define a lattice structure as follows. Let \(L_{1},L_{2} \in \mathcal {L}\), then L 1∧L 2 is an element of \(\mathcal {L}\) which is the biggest set in \(\mathcal {L}\) which is contained in L 1 and L 2. Define L 1∨L 2 to be the smallest set in \(\mathcal {L}\) that contains L 1 + L 2. We note that L 1 + L 2={l 1 + l 2 ∈ R λ ∣l 1 ∈ L 1 ⊂ R λ ,l 2∈L 2 ⊂ R λ }.
Remark 2.
In the case, when the lattice \(\mathcal {L}\) is the lattice of characteristic subgroups this definition is not needed as any subgroup L which contains two groups L 1,L 2 as subgroups also contains the group L 1 + L 2 generated by both of them, i.e. note the least upper bound (supremum) is additively closed instead of just closed under the set union.
Also we note that the lattice of characteristic subgroups has two-way distributivity (L 1∨L 2)∧L 3=(L 1∧L 3)∨(L 2∧L 3),(L 1∧L 2)∨L 3=(L 1∨L 3)∧(L 2∨L 3). This is because of the following identities. For any real numbers r,s,t, we have
The following two lemmas prove that the set of all such B-valued subsets is a lattice with respect to the Definition A3.
Lemma 4.
where \(\underline a \underline b=(a_{1}b_{1},\ldots ,a_{k}b_{k})\) and \(\underline r \cup \underline s=(\max (r_{i},s_{i}):i=1,2,\ldots ,k)\).
Proof.
Let i∈{1,2,3,…,k}. If r i = s i , then
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}*}\cap p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}*}=p^{r_{i}=s_{i}}R_{\lambda _{i}}^{\rho _{i}*}\),
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}}\cap p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}*}=p^{r_{i}=s_{i}}R_{\lambda _{i}}^{\rho _{i}*}\),
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}*}\cap p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}}=p^{r_{i}=s_{i}}R_{\lambda _{i}}^{\rho _{i}*}\),
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}}\cap p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}}=p^{r_{i}=s_{i}}R_{\lambda _{i}}^{\rho _{i}}\).
If r i ≠s i , then assume without loss of generality that r i <r i +1≤s i .
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}*}\cap p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}*}=\emptyset \),
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}}\cap p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}*}=p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}*}\),
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}*}\cap p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}}=\emptyset \),
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}}\cap p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}}=p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}}\).
This proves the lemma. □
Lemma 5 (Sum of two B-sets lemma).
Let \(I(\underline r,a),I(\underline s,b)\) denote two B-subsets of R λ with B-val \(\underline a,\underline b\) . Then \(I(\underline r,\underline a)+I(\underline s,\underline b)\) is a B-set. The B-val associated to the B-set \(I(\underline r,\underline a)+I(\underline s,\underline b)\) is given by \(\underline c = 1/2((a+b)sgn(r-s)-(a-b))sgn(r-s)\) . The B-set \(I(\underline r,\underline a)+I(\underline s,\underline b) = I(\underline r \cap \underline s,\underline c)\) where \(\underline r \cap \underline s=(\min (r_{i},s_{i}):i=1,2,\ldots ,k)\).
Proof.
We have that p is an odd prime. Let i∈{1,2,3,…,k}. If r i = s i , then
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}*}+ p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}*}=p^{r_{i}=s_{i}}R_{\lambda _{i}}^{\rho _{i}},p\) is an odd prime,
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}}+ p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}*}=p^{r_{i}=s_{i}}R_{\lambda _{i}}^{\rho _{i}}\),
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}*}+ p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}}=p^{r_{i}=s_{i}}R_{\lambda _{i}}^{\rho _{i}}\),
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}}+ p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}}=p^{r_{i}=s_{i}}R_{\lambda _{i}}^{\rho _{i}}\).
If r i ≠s i , then assume without loss of generality that r i <r i +1≤s i .
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}*}+p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}*}=p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}*}\),
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}}+p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}*}=p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}}\),
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}*}+p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}}=p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}*}\),
-
\(p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}}+p^{s_{i}}R_{\lambda _{i}}^{\rho _{i}}=p^{r_{i}}R_{\lambda _{i}}^{\rho _{i}}\).
Here s g n(r i −s i )=+1,0,−1 according as r i >s i ,r i = s i ,r i <s i respectively and s g n(r−s)=(s g n(r i −s i )∣i=1,2,…,k). Now the sum set equality
follows. □
Rights and permissions
About this article
Cite this article
ANIL KUMAR, C.P. Permutation representations of the orbits of the automorphism group of a finite module over discrete valuation ring. Proc Math Sci 127, 295–321 (2017). https://doi.org/10.1007/s12044-016-0320-5
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12044-016-0320-5
Keywords
- Finite Abelian groups
- finite group actions
- automorphism orbits
- modules over discrete valuation rings
- endomorphism algebras
- permutation representations
- multiplicity free
- distributive lattice
- congruence residue systems.