User:Phlsph7/Algebra - Abstract algebra

Abstract algebra
Abstract algebra, also called modern algebra, studies different types of algebraic structures. An algebraic structure is a framework for understanding operations on mathematical objects, like the addition of numbers. While elementary algebra and linear algebra work within the confines of particular algebraic structures, abstract algebra takes a more general approach that compares how algebraic structures differ from each other and what types of algebraic structures there are, such as groups, rings, and fields.



On a formal level, an algebraic structure is a set of mathematical objects, called the underlying set, together with one or several operations. Abstract algebra usually restricts itself to binary operations that take any two objects from the underlying set as inputs and map them to another object from this set as output. For example, the algebraic structure $$\langle \N, + \rangle$$ has the natural numbers as the underlying set. Addition is its binary operation and takes two numbers as input to produce one number in the form of the sum as output. The underlying set can contain mathematical objects other than numbers and the operations are not restricted to regular arithmetic operations.

Abstract algebra classifies algebraic structures based on the laws or axioms that its operations obey and the number of operations it uses. One of the most basic types is a group, which has one operation and requires that this operation is associative and has an identity element and inverse elements. An operation is associative if the order of several applications does not matter, i.e., if $$(a \circ b) \circ c$$ is the same as $$a \circ (b \circ c)$$ for all elements. An operation has an identity element or a neutral element if one element e exists that does not change the value of any other element, i.e., if $$a \circ e = e \circ a = a$$. An operation admits inverse elements if for any element $$a$$ there exists a reciprocal element $$a^{-1}$$ that reverses its effects. If an element is linked to its inverse then the result is the neutral element e, expressed formally as $$a \circ a^{-1} = a^{-1} \circ a = e$$. Every algebraic structure that fulfills these requirements is a group. For example, $$\langle \Z, + \rangle$$ is a group formed by the set of integers together with the operation of addition. The neutral element is 0 and the inverse element of any number $$a$$ is $$-a$$. The natural numbers, by contrast, do not form a group since they contain only positive numbers and therefore lack inverse elements. Group theory is the subdiscipline of abstract algebra studying groups.



A ring is an algebraic structure with two operations ($$\circ$$ and $$\star$$) that work similarly to addition and multiplication. All the requirements of groups also apply to the first operation: it is associative and has an identity element and inverse elements. Additionally, it is commutative, meaning that $$a \circ b = b \circ a$$ is true for all elements. The axiom of distributivity governs how the two operations interact with each other. It states that $$a \star (b \circ c) = (a \star b) \circ (a \star c)$$ and $$(b \circ c) \star a = (b \star a) \circ (c \star a)$$. The ring of integers is a ring of the form $$\langle \Z, +, \cdot \rangle$$ A ring becomes a field if both operations follow the axioms of associativity, commutativity, and distributivity and if both operations have an identity element and inverse elements. The ring of integers does not form a field because it lacks multiplicative inverses. For example, the multiplicative inverse of $$7$$ is $$\tfrac{1}{7}$$, which is not part of the integers. The rational numbers, the real numbers, and the complex numbers each form a field.

Besides groups, rings, and fields, there are many other algebraic structures studied by abstract algebra. They include magmas, semigroups, monoids, abelian groups, commutative rings, modules, lattices, vector spaces, and algebras over a field. They differ from each other in regard to the types of objects they describe and the requirements that their operations fulfill. Many of them are related to each other in that a basic structure can be turned into a more advanced structure by adding additional requirements. For example, a magma becomes a semigroup if its operation is associative.