Prefacio
- Page ID
- 118533
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Este libro está destinado a una introducción semestral al álgebra abstracta. La mayoría de los libros introductorios sobre álgebra abstracta están escritos con un curso de dos semestres en mente. Ver, por ejemplo, los libros que figuran en la Bibliografía a continuación. Estos libros se enumeran en orden aproximado de dificultad creciente. Una búsqueda en la biblioteca utilizando las palabras clave álgebra abstracta o álgebra moderna producirá una lista mucho más larga de tales libros. Algunos serán legibles por el principiante, algunos serán bastante avanzados y serán difíciles de entender sin amplios antecedentes. Una búsqueda en el grupo de palabras clave y anillo también producirá una serie de libros más especializados sobre el tema de este curso. Si deseas ver lo que está pasando en la frontera del tema, puedes echar un vistazo a algunos números recientes de las revistas Journal of Algebra o Communications in Algebra que encontrarás en nuestra biblioteca.
En lugar de pasar mucho tiempo repasando el material de fondo, entramos directamente en el tema principal. Se discuten métodos de prueba y antecedentes necesarios a medida que surja la necesidad. No obstante, al menos debes hojear los apéndices donde se puede encontrar parte de este material para que sepas dónde buscar si necesitas algún hecho o técnica.
Como solo tenemos un semestre, no tenemos tiempo para discutir ninguna de las muchas aplicaciones del álgebra abstracta. Los alumnos que tengan curiosidad por las aplicaciones encontrarán algunas mencionadas en Fraleigh y Gallian. Muchas más aplicaciones se discuten en Birkhoff y Bartee y en Dornhoff y Horn.
Aunque el álgebra abstracta tiene muchas aplicaciones en ingeniería, informática y física, los procesos de pensamiento que uno aprende en este curso pueden ser más valiosos que la materia específica. En este curso, se aprende, quizás por primera vez, cómo se organizan las matemáticas de manera rigurosa. Este enfoque, el método axiomático, enfatiza ejemplos, definiciones, teoremas y pruebas. Se le da mucha importancia a la comprensión. Cada detalle debe ser entendido. Los estudiantes no deben esperar obtener esta comprensión sin un esfuerzo considerable. Mi consejo es aprender cada definición tan pronto como sea cubierta en clase (si no antes) y hacer un esfuerzo real para resolver cada problema en el libro antes de que la solución se presente en clase. Muchos problemas requieren la construcción de una prueba. Incluso si no es capaz de encontrar una prueba en particular, el esfuerzo que se gaste en tratar de hacerlo ayudará a aumentar su comprensión de la prueba cuando la vea. Con el esfuerzo suficiente, aumentará su capacidad para probar con éxito declaraciones por su cuenta.
Suponemos que los estudiantes tienen cierta familiaridad con la teoría básica de conjuntos, el álgebra lineal y el cálculo. Pero muy poco de esta naturaleza será necesario. En gran medida, el curso es autónomo, salvo por el requisito de cierta cantidad de madurez matemática. Y, ojalá, el nivel de madurez matemática del alumno aumente a medida que avance el curso.
A menudo utilizaré el símbolo\(\blacksquare\) para indicar el final de una prueba. O, en algunos casos,\(\blacksquare\) indicará el hecho de que no se darán más pruebas. En tales casos se asignará el comprobante en los problemas o se aportará una referencia donde pueda localizarse la prueba. Este símbolo fue utilizado por primera vez para este propósito por el matemático Paul Halmos.
Nota: al impartir este curso suelo presentar en clase muchos consejos y/o esquemas de soluciones para los problemas menos rutinarios.
Esta versión incluye una serie de mejoras y adiciones sugeridas por mi colega Milé Krajčevski.