Abstract Algebra
Abstract Algebra
Abstract Algebra
amicable numbers: pairs of numbers for which the sum of the divisors of one number
equals the other number, e.g. 220 and 284, 1184 and 1210
asymptote: a line that the curve of a function tends towards as the independent
variable of the curve approaches some limit (usually infinity) i.e. the distance between
the curve and the line approaches zero
B Back to Top
base n: the number of unique digits (including zero) that a positional numeral system
uses to represent numbers, e.g. base 10 (decimal) uses 0, 1, 2, 3, 4, 5, 6, 7, 8 and 9 in
each place value position; base 2 (binary) uses just 0 and 1; base 60 (sexagesimal, as
used in ancient Mesopotamia) uses all the numbers from 0 to 59; etc
bell curve: the shape of the graph that indicates a normal distribution in probability and
statistics
binomial: a polynomial algebraic expression or equation with just two terms, e.g. 2x3 -
3y = 7; x2 + 4x; etc
Boolean algebra or logic: a type of algebra which can be applied to the solution of
logical problems and mathematical functions, in which the variables are logical rather
than numerical, and in which the only operators are AND, OR and NOT
C Back to Top
cardinal numbers: numbers used to measure the cardinality or size (but not the order)
of sets - the cardinality of a finite set is just a natural number indicating the number of
elements in the set; the sizes of infinite sets are described by transfinite cardinal
numbers, 0 (aleph-null), 1 (aleph-one), etc
composite number: a number with at least one other factor besides itself and one, i.e.
not a prime number
congruence: two geometrical figures are congruent to one another if they have the
same size and shape, and so one can be transformed into the other by a combination of
translation, rotation and reflection
conic section: the section or curve formed by the intersection of a plane and a cone (or
conical surface), depending on the angle of the plane it could be an ellipse, a hyperbola
or a parabola
coordinate plane: a plane with two scaled perpendicular lines that intersect at the
origin, usually designated x (horizontal axis) and y (vertical axis)
cubic equation: a polynomial having a degree of 3 (i.e. the highest power is 3), of the
form ax3 + bx2 + cx + d = 0, which can be solved by factorization or formula to find its
three roots
D Back to Top
decimal number: a real number which expresses fractions on the base 10 standard
numbering system using place value, e.g. 37⁄100 = 0.37
derivative: a measure of how a function or curve changes as its input changes, i.e. the
best linear approximation of the function at a particular input value, as represented by
the slope of the tangent line to the graph of the function at that point, found by the
operation of differentiation
differential geometry: a field of mathematics that uses the methods of differential and
integral calculus (as well as linear and multilinear algebra) to study the geometry of
curves and surfaces
Diophantine equation: a polynomial equation with integer coefficients that also allows
the variables and solutions to be integers only
E Back to Top
ellipse: a plane curve resulting from the intersection of a cone by a plane, that looks
like a slightly flattened circle (a circle is a special case of an ellipse)
empty (null) set: a set that has no members, and therefore has zero size, usually
represented by {} or ø
Euclidean geometry: “normal” geometry based on a flat plane, in which there are
parallel lines and the angles of a triangle sum to 180°
expected value: the amount predicted to be gained, using the calculation for average
expected payoff, which can be calculated as the integral of a random variable with
respect to its probability measure (the expected value may not actually be the most
probable value and may not even exist, e.g. 2.5 children)
F Back to Top
factor: a number that will divide into another number exactly, e.g. the factors of 10 are
1, 2 and 5
factorial: the product of all the consecutive integers up to a given number (used to give
the number of permutations of a set of objects), denoted by n!, e.g. 5! = 1 x 2 x 3 x 4 x 5
= 120
Fermat primes: prime numbers that are one more than a power of 2 (and where the
exponent is itself a power of 2), e.g. 3 (21 + 1), 5 (22 + 1), 17 (24 + 1), 257 (28 + 1),
65,537 (216 + 1), etc
Fibonacci numbers (series): a set of numbers formed by adding the last two numbers
to get the next in the series: 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, ...
fraction: a way of writing rational numbers (numbers that are not whole numbers), also
used to represent ratios or division, in the form of a numerator over a denominator,
e.g. 3⁄5 (a unit fraction is a fraction whose numerator is 1)
fractal: a self-similar geometric shape (one that appears similar at all levels of
magnification) produced by an equation that undergoes repeated iterative steps or
recursion
function: a relation or correspondence between two sets in which one element of the
second (codomain or range) set ƒ(x) is assigned to each element of the first (domain)
set x, e.g. ƒ(x) = x2 or y = x2 assigns a value to ƒ(x) or y based on the square of each
value of x
G Back to Top
geometry: the part of mathematics concerned with the size, shape and relative position
of figures, or the study of lines, angles, shapes and their properties
golden ratio (golden mean, divine proportion): the ratio of two quantities (equivalent
to approximately 1 : 1.6180339887) where the ratio of the sum of the quantities to the
larger quantity equals the ratio of the larger quantity to the smaller one, usually denoted
by the Greek letter phi φ (phi)
group theory: the mathematical field that studies the algebraic structures and
properties of groups and the mappings between them
H Back to Top
hyperbola: a smooth symmetrical curve with two branches produced by the section of a
conical surface
identity: an equality that remains true regardless of the values of any variables that
appear within it, e.g. for multiplication, the identity is one; for addition, the identity is zero
inductive reasoning or logic: a type of reasoning that involves moving from a set of
specific facts to a general conclusion, indicating some degree of support for the
conclusion without actually ensuring its truth
infinite series: the sum of an infinite sequence of numbers (which are usually produced
according to a certain rule, formula or algorithm)
infinity: a quantity or set of numbers without bound, limit or end, whether countably
infinite like the set of integers, or uncountably infinite like the set of real numbers
(represented by the symbol ∞)
integers: whole numbers, both positive (natural numbers) and negative, including zero
J Back to Top
K Back to Top
knot theory: an area of topology that studies mathematical knots (a knot is a closed
curve in space formed by interlacing a piece of “string” and joining the ends)
L Back to Top
least squares method: a method of regression analysis used in probability theory and
statistics to fit a curve-of-best-fit to observed data by minimizing the sum of the squares
of the differences between the observed values and the values provided by the model
limit: the point towards which a series or function converges, e.g. as x becomes closer
and closer to zero, (sin x)⁄x becomes closer and closer to the limit of 1
linear equation: an algebraic equation in which each term is either a constant or the
product of a constant and the first power of a single variable, and whose graph is
therefore a straight line, e.g. y = 4, y = 5x + 3
logic: the study of the formal laws of reasoning (mathematical logic the application of
the techniques of formal logic to mathematics and mathematical reasoning, and vice
versa)
logicism: the theory that mathematics is just an extension of logic, and that therefore
some or all mathematics is reducible to logic
M Back to Top
magic square: a square array of numbers where each row, column and diagonal added
up to the same total, known as the magic sum or constant (a semi-magic square is a
square numbers where just the rows and columns, but not both diagonals, sum to a
constant)
Mandelbrot set: a set of points in the complex plane, the boundary of which forms a
fractal, based on all the possible c points and Julia sets of a function of the
form z2 + c (where c is a complex parameter)
matrix: a rectangular array of numbers, which can be added, subtracted and multiplied,
and used to represent linear transformations and vectors, solve equations, etc
Mersenne number: numbers that are one less than 2 to the power of a prime number,
e.g. 3 (22 - 1); 7 (23 - 1); 31 (25 - 1); 127 (27 - 1); 8,191 (213 - 1); etc
Mersenne primes: prime numbers that are one less than a power of 2, e.g. 3 (22 - 1); 7
(23 - 1); 31 (25 - 1); 127 (27 - 1); 8,191 (213 - 1); etc - many, but not all, Mersenne
numbers are primes, e.g. 2,047 = 211 - 1 = 23 x 89, so 2,047 is a Mersenne number but
not a Mersenne prime
modular arithmetic: a system of arithmetic for integers, where numbers "wrap around"
after they reach a certain value (the modulus), e.g. on a 12-hour clock, 15 o’clock is
actually 3 o’clock (15 = 3 mod 12)
modulus: a number by which two given numbers can be divided by integer division,
and produce the same remainder, e.g. 38 ÷ 12 = 3 remainder 2, and 26 ÷ 12 = 2
remainder 2, therefore 38 and 26 are congruent modulo 12, or (38 ≡ 26) mod 12
N Back to Top
negative numbers: any integer, ration or real number which is less than 0, e.g. -743,
-1.4, -√5 (but not √-1, which is an imaginary or complex number)
number line: a line on which all points correspond to real numbers (a simple number
line may only mark integers, but in theory all real numbers to +/- infinity can be shown
on a number line)
O Back to Top
ordinal numbers: an extension of the natural numbers (different from integers and from
cardinal numbers) used to describe the order type of sets i.e. the order of elements
within a set or series
P Back to Top
parabola: a type of conic section curve, any point of which is equally distant from a
fixed focus point and a fixed straight line
perfect number: a number that is the sum of its divisors (excluding the number itself),
e.g. 28 = 1 + 2 + 4 + 7 + 14
periodic function: a function that repeats its values in regular intervals or periods, such
as the trigonometric functions of sine, cosine, tangent, etc
permutation: a particular ordering of a set of objects, e.g. given the set {1, 2, 3}, there
are six permutations: {1, 2, 3}, {1, 3, 2}, {2, 1, 3}, {2, 3, 1}, {3, 1, 2}, and {3, 2, 1}
place value: positional notation for numbers, allowing the use of the same symbols for
different orders of magnitude, e.g. the "one's place", "ten's place", "hundred's place", etc
Platonic solids: the five regular convex polyhedra (symmetrical 3-dimensional shapes):
the tetrahedron (made up of 4 regular triangles), the octahedron (made up of 8
triangles), the icosahedron (made up of 20 triangles), the cube (made up of 6 squares)
and the dodecahedron (made up of 12 pentagons)
polynomial: an algebraic expression or equation with more than one term, constructed
from variables and constants using only the operations of addition, subtraction,
multiplication and non-negative whole-number exponents, e.g. 5x2 - 4x + 4y + 7
prime numbers: integers greater than 1 which are only divisible by themselves and 1
plane: a flat two-dimensional surface (physical or theoretical) with infinite width and
length, zero thickness and zero curvature
Q Back to Top
quadratic equation: a polynomial equation with a degree of 2 (i.e. the highest power is
2), of the form ax2 + bx + c = 0, which can be solved by various methods including
factoring, completing the square, graphing, Newton's method and the quadratic formula
quartic equation: a polynomial having a degree of 4 (i.e. the highest power is 4), of the
form ax4 + bx3 + cx2 + dx + e = 0, the highest order polynomial equation that can be
solved by factorization into radicals by a general formula
quaternions: a number system that extends complex numbers to four dimensions (so
that an object is described by a real number and three complex numbers, all mutually
perpendicular to each other), which can be used to represent a three-dimensional
rotation by just an angle and a vector
quintic equation: a polynomial having a degree of 5 (i.e. the highest power is 5), of the
form ax5 + bx4 + cx3 + dx2 + ex + f = 0, not solvable by factorization into radicals for all
rational numbers
R Back to Top
reciprocal: a number which, when multiplied by x yields the multiplicative identity 1, and
can therefore be thought of as the inverse of multiplication, e.g. the reciprocal of x is 1⁄x,
the reciprocal of 3⁄5 is 5⁄3
S Back to Top
sequence: an ordered set whose elements are usually determined based on some
function of the counting numbers, e.g. a geometric sequence is a set where each
element is a multiple of the previous element; an arithmetic sequence is a set where
each element is the previous element plus or minus a number
set: a collection of distinct objects or numbers, without regard to their order, considered
as an object in its own right
subset: a subsidiary collection of objects that all belong to, or is contained in, an
original given set, e.g. subsets of {a, b} could include: {a}, {b}, {a, b} and {}
surd: the n-th root a number, such as √5, the cube root of 7, etc
T Back to Top
tensor: a collection of numbers at every point in space which describe how much the
space is curved, e.g. in four spatial dimensions, a collection of ten numbers is needed at
each point to describe the properties of the mathematical space or manifold, no matter
how distorted it may be
theorem: a mathematical statement or hypothesis which has been proved on the basis
of previously established theorems and previously accepted axioms, effectively the
proof of the truth of a statement or expression
topology: the field of mathematics concerned with spatial properties that are preserved
under continuous deformations of objects (such as stretching, bending and morphing,
but not tearing or gluing)
transcendental number: an irrational number that is “not algebraic”, i.e. no finite
sequence of algebraic operations on integers (such as powers, roots, sums, etc.) can
be equal to its value, examples being π and e. For example, √2 is irrational but not
transcendental because it is the solution to the polynomial x2 = 2.
transfinite numbers: cardinal numbers or ordinal numbers that are larger than all finite
numbers, yet not necessarily absolutely infinite
trinomial: an algebraic equation with 3 terms, e.g. 3x + 5y + 8z; 3x3 + 2x2 + x; etc
type theory: an alternative to naive set theory in which all mathematical entities are
assigned to a type within a hierarchy of types, so that objects of a given type are built
exclusively from objects of preceding types lower in the hierarchy, thus preventing loops
and paradoxes
V Back to Top
Venn diagram: a diagram where sets are represented as simple geometric figures
(often circles), and overlapping and similar sets are represented by intersections and
unions of the figures
Z Back to Top
Zermelo-Fraenkel set theory: the standard form of set theory and the most common
foundation of modern mathematics, based on a list of nine axioms (usually modified by
a tenth, the axiom of choice) about what kinds of sets exist, commonly abbreviated
together as ZFC
2700OF IMPORTANT
ST Egyptian Earliest fully-developed base 10 number system in use
MATHEMATICIANS
BCE
a2600
chronological list of some of the most important
Sumerian mathematicians
Multiplication in history and
tables, geometrical their major
exercises and achievments,
division as well as some very early
ements in mathematics for which individual contributions can not be acknowledged.
BCE problems
1800- Babylonian Clay tablets dealing with fractions, algebra and equations
1600
BCE
1200 Chinese First decimal numeration system with place value concept
BCE
1200- Indian Early Vedic mantras invoke powers of ten from a hundred all
900 the way up to a trillion
BCE
800- Indian “Sulba Sutra” lists several Pythagorean triples and simplified
400 Pythagorean theorem for the sides of a square and a
BCE rectangle, quite accurate approximation to √2
650 Chinese Lo Shu order three (3 x 3) “magic square” in which each row,
BCE column and diagonal sums to 15
624- Thales Greek Early developments in geometry, including work on similar and
546 right triangles
BCE
570- Pythagoras Greek Expansion of geometry, rigorous approach building from first
495 principles, square and triangular numbers, Pythagoras’
BCE theorem
490- Zeno of Elea Greek Describes a series of paradoxes concerning infinity and
430 infinitesimals
BCE
428- Plato Greek Platonic solids, statement of the Three Classical Problems,
348 influential teacher and popularizer of mathematics, insistence
BCE on rigorous proof and logical methods
MILLENNIUM PROBLEMS
Riemann Hypothesis
The prime number theorem determines the average distribution of the primes. The Riemann hypothesis
tells us about the deviation from the average. Formulated in Riemann's 1859 paper, it asserts that all the
'non-obvious' zeros of the zeta function are complex numbers with real part 1/2.
P vs NP Problem
If it is easy to check that a solution to a problem is correct, is it also easy to solve the problem? This is the
essence of the P vs NP question. Typical of the NP problems is that of the Hamiltonian Path Problem:
given N cities to visit, how can one do this without visiting a city twice? If you give me a solution, I can
easily check that it is correct. But I cannot so easily find a solution.
Navier–Stokes Equation
This is the equation which governs the flow of fluids such as water and air. However, there is no proof for
the most basic questions one can ask: do solutions exist, and are they unique? Why ask for a proof?
Because a proof gives not only certitude, but also understanding.
Hodge Conjecture
The answer to this conjecture determines how much of the topology of the solution set of a system of
algebraic equations can be defined in terms of further algebraic equations. The Hodge conjecture is known
in certain special cases, e.g., when the solution set has dimension less than four. But in dimension four it is
unknown.
Poincaré Conjecture
In 1904 the French mathematician Henri Poincaré asked if the three dimensional sphere is characterized
as the unique simply connected three manifold. This question, the Poincaré conjecture, was a special case
of Thurston's geometrization conjecture. Perelman's proof tells us that every three manifold is built from a
set of standard pieces, each with one of eight well-understood geometries.