A Construction of Metabelian Groups

In 1934, Garrett Birkhoff has shown that the number of isomorphism classes of finite metabelian groups of order $p^{22}$ tends to infinity with $p$. More precisely, for each prime number $p$ there is a family $(M_\lambda)_{\lambda=0,...,p-1}$ of indecomposable and pairwise nonisomorphic metabelian $p$-groups of the given order. In this manuscript we use recent results on the classification of possible embeddings of a subgroup in a finite abelian $p$-group to construct families of indecomposable metabelian groups, indexed by several parameters, which have upper bounds on the exponents of the center and the commutator subgroup.Comment: 5 pages; to appear in Archiv der Mathemati

The Swiss Cheese Theorem for Linear Operators with Two Invariant Subspaces

We study systems $(V,T,U_1,U_2)$ consisting of a finite dimensional vector space $V$, a nilpotent $k$-linear operator $T:V\to V$ and two $T$-invariant subspaces $U_1\subset U_2\subset V$. Let $\mathcal S(n)$ be the category of such systems where the operator $T$ acts with nilpotency index at most $n$. We determine the dimension types $(\dim U_1, \dim U_2/U_1, \dim V/U_2)$ of indecomposable systems in $\mathcal S(n)$ for $n\leq 4$. It turns out that in the case where $n=4$ there are infinitely many such triples $(x,y,z)$, they all lie in the cylinder given by $|x-y|,|y-z|,|z-x|\leq 4$. But not each dimension type in the cylinder can be realized by an indecomposable system. In particular, there are holes in the cylinder. Namely, no triple in $(x,y,z)\in (3,1,3)+\mathbb N(2,2,2)$ can be realized, while each neighbor $(x\pm1,y,z), (x,y\pm1,z),(x,y,z\pm1)$ can. Compare this with Bongartz' No-Gap Theorem, which states that for an associative algebra $A$ over an algebraically closed field, there is no gap in the lengths of the indecomposable $A$-modules of finite dimension

Operations on Arc Diagrams and Degenerations for Invariant Subspaces of Linear Operators

We study geometric properties of varieties associated with invariant subspaces of nilpotent operators. There are reductive algebraic groups acting on these varieties. We give dimensions of orbits of these actions. Moreover, a combinatorial characterization of the partial order given by degenerations is described