فرض کنید S یک نیمگروه و T یک ضربگر روی ان باشد. بهکمک این ضربگر، روی S عمل جدیدی را تعریف میکنیم بهطوریکه S باعمل جدید باز یک نیمگروه باشد. نیمگروه حاصل را با نماد S T نشان میدهیم. در این مقاله نشان میدهیم که در آن توسیع ضربگر T روی است. همچنین ثابت میکنیم میانگینپذیر است اگر و فقط اگر چنین باشد. بهعلاوه اگر Sکاملاً منظم باشد آنگاه میانگینپذیر ضعیف است.
بازنشر اطلاعات | |
این مقاله تحت شرایط Creative Commons Attribution-NonCommercial 4.0 International License قابل بازنشر است. |