نمایش مبدأ برای جبر شرکت‌پذیر

{{نوارکناری نظریه حلقه‌ها}}
{{ساختارهای جبری}}
در [[ریاضیات]]، '''جبر شرکت‌پذیر''' {{انگلیسی|Associative Algebra}}، [[ساختار جبری|ساختاری جبری]] است که [[عمل دوتایی|عملگرهای دوتایی]] سازگاری به نام جمع و ضرب (به فرض [[شرکت‌پذیری]])، و ضرب اسکالری داشته که اسکالرهای آن عضوی از یک [[میدان (ریاضیات)|میدان]] می‌باشند. اعمال جمع و ضرب به ''A'' ساختار [[حلقه (ریاضیات)|حلقه‌ای]] می‌دهند؛ اعمال جمع و ضرب اسکالر به ''A'' ساختار [[فضای برداری]] روی ''K'' می‌دهند. در این مقاله نیز ما از عبارت ''K''-جبر به معنی جبر شرکت‌پذیر روی میدان ''K'' استفاده خواهیم کرد. اولین مثال غیر استاندارد از ''K''-جبر، حلقه [[ماتریس]]‌های مربعی روی میدان ''K''، با همان ضرب معمول ماتریسی است.

'''جبر جابجایی'''، جبر شرکت‌پذیری است که دارای [[خاصیت جابه‌جایی]] عمل ضرب است یا به‌طور معادل جبر شرکت‌پذیری است که همزمان حلقه‌ای جابجایی نیز باشد.

در این مقاله، جبرهای شرکت‌پذیر را دارای همانی ضرب (۱) در نظر می‌گیریم؛ برخی مواقع برای شفافیت بیشتر، به چنین جبرهایی، '''جبرهای شرکت‌پذیر یکدار''' گفته می‌شود. در برخی از شاخه‌های ریاضیات، چنین فرضی انجام نشده و به ساختارهای حاصل، جبرهای شرکت‌پذیر غیر-یکدار گفته می‌شود. همچنین ما در اینجا تمام حلقه‌ها را یکدار و تمام همریختی‌های حلقه‌ای را نیز یکدار در نظر خواهیم گرفت.

بسیاری از مؤلفان، به جای میدان، مفهوم کلی تر جبر شرکت‌پذیر روی حلقه‌ای جابجایی چون ''R'' را در نظر می‌گیرند: '''''R''-جبر'''، یک ''R''-[[مدول]] با عمل دوتایی ''R''-دوخطی است که شامل همانی ضربی نیز می‌باشد. به عنوان مثالی از این مفهوم، اگر ''S'' هر حلقه با مرکز ''C'' باشد، آنگاه ''S'' یک ''C''-جبر شرکت‌پذیر خواهد بود.

== تعریف ==
فرض کنید ''R'' [[حلقه جابه‌جایی|حلقه‌ای جابجایی]] باشد (لذا ''R'' می‌تواند میدان باشد). '''''R''-جبر شرکت‌پذیر''' (یا به زبان ساده‌تر، یک '''''R''-جبر''')، حلقه‌ای است که هم‌زمان ''R''-مدول نیز می‌باشد، به گونه‌ای که جمع حلقه ای و جمع مدولی یکی بوده و برای تمام <math>r\in R</math> و <math>x, y\in A</math>، ضرب اسکالر در معادله زیر صدق می‌کند:
{{ وسط‌چین}}
<math>r\cdot(xy) = (r\cdot x)y = x(r\cdot y)</math>
{{پایان وسط‌چین}}
(نتیجه این معادله یکدار بودن ''A'' است، چرا که حلقه‌ها در اینجا یکدار فرض شده‌اند)

به‌طور معادل، جبر شرکت‌پذیر ''A'' حلقه‌ای است که مجهز به [[هم‌ریختی|همریختی]] حلقه‌ای از ''R'' به مرکز ''A'' اس. اگر ''f'' چنین همریختی باشد، ضرب اسکالر <math>(r,x)\mapsto f(r)x</math> خواهد بود (در اینجا ضرب، همان ضرب حلقه است)؛ اگر ضرب اسکالر داده شده باشد، همریختی حلقه ای با <math>r\mapsto r\cdot 1_R</math> داده شده‌است.

همه حلقه‌ها <math>\Z</math>-جبر هستند که <math>\Z</math> نشانگر حلقه [[اعداد صحیح]] است.

'''جبر جابجایی'''، جبر شرکت‌پذیری است که همزمان حلقه جابجایی نیز باشد.

== ارجاعات ==
{{پانویس|چپ‌چین=بله}}
* {{یادکرد-ویکی|پیوند=https://en.wikipedia.org/w/index.php?title=Associative_algebra&oldid=1014881242|عنوان=Associative Algebra|زبان=انگلیسی|بازیابی=۳ مهٔ ۲۰۲۱}}

== منابع ==
{{چپ‌چین}}
* {{cite web|last=Artin|first=Michael|title=Noncommutative Rings|url=http://math.mit.edu/~etingof/artinnotes.pdf|year=1999}}
* {{Cite book|author=Bourbaki, N.|title=Algebra I|publisher=Springer|year=1989|isbn=3-540-64243-9|url=https://books.google.com/books?id=STS9aZ6F204C&q=%22associative+algebra%22}}
* {{cite book | title=Further Algebra and Applications | first=P.M. | last=Cohn | author-link=Paul Cohn | edition=2nd | publisher=Springer | year=2003 | isbn=1-85233-667-6 | zbl=1006.00001}}
* Nathan Jacobson, Structure of Rings
* James Byrnie Shaw (1907) [http://ebooks.library.cornell.edu/cgi/t/text/text-idx?c=math;cc=math;view=toc;subview=short;idno=05160001 A Synopsis of Linear Associative Algebra], link from [[Cornell University]] Historical Math Monographs.
* Ross Street (1998) ''[https://web.archive.org/web/20050825034431/http://www-texdev.ics.mq.edu.au/Quantum/Quantum.ps Quantum Groups: an entrée to modern algebra]'', an overview of index-free notation.
* {{Citation | last1=Waterhouse | first1=William | author1-link=William_C._Waterhouse | title=Introduction to affine group schemes | publisher=[[Springer-Verlag]] | location=Berlin, New York | series=Graduate Texts in Mathematics | isbn=978-0-387-90421-4 | year=1979 | volume=66 | doi=10.1007/978-1-4612-6217-6 | mr=0547117}}
{{پایان چپ‌چین}}
{{داده‌های کتابخانه‌ای}}

[[رده:جبرها]]
[[رده:هندسه جبری]]