Algebra

Alge­bra is per­haps best defined as the study of “alge­braic struc­tures.” Broadly con­strued, alge­braic struc­tures are sets endowed with addi­tional operations—think of the inte­gers (a set) with addi­tion and mul­ti­pli­ca­tion (addi­tional oper­a­tions). Usu­ally, these oper­a­tions allow ele­ments to be com­bined in some way, but some­times they’re bet­ter described as allow­ing trans­for­ma­tion of ele­ments into each other—as, for instance, in the case of the cat­e­gory of sets endowed with the usual map­pings between sets. Such struc­tures are ubiq­ui­tous: inte­gers and their var­i­ous exten­sions, the vec­tor spaces you stud­ied in lin­ear alge­bra, groups of trans­for­ma­tions that encode sym­me­tries, abstract cat­e­gories that cap­ture rela­tion­ships between com­plex objects (like groups them­selves) are all exam­ples. Due to this ubiq­uity, alge­bra crops up in all areas of math­e­mat­ics and has a host of applications.

The first two struc­tures you are likely to encounter are groups and rings. In gen­eral, groups should be thought of as col­lec­tions of trans­for­ma­tions. That’s because objects in a group can be com­posed (usu­ally called “mul­ti­pli­ca­tion”) and inverted, just like func­tions, but noth­ing else is required for a set to have the struc­ture of a group. Groups are impor­tant and beau­ti­ful objects. For instance, the set of all invert­ible lin­ear trans­for­ma­tions of a vec­tor space to itself is a group, as is the set of all rota­tions of space (of any num­ber of dimen­sions). These exam­ples also illus­trate the inter­pre­ta­tion of groups as sym­me­tries of some other math­e­mat­i­cal entity—in this case, a vec­tor space. Groups also play this role in the set­ting of per­mu­ta­tions (sym­me­tries of finite sets), geo­met­ric rearrange­ments of shapes (sym­me­tries of poly­gons), and Galois the­ory (sym­me­tries of num­ber systems).

This last exam­ple shows how groups can be con­nected to their more sophis­ti­cated cousins, rings. While a ring can be thought of as a group with addi­tional struc­ture, a ring is really a very dif­fer­ent ani­mal. Rather than func­tions and trans­for­ma­tions, rings rep­re­sent num­bers. In this case, you can add them, take their neg­a­tives, and mul­ti­ply them—but that’s it. Since many nat­ural num­ber sys­tems lack divi­sion (is one divided by two an inte­ger?), it is excluded from the defin­ing prop­er­ties of rings. When a ring has it any­way, it is called a field—thus, we speak of the “ring of inte­gers,” but the “field of ratio­nal (or real, or com­plex) num­bers.” Rings serve as a nat­ural gen­er­al­iza­tion of the inte­gers, and they pro­vide a set­ting for the study both of abstract objects that resem­ble them and con­crete num­ber sys­tems extend­ing them, like the ratio­nal num­bers, or the set of all num­bers of the form a + b √5 with a, b integers.

Now, all of this is just the begin­ning. We haven’t even men­tioned the ques­tion of com­mu­ta­tiv­ity, or the fact that there is a nat­ural way to think of rings as col­lec­tions of func­tions (just ask an alge­braic geome­ter). Nor have we really dis­cussed the rich the­ory that results in study­ing the way alge­braic objects inter­act with other math­e­mat­i­cal enti­ties. Nor the details of Galois the­ory. Nor cat­e­gories. The list goes on and on. But Prince­ton offers many ways for you to get into these and other alge­braic top­ics. This begins with an intro­duc­tory sequence that starts with groups, devel­ops the fun­da­men­tal aspects of the the­ory behind them, then builds up ele­men­tary ring the­ory and the most impor­tant parts of clas­si­cal Galois theory.

After you’ve com­pleted the intro­duc­tory sequence, you will be ade­quately pre­pared to jump into the more advanced courses that inves­ti­gate the top­ics we’ve men­tioned above.

Intro­duc­tory Courses [Show]

Advanced Courses [Show]

Con­tacts [Show]

Leave a Reply