جمع مقسوم علیه ها تابعی حسابی است که به صورت زیر تعریف می شود
g(n)=?_(j=1)^n??(j,n)?.
این تابع ضربی است و سری دیریشله آن دارای یک نمایش بسته بر حسب تابع زتای ریمان است. در این پایان نامه ضمن مطالعه ی کارهای انجام شده روی جمع مذکور، به بررسی نتایج مختلفی که شامل جمع های روی مقادیر بزرگترین مقسوم علیه مشترک هستند می پردازیم. از جمله مهمترین مواردی که آنها را اثبات خواهیم کرد، فرمول سزارو است که...