در این پایان نامه مفهومی از خاصیت(t) برای یک *c -جبر دلخواه را که یک حالت اثر را می پذیرد، تعریف می شود، سپس این مفهوم به یک مفهوم خاصیت(t) برای جفت (a,b) بسط داده می شود، به طوری که b یک *c-زیرجبر از a است. فرض کنید g یک گروه گسسته و (c*r(g جبر کاهشی آن باشد. نشان داده می شود که (c*r(g خاصیت(t) دارد اگر و فقط اگر گروه g خاصیت(t) دارد. به طور کلی، بازای هر زیرگروه بسته h از g، جفت (g,h)خاصیت(t) دارد اگر و فقط اگر جفت ((c*r(g),(c*r(h) خاصیت(t) دارد.