アベリアン群における共通横断および補集合

要約 有限アベリアン群 G と G の同じ位数の循環部分群 A, B, C が与えられたとき、A, B, C が提供する剰余類に対して共通横断を持つための必要十分条件を見つけます。任意の数の循環部分群に対して、共通の補集合が存在する場合の十分条件を提供します。さらに、共通横断が存在するいくつかのケースについて、具体的な構成を示します。