مربع های لاتینی،می تواند بعنوان جدول های ضربی ازشبه گروه دیده شود،به طوری که ساختارهای غیرجابجایی واشتراک ناپذیر دارند،تعدادی ازمربع های لاتینی که یک ایزوتوپیسم ثابتی درگروه اتوتوپیسم شان دارند،درحال حاضر یک مساله بازاست،در این پایان نامه با به کار بردن پایه گروبنرالگوریتم ارائه می دهیم که تعداد مربع های لاتین وابسته به اتوتوپیسم ازمرتبه کوچکتر یا مساوی 7 را به دست می آورد.و همچنین توانستیم پایه گروبنر را از ایده آل تشکیل شده یک اتوتوپیسم برای یک حالت خاص بدون استفاده از نرم افزار فرمول بندی کنیم.