نمایش مبدأ برای سوکل

در ریاضیات '''سوکِل''' (Socle) چندین معنی به هم مرتبط دارد.

== سوکل یک گروه ==
در بستر نظریه گروه، سوکل یک گروه <math>G</math> به صورت <math>\mathrm{soc(G)}</math> مشخص می شود. سوکل یک گروه زیر گروه تولید شده توسط زیرگروه های نرمال مینیمال <math>G</math> است. ممکن است یک گروه هیچ زیر گروه نرمال غیر بدیهی مینیمالی نداشته باشد (یعنی، هر زیر گروه نرمال مینیمال سره شامل زیر گروه دیگری با همین مشخصات است) و در آن صورت، سوکل به صورت زیر گروه تولید شده توسط [[عنصر همانی]] تعریف می شود. سوکل یک گروه، ضرب مستقیم زیر گروه های نورمال کمینه است.{{sfn|Robinson|1996|loc=p.87}}

به عنوان مثال، گروه دوری <math>\mathbb{Z_{12}}</math> با مولد <math>\mathrm{u}</math> را در نظر بگیرید، که دو زیر گروه نرمال کمینه دارد، یکی از آن ها توسط <math>\mathrm{u^{4}}</math> تولید شده (که منجر به تولید زیرگروه نرمالی با 3 عضو می شود) و دیگری توسط <math>\mathrm{u^{6}}</math> (که زیر گروه نرمالی با 2 عضو تولید می کند). لذا سوکل <math>\mathbb{Z_{12}}</math> گروهی است که توسط <math>\mathrm{u^{4}}</math> و <math>\mathrm{u^{6}}</math> تولید شده که در اصل گروهی است که توسط <math>\mathrm{u^{2}}</math> تولید شده است.

سوکل یک زیر گروه مشخصه است، لذا یک زیر گروه نرمال است. سوکل لزوماً به طور متعدی نرمال نیست (یعنی لزوماً زیر گروه های آن در کل گروه نرمال نیست).

اگر یک گروه مثل <math>\mathrm{G}</math> گروهی حلپذیر متناهی باشد، آنگاه سوکل آن را می توان به صورت ضرب <math>\mathrm{p}</math>-گروه های آبلی مقدماتی بیان کرد. لذا، در این حالت، سوکل صرفاً به صورت کپی هایی از <math>\mathbb{Z/pZ}</math> برای <math>\mathrm{p}</math> های مختلف می باشد که یک <math>\mathrm{p}</math> خاص ممکن است چند بار در ضرب ظاهر شود.

== سوکل یک مدول == 
در بستر نظریه مدول و نظریه حلقه ها، '''سوکل یک مدول''' <math>\mathrm{M}</math> بر روی حلقه ای چون <math>\mathrm{R}</math> به صورت جمع زیرمدول های ناصفر مینیمالی از <math>\mathrm{M}</math> تعریف می شود. مفهوم سوکل مدول را می توان به عنوان دوگان مفهوم رادیکال یک مدول در نظر گرفت. به زبان [[نظریه مجموعه‌ها|نظریه مجموعه ها]]:

:<math>\mathrm {soc}(M) = \sum \{ N \mid N \text{ is a simple submodule of }M \}. </math>

یا به طور معادل:

:<math>\mathrm {soc}(M) = \bigcap\{ E \mid E \text{ is an essential submodule of }M \}. </math>

'''سوکل یک حلقه''' مثل <math>\mathrm{R}</math> را می توان به دو مجموعه در حلقه نسبت داد. با در نظر گرفتن <math>\mathrm{R}</math> به عنوان <math>\mathrm{R}</math>-مدول راست، <math>\mathrm{soc(R_{R})}</math> تعریف می شود، و با در نظر گرفتن <math>\mathrm{R}</math> به عنوان <math>\mathrm{R}</math>-مدول چپ، <math>\mathrm{soc(_{R}R)}</math> تعریف می شود. هردوی این سوکل ها ایده‌آل هایی از حلقه هستند و مشخص شده که لزوماً با هم برابر نیستند. 
* اگر <math>\mathrm{M}</math> یک مدول آرتینی باشد، <math>\mathrm{soc(M)}</math> خود یک زیرمدول اساسی از <math>\mathrm{M}</math> است.
* یک مدول نیم ساده است اگر و تنها اگر <math>\mathrm{soc(M)=M}</math>. حلقه هایی که در آن ها برای تمام <math>\mathrm{M}</math> ها داشته باشیم <math>\mathrm{soc(M)=M}</math> دقیقاً حلقه های نیم ساده اند.
* <math>\mathrm{soc(soc(M))=soc(M)}</math>
* <math>\mathrm{M}</math> یک مدول متناهیاً هم-تولید شده (cogenerated) است اگر و تنها اگر <math>\mathrm{soc(M)}</math> متناهیاً تولید شده و <math>\mathrm{soc(M)}</math> زیرمدولی اساسی از <math>\mathrm{M}</math> باشد.
* از آنجا که جمع مدول های نیم ساده، نیم ساده است، سوکل یک مدول را می توان به صورت یک زیرمدول نیم ساده ی ماکسیمال نیز تعریف کرد.
* از تعریف <math>\mathrm{rad(R)}</math> به راحتی می توان دید که <math>\mathrm{rad(R)}</math> قادر به نابود کردن <math>\mathrm{soc(R)}</math> است. اگر <math>\mathrm{R}</math> یک جبر یک دار متناهی بعدی، و <math>\mathrm{M}</math> یک <math>\mathrm{R}</math>-مدول متناهی تولید شده باشد، آنگاه سوکل دقیقاً شامل عناصری است که توسط رادیکال جیکوبسن <math>\mathrm{R}</math> نابود می شود.<ref>[[J. L. Alperin]]; Rowen B. Bell, ''Groups and Representations'', 1995, {{isbn|0-387-94526-1}}, p. 136</ref>

== یادداشت ها ==
{{چپ‎چین}}
{{پانویس}}
{{پایان چپ‎چین}}

== منابع ==
{{چپ‎چین}}
* {{cite book|last1=Alperin|first1=J.L.|authorlink=J. L. Alperin|last2=Bell|first2=Rowen B.|title=Groups and Representations|publisher= Springer-Verlag |year=1995|location=|url=https://archive.org/details/groupsrepresenta00alpe_213|url-access=registration|doi=|id=|isbn=0-387-94526-1|page=[https://archive.org/details/groupsrepresenta00alpe_213/page/n146 136]}}
* {{cite book|last1=Anderson|first1=Frank Wylie|last2=Fuller|first2=Kent R.|title=Rings and Categories of Modules|publisher= Springer-Verlag |isbn=978-0-387-97845-1|year=1992}}
* {{citation|last1=Robinson|first1=Derek J. S.|title=A course in the theory of groups|series=[[Graduate Texts in Mathematics]]|volume=80|edition=2|publisher= Springer-Verlag |place=New York|year=1996|pages=xviii+499|isbn=0-387-94461-3|mr=1357169|doi=10.1007/978-1-4419-8594-1}}
{{پایان چپ‎چین}}
* مشارکت‌کنندگان ویکی‌پدیا. «[[:en:Socle (mathematics)|Socle (Mathematics)]]». در دانشنامهٔ [[ویکی‌پدیای انگلیسی]].

[[رده:زیرگروه‌های تابعی]]
[[رده:مجموعه‌نمایه‌ها در ریاضیات]]
[[رده:نظریه گروه‌ها]]
[[رده:نظریه مدول]]
[[رده:نظریه‌ها]]