فرض کنید d یک دامنه صحیح، * یک عملگر ستاره روی d و s یک بسته ضربی از d باشد. s را یک مجموعه *g_شکافنده از d می نامند هرگاه برای d ? d ?=? داشته باشیم d = st که s ? s و t ? d به طوریکه به ازای هرs?, t)? = d ،s? ? s).