Finitely Generated Abelian Groups and Similarity of Matrices over a Field

در نگاه اول، به نظر می‌رسد که گروه‌های آبلیانی محدود و فرم‌های متعارف ماتریس‌ها اشتراکات کمی دارند. با این حال، کاهش به شکل عادی اسمیت، که به نام مبتکر آن H.J.S.Smith در سال 1861 نامگذاری شد، یک نسخه ماتریسی از الگوریتم اقلیدسی است و دقیقاً همان چیزی است که نظریه در هر دو مورد نیاز دارد. با شروع با ماتریس‌های روی اعداد صحیح، قسمت 1 این کتاب مقدمه‌ای اندازه‌گیری شده برای چنین گروه‌هایی ارائه می‌کند: دو گروه آبلی که به‌طور متناهی تولید می‌شوند، هم‌شکل هستند اگر و فقط اگر دنباله‌های عامل ثابت آنها یکسان باشند. تئوری مشابه تشابه ماتریس در یک میدان سپس در قسمت 2 توسعه می‌یابد که با ماتریس‌های دارای ورودی‌های چندجمله‌ای شروع می‌شود: دو ماتریس روی یک میدان مشابه هستند اگر و تنها در صورتی که اشکال متعارف منطقی آنها برابر باشد. تحت شرایط خاصی، هر ماتریس شبیه یک ماتریس مورب یا تقریباً مورب است، یعنی شکل جردن آن.

فرض می‌شود خواننده با ویژگی‌های اولیه حلقه‌ها و میدان‌ها آشناست. همچنین دانش جبر خطی انتزاعی شامل فضاهای برداری، نگاشت های خطی، ماتریس ها، مبانی و ابعاد ضروری است، اگرچه بسیاری از تئوری در متن پوشش داده شده است، اما از دیدگاه کلی تر: نقش فضاهای برداری به ماژول ها بر جابجایی گسترش می یابد. حلقه‌ها.

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

At first sight, finitely generated abelian groups and canonical forms of matrices appear to have little in common. However, reduction to Smith normal form, named after its originator H.J.S.Smith in 1861, is a matrix version of the Euclidean algorithm and is exactly what the theory requires in both cases. Starting with matrices over the integers, Part 1 of this book provides a measured introduction to such groups: two finitely generated abelian groups are isomorphic if and only if their invariant factor sequences are identical. The analogous theory of matrix similarity over a field is then developed in Part 2 starting with matrices having polynomial entries: two matrices over a field are similar if and only if their rational canonical forms are equal. Under certain conditions each matrix is similar to a diagonal or nearly diagonal matrix, namely its Jordan form.

The reader is assumed to be familiar with the elementary properties of rings and fields. Also a knowledge of abstract linear algebra including vector spaces, linear mappings, matrices, bases and dimension is essential, although much of the theory is covered in the text but from a more general standpoint: the role of vector spaces is widened to modules over commutative rings.

Based on a lecture course taught by the author for nearly thirty years, the book emphasises algorithmic techniques and features numerous worked examples and exercises with solutions. The early chapters form an ideal second course in algebra for second and third year undergraduates. The later chapters, which cover closely related topics, e.g. field extensions, endomorphism rings, automorphism groups, and variants of the canonical forms, will appeal to more advanced students. The book is a bridge between linear and abstract algebra.