Search arXiv⌕ Search

arXiv · 0709.2920

From Littlewood-Richardson sequences to subgroup embeddings and back

Abstract

Let $α$, $β$, and $γ$ be partitions describing the isomorphism types of the finite abelian $p$-groups $A$, $B$, and $C$. From theorems by Green and Klein it is well-known that there is a short exact sequence $0\to A\to B\to C\to 0$ of abelian groups if and only if there is a Littlewood-Richardson sequence of type $(α,β,γ)$. Starting from the observation that a sequence of partitions has the LR property if and only if every subsequence of length 2 does, we demonstrate how LR-sequences of length two correspond to embeddings of a $p^2$-bounded subgroup in a finite abelian $p$-group. Using the known classification of all such embeddings we derive short proofs of the theorems by Green and Klein.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Markus Schmidmeier. 2007-09-18. From Littlewood-Richardson sequences to subgroup embeddings and back. https://arxiv.org/abs/0709.2920

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The Ramanujan-Petersson and Selberg conjectures for Maass forms

We prove the Ramanujan-Petersson conjecture for Maass forms of the group $SL(2,Z)$, with the help of automorphic distribution theory and pseudodifferential analysis. The first notion is an alternative to classical automorphic function theory, in which the plane takes the place usually ascribed to the hyperbolic half-plane. The Selberg conjecture for Hecke's group $Γ_0(M)$ follows as well.

math.GR↗

Spherical growth of reciprocal classes in the Hecke Groups

Let $Γ_p$ denote the Hecke group where $p=2r$, $r>0$. Let $\mathcal{N}_l$ denote the set of conjugacy classes of reciprocal elements of word length $l$ in $Γ_p$. We prove that for $l \to \infty$, $$|\mathcal{N}_l| = \mathcal{O}\left(\left\lfloor \tfrac{l+1}{2} \right\rfloor^{s-1} ρ^{\left\lfloor \tfrac{l+1}{2} \right\rfloor} \right), $$ where $\mathcal O$ is the `big O', $ρ\in [\sqrt{2}, 2]$ is the unique positive real root of $$ p(x) = x^{r+1} - 2\sum_{j=1}^{r-1} x^{r-j} - 1, $$ and $s$ is the maximal multiplicity among the roots of $p(x)$. Our method relies on the free product structure of the Hecke group $Γ_p$, a combinatorial counting function, and recurrence relations derived from cyclically reduced representatives. We also derive that the growth rate of the primitive reciprocal classes of word length $l$ is in agreement with that of $\mathcal{N}_l$. This work generalizes previous results for odd $p$ and provides an explicit asymptotic bound for all Hecke groups.

math.GR↗

Cobordism, spin structures, and profinite completions

Let $M$ and $N$ be smooth closed connected aspherical manifolds with good (in the sense of Serre) fundamental groups $G$ and $H$. We show that if $\widehat G\cong \widehat H$, then $M$ and $N$ are cobordant and the signatures of $M$ and $N$ agree modulo $8$. Moreover, $M$ is spin (resp. spin$^\mathbb{C}$) if and only if $N$ is spin (resp. spin$^\mathbb{C}$). We consider some analogous results for compact connected aspherical manifolds.

math.GR↗