零和自由序列F(5)的刻画

摘要

设G是有限阿贝尔群,S是元素在G中的平方自由,零和自由序列。f(S)表示G中满足如下条件的元素的个数:可以表示成S的一个非空子序列和的元素的个数。已知当|S|=5时,有f(S)≥13。刻画了当f(S)=13时S的所有情形。