Documente Academic
Documente Profesional
Documente Cultură
Algebraist redirects here. For the novel by Iain M. is called an algebra, and the word is used, for example,
Banks, see The Algebraist. in the phrases linear algebra and algebraic topology.
For the kind of algebraic structure, see Algebra over a
A mathematician who does research in algebra is called
eld. an algebraist.
1 Etymology
The word algebra comes from the Arabic ( al-jabr
restoration) from the title of the book Ilm al-jabr wa'l-
mubala by al-Khwarizmi. The word entered the En-
glish language during the fteenth century, from either
The quadratic formula expresses the solution of the degree two
Spanish, Italian, or Medieval Latin. It originally referred
equation ax2 + bx + c = 0 in terms of its coecients a, b, c ,
to the surgical procedure of setting broken or dislocated
where a is not zero.
bones. The mathematical meaning was rst recorded in
the sixteenth century.[7]
Algebra (from Arabic al-jabr meaning reunion of
broken parts[1] ) is one of the broad parts of mathematics,
together with number theory, geometry and analysis. In 2 Dierent meanings of algebra
its most general form, algebra is the study of mathe-
matical symbols and the rules for manipulating these
symbols;[2] it is a unifying thread of almost all of The word algebra has several related meanings in math-
mathematics.[3] As such, it includes everything from ele- ematics, as a single word or with qualiers.
mentary equation solving to the study of abstractions such
as groups, rings, and elds. The more basic parts of alge- As a single word without article, algebra names a
bra are called elementary algebra, the more abstract parts broad part of mathematics.
are called abstract algebra or modern algebra. Elemen- As a single word with article or in plural, al-
tary algebra is generally considered to be essential for any gebra denotes a specic mathematical structure,
study of mathematics, science, or engineering, as well as whose precise denition depends on the author.
such applications as medicine and economics. Abstract Usually the structure has an addition, multiplica-
algebra is a major area in advanced mathematics, studied tion, and a scalar multiplication (see Algebra over
primarily by professional mathematicians. Much early a eld). When some authors use the term algebra,
work in algebra, as the Arabic origin of its name sug- they make a subset of the following additional as-
gests, was done in the Middle East, by mathematicians sumptions: associative, commutative, unital, and/or
such as al-Khwrizm (780 850) and Omar Khayyam nite-dimensional. In universal algebra, the word
(10481131).[4][5] algebra refers to a generalization of the above con-
Elementary algebra diers from arithmetic in the use cept, which allows for n-ary operations.
of abstractions, such as using letters to stand for num-
With a qualier, there is the same distinction:
bers that are either unknown or allowed to take on many
values.[6] For example, in x + 2 = 5 the letter x is un- Without article, it means a part of algebra,
known, but the law of inverses can be used to discover such as linear algebra, elementary algebra (the
its value: x = 3 . In E = mc2 , the letters E and m are symbol-manipulation rules taught in elemen-
variables, and the letter c is a constant, the speed of light tary courses of mathematics as part of primary
in a vacuum. Algebra gives methods for solving equa- and secondary education), or abstract algebra
tions and expressing formulas that are much easier (for (the study of the algebraic structures for them-
those who know how to use them) than the older method selves).
of writing everything out in words. With an article, it means an instance of
The word algebra is also used in certain specialized ways. some abstract structure, like a Lie algebra,
A special kind of mathematical object in abstract algebra associative algebra, or vertex operator algebra.
1
2 4 HISTORY
Sometimes both meanings exist for the same 4.1 Early history of algebra
qualier, as in the sentence: Commutative al-
gebra is the study of commutative rings, which
are commutative algebras over the integers.
ax2 + bx + c = 0,
ries of books called Arithmetica. These texts deal with equation. Yet another Persian mathematician, Sharaf al-
solving algebraic equations,[11] and have led, in number Dn al-Ts, found algebraic and numerical solutions to
theory to the modern notion of Diophantine equation. various cases of cubic equations.[22] He also developed
[23]
Earlier traditions discussed above had a direct inuence the concept of a function. The Indian mathematicians
on the Persian Muammad ibn Ms al-Khwrizm (c. Mahavira [24] and Bhaskara II, the Persian mathematician
780850). He later wrote The Compendious Book on Cal- Al-Karaji, and the Chinese mathematician Zhu Shi-
culation by Completion and Balancing, which established jie, solved various cases of cubic, quartic, quintic and
algebra as a mathematical discipline that is independent higher-order polynomial equations using numerical meth-
[12] ods. In the 13th century, the solution of a cubic equation
of geometry and arithmetic.
by Fibonacci is representative of the beginning of a re-
The Hellenistic mathematicians Hero of Alexandria and vival in European algebra. As the Islamic world was de-
Diophantus[13] as well as Indian mathematicians such clining, the European world was ascending. And it is here
as Brahmagupta continued the traditions of Egypt and that algebra was further developed.
Babylon, though Diophantus Arithmetica and Brah-
maguptas Brahmasphutasiddhanta are on a higher
level.[14] For example, the rst complete arithmetic solu- 4.2 History of algebra
tion (including zero and negative solutions) to quadratic
equations was described by Brahmagupta in his book
Brahmasphutasiddhanta. Later, Persian and Arabic
mathematicians developed algebraic methods to a much
higher degree of sophistication. Although Diophantus
and the Babylonians used mostly special ad hoc meth-
ods to solve equations, Al-Khwarizmi contribution was
fundamental. He solved linear and quadratic equations
without algebraic symbolism, negative numbers or zero,
thus he has to distinguish several types of equations.[15]
In the context where algebra is identied with the theory
of equations, the Greek mathematician Diophantus has
traditionally been known as the father of algebra but
in more recent times there is much debate over whether
al-Khwarizmi, who founded the discipline of al-jabr,
deserves that title instead.[16] Those who support Dio-
phantus point to the fact that the algebra found in Al-
Jabr is slightly more elementary than the algebra found
in Arithmetica and that Arithmetica is syncopated while
Al-Jabr is fully rhetorical.[17] Those who support Al-
Khwarizmi point to the fact that he introduced the meth-
ods of "reduction" and balancing (the transposition of
subtracted terms to the other side of an equation, that
is, the cancellation of like terms on opposite sides of the
equation) which the term al-jabr originally referred to,[18]
Italian mathematician Girolamo Cardano published the solutions
and that he gave an exhaustive explanation of solving
to the cubic and quartic equations in his 1545 book Ars magna.
quadratic equations,[19] supported by geometric proofs,
while treating algebra as an independent discipline in Franois Vite's work on new algebra at the close of the
its own right.[20] His algebra was also no longer con- 16th century was an important step towards modern alge-
cerned with a series of problems to be resolved, but an bra. In 1637, Ren Descartes published La Gomtrie, in-
exposition which starts with primitive terms in which the venting analytic geometry and introducing modern alge-
combinations must give all possible prototypes for equa- braic notation. Another key event in the further develop-
tions, which henceforward explicitly constitute the true ment of algebra was the general algebraic solution of the
object of study. He also studied an equation for its cubic and quartic equations, developed in the mid-16th
own sake and in a generic manner, insofar as it does century. The idea of a determinant was developed by
not simply emerge in the course of solving a problem, Japanese mathematician Kowa Seki in the 17th century,
but is specically called on to dene an innite class of followed independently by Gottfried Leibniz ten years
problems.[21] later, for the purpose of solving systems of simultane-
Another Persian mathematician Omar Khayyam is cred- ous linear equations using matrices. Gabriel Cramer also
ited with identifying the foundations of algebraic geome- did some work on matrices and determinants in the 18th
try and found the general geometric solution of the cubic century. Permutations were studied by Joseph-Louis La-
grange in his 1770 paper Rexions sur la rsolution al-
4 6 ELEMENTARY ALGEBRA
gbrique des quations devoted to solutions of algebraic Many mathematical structures are called algebras:
equations, in which he introduced Lagrange resolvents.
Paolo Runi was the rst person to develop the theory Algebra over a eld or more generally algebra over
of permutation groups, and like his predecessors, also in a ring.
the context of solving algebraic equations. Many classes of algebras over a eld or over a ring
Abstract algebra was developed in the 19th century, have a specic name:
deriving from the interest in solving equations, ini-
Associative algebra
tially focusing on what is now called Galois theory, and
on constructibility issues.[25] George Peacock was the Non-associative algebra
founder of axiomatic thinking in arithmetic and alge- Lie algebra
bra. Augustus De Morgan discovered relation algebra Hopf algebra
in his Syllabus of a Proposed System of Logic. Josiah
Willard Gibbs developed an algebra of vectors in three- C*-algebra
dimensional space, and Arthur Cayley developed an alge- Symmetric algebra
bra of matrices (this is a noncommutative algebra).[26] Exterior algebra
Tensor algebra
5 Areas of mathematics with the In measure theory,
word algebra in their name Sigma-algebra
Algebra over a set
Some areas of mathematics that fall under the classica-
tion abstract algebra have the word algebra in their name; In category theory
linear algebra is one example. Others do not: group the-
F-algebra and F-coalgebra
ory, ring theory, and eld theory are examples. In this
section, we list some areas of mathematics with the word T-algebra
algebra in the name.
In logic,
Elementary algebra, the part of algebra that is usu- Relational algebra: a set of nitary relations
ally taught in elementary courses of mathematics. that is closed under certain operators.
Boolean algebra, a structure abstracting the
Abstract algebra, in which algebraic structures such
computation with the truth values false and
as groups, rings and elds are axiomatically dened
true. The structures also have the same name.
and investigated.
Heyting algebra
Linear algebra, in which the specic properties of
linear equations, vector spaces and matrices are
studied.
6 Elementary algebra
Commutative algebra, the study of commutative
rings. Main article: Elementary algebra
Elementary algebra is the most basic form of alge-
Computer algebra, the implementation of algebraic
bra. It is taught to students who are presumed to have
methods as algorithms and computer programs.
no knowledge of mathematics beyond the basic princi-
Homological algebra, the study of algebraic struc- ples of arithmetic. In arithmetic, only numbers and their
tures that are fundamental to study topological arithmetical operations (such as +, , , ) occur. In al-
spaces. gebra, numbers are often represented by symbols called
variables (such as a, n, x, y or z). This is useful because:
Universal algebra, in which properties common to
all algebraic structures are studied. It allows the general formulation of arithmetical laws
Algebraic number theory, in which the properties of (such as a + b = b + a for all a and b), and thus is the
numbers are studied from an algebraic point of view. rst step to a systematic exploration of the properties
of the real number system.
Algebraic geometry, a branch of geometry, in its
primitive form specifying curves and surfaces as so- It allows the reference to unknown numbers, the
lutions of polynomial equations. formulation of equations and the study of how to
solve these. (For instance, Find a number x such
Algebraic combinatorics, in which algebraic meth- that 3x + 1 = 10 or going a bit further Find a num-
ods are used to study combinatorial questions. ber x such that ax + b = c". This step leads to the
6.2 Education 5
7 Abstract algebra
Main articles: Abstract algebra and Algebraic structure
Binary operations: The notion of addition (+) is ab- of S, there exists a member a1 such that a a1 and
stracted to give a binary operation, say. The notion of a1 a are both identical to the identity element.
binary operation is meaningless without the set on which
the operation is dened. For two elements a and b in The operation is associative: if a, b and c are mem-
a set S, a b is another element in the set; this con- bers of S, then (a b) c is identical to a (b c).
dition is called closure. Addition (+), subtraction (-),
multiplication (), and division () can be binary oper- If a group is also commutativethat is, for any two mem-
ations when dened on dierent sets, as are addition and bers a and b of S, a b is identical to b athen the group
multiplication of matrices, vectors, and polynomials. is said to be abelian.
Identity elements: The numbers zero and one are ab- For example, the set of integers under the operation of
stracted to give the notion of an identity element for an addition is a group. In this group, the identity element is
operation. Zero is the identity element for addition and 0 and the inverse of any element a is its negation, a. The
one is the identity element for multiplication. For a gen- associativity requirement is met, because for any integers
eral binary operator the identity element e must satisfy a, b and c, (a + b) + c = a + (b + c)
a e = a and e a = a, and is necessarily unique, if it
exists. This holds for addition as a + 0 = a and 0 + a = a The nonzero rational numbers form a group under mul-
and multiplication a 1 = a and 1 a = a. Not all sets tiplication. Here, the identity element is 1, since 1 a =
and operator combinations have an identity element; for a 1 = a for any rational number a. The inverse of a is
example, the set of positive natural numbers (1, 2, 3, ...) 1/a, since a 1/a = 1.
has no identity element for addition. The integers under the multiplication operation, however,
Inverse elements: The negative numbers give rise to the do not form a group. This is because, in general, the mul-
concept of inverse elements. For addition, the inverse of a tiplicative inverse of an integer is not an integer. For ex-
is written a, and for multiplication the inverse is written ample, 4 is an integer, but its multiplicative inverse is ,
a1 . A general two-sided inverse element a1 satises the which is not an integer.
property that a a1 = e and a1 a = e, where e is the The theory of groups is studied in group theory. A major
identity element. result in this theory is the classication of nite simple
Associativity: Addition of integers has a property called groups, mostly published between about 1955 and 1983,
associativity. That is, the grouping of the numbers to be which separates the nite simple groups into roughly 30
added does not aect the sum. For example: (2 + 3) + 4 basic types.
= 2 + (3 + 4). In general, this becomes (a b) c = a (b Semigroups, quasigroups, and monoids are structures
c). This property is shared by most binary operations, similar to groups, but more general. They comprise a
but not subtraction or division or octonion multiplication. set and a closed binary operation, but do not necessar-
Commutativity: Addition and multiplication of real ily satisfy the other conditions. A semigroup has an as-
numbers are both commutative. That is, the order of the sociative binary operation, but might not have an iden-
numbers does not aect the result. For example: 2 + 3 = tity element. A monoid is a semigroup which does have
3 + 2. In general, this becomes a b = b a. This prop- an identity but might not have an inverse for every ele-
erty does not hold for all binary operations. For example, ment. A quasigroup satises a requirement that any ele-
matrix multiplication and quaternion multiplication are ment can be turned into any other by either a unique left-
both non-commutative. multiplication or right-multiplication; however the binary
operation might not be associative.
All groups are monoids, and all monoids are semigroups.
7.1 Groups
Main article: Group (mathematics) 7.2 Rings and elds
See also: Group theory and Examples of groups
Main articles: Ring (mathematics) and Field (mathemat-
Combining the above concepts gives one of the most im- ics)
portant structures in mathematics: a group. A group is See also: Ring theory, Glossary of ring theory, Field
a combination of a set S and a single binary operation theory (mathematics) and Glossary of eld theory
, dened in any way you choose, but with the following
properties: Groups just have one binary operation. To fully explain
the behaviour of the dierent types of numbers, struc-
An identity element e exists, such that for every tures with two operators need to be studied. The most
member a of S, e a and a e are both identical important of these are rings, and elds.
to a.
A ring has two binary operations (+) and (), with dis-
Every element has an inverse: for every member a tributive over +. Under the rst operator (+) it forms an
7
abelian group. Under the second operator () it is asso- [8] 2010 Mathematics Subject Classication. Retrieved 5
ciative, but it does not need to have identity, or inverse, so October 2014.
division is not required. The additive (+) identity element
[9] Struik, Dirk J. (1987). A Concise History of Mathematics.
is written as 0 and the additive inverse of a is written as New York: Dover Publications. ISBN 0-486-60255-9.
a.
[10] Boyer 1991
Distributivity generalises the distributive law for num-
bers. For the integers (a + b) c = a c + b c and c [11] Cajori, Florian (2010). A History of Elementary Mathe-
(a + b) = c a + c b, and is said to be distributive matics With Hints on Methods of Teaching. p. 34. ISBN
over +. 1-4460-2221-8.
The integers are an example of a ring. The integers have [12] Roshdi Rashed (November 2009). Al Khwarizmi: The
additional properties which make it an integral domain. Beginnings of Algebra. Saqi Books. ISBN 0-86356-
430-5
A eld is a ring with the additional property that all the el-
ements excluding 0 form an abelian group under . The [13] Diophantus, Father of Algebra. Retrieved 5 October
multiplicative () identity is written as 1 and the multi- 2014.
1
plicative inverse of a is written as a . [14] History of Algebra. Retrieved 5 October 2014.
The rational numbers, the real numbers and the complex [15] Josef W. Meri (2004). Medieval Islamic Civilization. Psy-
numbers are all examples of elds. chology Press. p. 31. ISBN 978-0-415-96690-0. Re-
trieved 25 November 2012.
[24] (Boyer 1991, The Arabic Hegemony p. 239) Abu'l 11 External links
Wefa was a capable algebraist as well as a trigonometer.
... His successor al-Karkhi evidently used this translation Khan Academy: Conceptual videos and worked ex-
to become an Arabic disciple of Diophantus but with-
amples
out Diophantine analysis! ... In particular, to al-Karkhi is
attributed the rst numerical solution of equations of the Khan Academy: Origins of Algebra, free online mi-
form ax2n + bxn = c (only equations with positive roots cro lectures
were considered),
Algebrarules.com: An open source resource for
[25] "The Origins of Abstract Algebra". University of Hawaii learning the fundamentals of Algebra
Mathematics Department.
4000 Years of Algebra, lecture by Robin Wilson, at
[26] "The Collected Mathematical Papers".Cambridge Uni- Gresham College, October 17, 2007 (available for
versity Press. MP3 and MP4 download, as well as a text le).
[27] Hulls Algebra (pdf). New York Times. July 16, 1904. Algebra entry by Vaughan Pratt in the Stanford En-
Retrieved September 21, 2012. cyclopedia of Philosophy
10 References
Boyer, Carl B. (1991), A History of Mathematics
(Second ed.), John Wiley & Sons, Inc., ISBN 0-471-
54397-7
Wcherowi, JimsMaher, SusikMkr, Yourmomblah, Rurik the Varangian, Lincoln Josh, Miracle dream, Helpful Pixie Bot, Curb Chain,
John Cummings, Northamerica1000, Benefac, Mysterytrey, Eective Light, ShellPond, Teika kazura, Brad7777, DrLewisphd, Cengime,
BattyBot, Kodiologist, Class Avesta, Mark L MacDonald, Hmainsbot1, Jamietwells, Tary123, YvelinesFrance, William2001, HistoryofI-
ran, Wikifan2744, Jackmcbarn, WikiEnthusiastNumberTwenty-Two, Omphalosskeptic, Raymond37, JMP EAX, KasparBot, MNBVCXZ,
NuturalObserver and Anonymous: 608
12.2 Images
File:Algebraic_equation_notation.svg Source: https://upload.wikimedia.org/wikipedia/commons/b/be/Algebraic_equation_notation.
svg License: CC BY-SA 3.0 Contributors: PC generated image Original artist: Iantresman / Iantresman at English Wikipedia
File:Arithmetic_symbols.svg Source: https://upload.wikimedia.org/wikipedia/commons/a/a3/Arithmetic_symbols.svg License: Public
domain Contributors: Own work Original artist: This vector image was created with Inkscape by Elembis, and then manually replaced.
File:Commons-logo.svg Source: https://upload.wikimedia.org/wikipedia/en/4/4a/Commons-logo.svg License: CC-BY-SA-3.0 Contribu-
tors: ? Original artist: ?
File:Folder_Hexagonal_Icon.svg Source: https://upload.wikimedia.org/wikipedia/en/4/48/Folder_Hexagonal_Icon.svg License: Cc-by-
sa-3.0 Contributors: ? Original artist: ?
File:Gerolamo_Cardano_(colour).jpg Source: https://upload.wikimedia.org/wikipedia/en/2/2f/Gerolamo_Cardano_%28colour%29.
jpg License: PD Contributors: ? Original artist: ?
File:Image-Al-Kitb_al-mutaar_f_isb_al-abr_wa-l-muqbala.jpg Source: https://upload.wikimedia.org/wikipedia/
commons/2/23/Image-Al-Kit%C4%81b_al-mu%E1%B8%ABta%E1%B9%A3ar_f%C4%AB_%E1%B8%A5is%C4%81b_al-%C4%
9Fabr_wa-l-muq%C4%81bala.jpg License: Public domain Contributors: John L. Esposito. The Oxford History of Islam. Oxford
University Press. ISBN 0195107993. Original artist: Muhammad ibn Musa al-Khwarizmi
File:People_icon.svg Source: https://upload.wikimedia.org/wikipedia/commons/3/37/People_icon.svg License: CC0 Contributors: Open-
Clipart Original artist: OpenClipart
File:Polynomialdeg3.svg Source: https://upload.wikimedia.org/wikipedia/commons/a/a3/Polynomialdeg3.svg License: Public domain
Contributors: Polynomialdeg3.png Original artist: N.Mori
File:Portal-puzzle.svg Source: https://upload.wikimedia.org/wikipedia/en/f/fd/Portal-puzzle.svg License: Public domain Contributors: ?
Original artist: ?
File:Quadratic_formula.svg Source: https://upload.wikimedia.org/wikipedia/commons/c/c4/Quadratic_formula.svg License: Public do-
main Contributors: Wolfram Mathworld Original artist: Jamie Twells
File:Wikibooks-logo-en-noslogan.svg Source: https://upload.wikimedia.org/wikipedia/commons/d/df/Wikibooks-logo-en-noslogan.
svg License: CC BY-SA 3.0 Contributors: Own work Original artist: User:Bastique, User:Ramac et al.
File:Wiktionary-logo-en.svg Source: https://upload.wikimedia.org/wikipedia/commons/f/f8/Wiktionary-logo-en.svg License: Public
domain Contributors: Vector version of Image:Wiktionary-logo-en.png. Original artist: Vectorized by Fvasconcellos (talk contribs),
based on original logo tossed together by Brion Vibber