ApéndiceCNotación
La siguiente tabla deine la notación usada en este libro. Los números de página o referencias se refieren a la primera aparición de cada símbolo.
[symbol] | [description] | [location] |
---|---|---|
a∈A | a está en el conjunto A | Párrafo |
N | los número naturales | Párrafo |
Z | los números enteros | Párrafo |
Q | los números racionales | Párrafo |
R | los números reales | Párrafo |
C | los números complejos | Párrafo |
A⊂B | A es un subconjunto de B | Párrafo |
∅ | el conjunto vacío | Párrafo |
A∪B | la unión de los conjuntos A y B | Párrafo |
A∩B | la intersección de los conjuntos A y B | Párrafo |
A′ | complemento del conjunto A | Párrafo |
A∖B | diferencia entre los conjuntos A y B | Párrafo |
A×B | producto Cartesiano de conjuntos A y B | Párrafo |
An | A×⋯×A (n veces) | Párrafo |
id | función identidad | Párrafo |
f−1 | inversa de la función f | Párrafo |
a \equiv b \pmod{n} | a es congruente a b módulo n | Ejemplo 1.30 |
n! | n factorial | Ejemplo 2.4 |
\binom{n}{k} | coeficiente binomial n!/(k!(n-k)!) | Ejemplo 2.4 |
a \mid b | a divide a b | Párrafo |
\gcd(a, b) | máximo común divisor de a y b | Párrafo |
\mathcal P(X) | conjunto potencia de X | Ejercicio 2.3.12 |
\lcm(m,n) | el mínimo común múltiplo de m y n | Ejercicio 2.3.23 |
\mathbb Z_n | los enteros módulo n | Párrafo |
U(n) | grupo de unidades en \mathbb Z_n | Ejemplo 3.11 |
\mathbb M_n(\mathbb R) | las matrices de n \times n con entradas en \mathbb R | Ejemplo 3.14 |
\det A | el determinante de A | Ejemplo 3.14 |
GL_n(\mathbb R) | el grupo lineal general | Ejemplo 3.14 |
Q_8 | el grupo de cuaterniones | Ejemplo 3.15 |
\mathbb C^* | el grupo multiplicativo de los complejos | Ejemplo 3.16 |
|G| | el orden de un grupo | Párrafo |
\mathbb R^* | el grupo multiplicativo de los números reales | Ejemplo 3.24 |
\mathbb Q^* | el grupo multiplicativo de los números racionales | Ejemplo 3.24 |
SL_n(\mathbb R) | el grupo lineal especial | Ejemplo 3.26 |
Z(G) | el centro de un grupo | Ejercicio 3.4.48 |
\langle a \rangle | grupo cíclico generado por a | Teorema 4.3 |
|a| | el orden de un elemento a | Párrafo |
\cis \theta | \cos \theta + i \sin \theta | Párrafo |
\mathbb T | el grupo de la circunferencia | Párrafo |
S_n | el grupo simétrico en n símbolos | Párrafo |
(a_1, a_2, \ldots, a_k ) | ciclo de largo k | Párrafo |
A_n | el grupo alternante en n símbolos | Párrafo |
D_n | el grupo dihedral | Párrafo |
[G:H] | índice de un subgrupo H en un grupo G | Párrafo |
\mathcal L_H | el conjunto de clases laterales izquierdas de un subgrupo H en un grupo G | Teorema 6.8 |
\mathcal R_H | el conjunto de clases laterales derechas de un subgrupo H en un grupo G | Teorema 6.8 |
d(\mathbf x, \mathbf y) | distancia de Hamming entre \mathbf x e \mathbf y | Párrafo |
d_{\min} | la distancia mínima de un código | Párrafo |
w(\mathbf x) | el peso de \mathbf x | Párrafo |
\mathbb M_{m \times n}(\mathbf Z_2) | el conjunto de matrices de m \times n con coeficientes en \mathbb Z_2 | Párrafo |
\Null(H) | espacio nulo de una matriz H | Párrafo |
\delta_{ij} | delta de Kronecker | Lema 8.27 |
G \cong H | G es isomorfo a un grupo H | Párrafo |
\aut(G) | grupo de automorfismos de un grupo G | Ejercicio 9.3.37 |
i_g | i_g(x) = gxg^{-1} | Ejercicio 9.3.41 |
\inn(G) | grupo de automorfismos internos de un grupo G | Ejercicio 9.3.41 |
\rho_g | representación regular derecha | Ejercicio 9.3.44 |
G/N | grupo cociente de G mód N | Párrafo |
G' | subgrupo conmutador de G | Ejercicio 10.3.14 |
\ker \phi | núcleo de \phi | Párrafo |
(a_{ij}) | matriz | Párrafo |
O(n) | grupo ortogonal | Párrafo |
\| {\mathbf x} \| | longitud de un vector \mathbf x | Párrafo |
SO(n) | grupo ortogonal especial | Párrafo |
E(n) | Grupo Euclideano | Párrafo |
{\mathcal O}_x | órbita de x | Párrafo |
X_g | conjunto de puntos fijos de g | Párrafo |
G_x | subgrupo de isotropía de x | Párrafo |
N(H) | normalizador de un subgrupo H | Párrafo |
\mathbb H | el anillo de los cuaterniones | Ejemplo 16.7 |
\mathbb Z[i] | los enteros Gaussianos | Ejemplo 16.12 |
\chr R | característica de un anillo R | Párrafo |
\mathbb Z_{(p)} | anillo de enteros localizado en p | Ejercicio 16.6.34 |
\deg f(x) | grado de un polinomio | Párrafo |
R[x] | anillo de polinomios sobre un anillo R | Párrafo |
R[x_1, x_2, \ldots, x_n] | anillo de polinomios en n variables | Párrafo |
\phi_\alpha | homomorfismo de evaluación en \alpha | Teorema 17.5 |
\mathbb Q(x) | cuerpo de funciones racionales sobre \mathbb Q | Ejemplo 18.5 |
\nu(a) | Valuación Euclideana de a | Párrafo |
F(x) | cuerpo de funciones racionales en x | [li] 18.3.7.a |
F(x_1, \dots, x_n) | cuerpo de funciones racionales en x_1, \ldots, x_n | [li] 18.3.7.b |
a \preceq b | a es menor a b | Párrafo |
a \vee b | supremo de a y b | Párrafo |
a \wedge b | ínfimo de a y b | Párrafo |
I | elemento mayor en un reticulado | Párrafo |
O | menor elemento en un reticulado | Párrafo |
a' | complemento de a en un reticulado | Párrafo |
\dim V | dimensión de un espacio vectorial V | Párrafo |
U \oplus V | suma directa de espacios vectoriales U y V | [li] 20.4.17.b |
\Hom(V, W) | conjunto de todas las transformaciones lineales de U en V | [li] 20.4.18.a |
V^* | dual de un espacio vectorial V | [li] 20.4.18.b |
F( \alpha_1, \ldots, \alpha_n) | menor cuerpo que contiene a F y \alpha_1, \ldots, \alpha_n | Párrafo |
[E:F] | dimensión de la extensión de cuerpos E sobre F | Párrafo |
\gf(p^n) | Cuerpo de Galois de orden p^n | Párrafo |
F^* | grupo multiplicativo de un cuerpo F | Párrafo |
G(E/F) | Grupo de Galois de E sobre F | Párrafo |
F_{\{\sigma_i \}} | cuerpo fijo por el automorfismo \sigma_i | Proposición 23.13 |
F_G | cuerpo fijo por el grupo de automorfismos G | Corolario 23.14 |
\Delta^2 | discriminante de un polinomio | Ejercicio 23.4.22 |