Group_(mathematics)

qas: question: What is an arithmetical structure comprising of a set of elements including an operation that joins any two elements to form a third element?
answers: text: a group

question: What is the name used to describe the four conditions of closure, associativity, identity and invertibility?
answers: text: group axioms

question: What permits elements with different mathematical starting points to be taken care of in a flexible manner while holding their key basic aspects?
answers: text: abstract formalization of the group axioms

question: What is a set of elements constructed from?

question: What are the two elements called?

question: What is the abstract formalization attached to?

question: What do entities lose when handled in abstract algebra?

question: What is an example of a rare group?
context: In mathematics, a group is an algebraic structure consisting of a set of elements equipped with an operation that combines any two elements to form a third element. The operation satisfies four conditions called the group axioms, namely closure, associativity, identity and invertibility. One of the most familiar examples of a group is the set of integers together with the addition operation, but the abstract formalization of the group axioms, detached as it is from the concrete nature of any particular group and its operation, applies much more widely. It allows entities with highly diverse mathematical origins in abstract algebra and beyond to be handled in a flexible way while retaining their essential structural aspects. The ubiquity of groups in numerous areas within and outside mathematics makes them a central organizing principle of contemporary mathematics.

qas: question: What shares an essential relationship to groups?
answers: text: symmetry

question: What are the symmetry groups utilized as a part of the Standard Model particle physics?
answers: text: Lie groups

question: What groups are are utilized toward comprehending symmetry wonders in chemistry? 
answers: text: Point groups

question: What groups can express the physical symmetry hidden behind special relativity?
answers: text: Poincaré groups

question: What encodes a symmetry group?

question: What are groups dissimilar to?

question: Point groups are used in what form of physics?

question: Poincare groups are used to understand molecular what?

question: What do Lie groups express in terms of special relativity?
context: Groups share a fundamental kinship with the notion of symmetry. For example, a symmetry group encodes symmetry features of a geometrical object: the group consists of the set of transformations that leave the object unchanged and the operation of combining two such transformations by performing one after the other. Lie groups are the symmetry groups used in the Standard Model of particle physics; Point groups are used to help understand symmetry phenomena in molecular chemistry; and Poincaré groups can express the physical symmetry underlying special relativity.

qas: question: Where did the idea of a group come from?
answers: text: the study of polynomial equations,

question: When was the group notion summed up and solidly settled?
answers: text: 1870

question: What are smaller and easier to understand groups broken down into?
answers: text: subgroups, quotient groups and simple groups.

question: When was announcement for the classification of finite simple groups?
answers: text: 1983

question: Who generalized group notion in 1870?

question: What year did mathematicians begin studying groups in their own right?

question: What are the two subgroups?

question: When did theorists begin exploring the theoretical and computational point of view?

question: When did the geometric group theory become less active?
context: The concept of a group arose from the study of polynomial equations, starting with Évariste Galois in the 1830s. After contributions from other fields such as number theory and geometry, the group notion was generalized and firmly established around 1870. Modern group theory—an active mathematical discipline—studies groups in their own right.a[›] To explore groups, mathematicians have devised various notions to break groups into smaller, better-understandable pieces, such as subgroups, quotient groups and simple groups. In addition to their abstract properties, group theorists also study the different ways in which a group can be expressed concretely (its group representations), both from a theoretical and a computational point of view. A theory has been developed for finite groups, which culminated with the classification of finite simple groups announced in 1983.aa[›] Since the mid-1980s, geometric group theory, which studies finitely generated groups as geometric objects, has become a particularly active area in group theory.

qas: question: What is known as underlying set of the group?
answers: text: The set

question: What is often utilized as a short name for the group?
answers: text: the group's underlying set

question: What expressions are utilized when is really implied to be a longer expression?
answers: text: shorthand expressions

question: What cannot be used as the short name for the group?

question: What is the overlaying set of the group?

question: What can be unclear for the G symbol?

question: A subset of the underlying set G of the group (G) cannot be written using what kind of expression?
context: The set G is called the underlying set of the group (G, •). Often the group's underlying set G is used as a short name for the group (G, •). Along the same lines, shorthand expressions such as "a subset of the group G" or "an element of group G" are used when what is actually meant is "a subset of the underlying set G of the group (G, •)" or "an element of the underlying set G of the group (G, •)". Usually, it is clear from the context whether a symbol like G refers to a group or to an underlying set.

qas: question: What sends a point in the square to the relating point under the symmetry? 
answers: text: functions

question:  What gives another symmetry function?
answers: text: Composing two of these symmetry functions

question: What group includes the symmetries of degree 4 and denoted D4?
answers: text: the dihedral group

question: What are represented by symmetries?

question: r1 is part of what group?

question: Both symmetries are applied to what?

question: What is written from left to right?

question: How many degrees is fh rotated?
context: These symmetries are represented by functions. Each of these functions sends a point in the square to the corresponding point under the symmetry. For example, r1 sends a point to its rotation 90° clockwise around the square's center, and fh sends a point to its reflection across the square's vertical middle line. Composing two of these symmetry functions gives another symmetry function. These symmetries determine a group called the dihedral group of degree 4 and denoted D4. The underlying set of the group is the above set of symmetry functions, and the group operation is function composition. Two symmetries are combined by composing them as functions, that is, applying the first one to the square, and the second one to the result of the first application. The result of performing first a and then b is written symbolically from right to left as

qas: question: What modern concept was created from many fields of mathematics?
answers: text: abstract group

question: The journey for answers to polynomial equations of degree higher than 4 was the original motivation for what theory?
answers: text: group theory

question:  Which French mathematician expanded on earlier work of Paolo Ruffini and Joseph-Louis Lagrange?
answers: text: Évariste Galois

question:  Who developed a theory giving the first abstract definition of a finite group?
answers: text: Arthur Cayley

question: People were looking for polynomial equations under what number?

question: Whose work did Paolo Ruffini and Joseph-Louis Lagrange base their work on?

question: What was Augustin Louis Cauchy's nationality?

question: When did Arthur Cayley publish On the theory of groups?

question: What equation did Galois create that created an abstract definition?
context: The modern concept of an abstract group developed out of several fields of mathematics. The original motivation for group theory was the quest for solutions of polynomial equations of degree higher than 4. The 19th-century French mathematician Évariste Galois, extending prior work of Paolo Ruffini and Joseph-Louis Lagrange, gave a criterion for the solvability of a particular polynomial equation in terms of the symmetry group of its roots (solutions). The elements of such a Galois group correspond to certain permutations of the roots. At first, Galois' ideas were rejected by his contemporaries, and published only posthumously. More general permutation groups were investigated in particular by Augustin Louis Cauchy. Arthur Cayley's On the theory of groups, as depending on the symbolic equation θn = 1 (1854) gives the first abstract definition of a finite group.

qas: question: When did the uniform theory of groups develop from different sources? 
answers: text: 1870

question: Who presented a method for specifying a group by means of generators and relations?
answers: text: Walther von Dyck

question: What theory did Hermann Weyl study in addition to locally compact groups?
answers: text: The theory of Lie groups

question: Who initially molded the theory of algebraic groups?
answers: text: Claude Chevalley

question: What did Walter von Dyck publish in 1870?

question: Who wrote the theory of Lie groups?

question: What did Jacques Tits shape first?

question: What was Issai Schur's theory on?

question: Who worked on representation theory of lie groups?
context: The convergence of these various sources into a uniform theory of groups started with Camille Jordan's Traité des substitutions et des équations algébriques (1870). Walther von Dyck (1882) introduced the idea of specifying a group by means of generators and relations, and was also the first to give an axiomatic definition of an "abstract group", in the terminology of the time. As of the 20th century, groups gained wide recognition by the pioneering work of Ferdinand Georg Frobenius and William Burnside, who worked on representation theory of finite groups, Richard Brauer's modular representation theory and Issai Schur's papers. The theory of Lie groups, and more generally locally compact groups was studied by Hermann Weyl, Élie Cartan and many others. Its algebraic counterpart, the theory of algebraic groups, was first shaped by Claude Chevalley (from the late 1930s) and later by the work of Armand Borel and Jacques Tits.

qas: question: Where did the group of theorists first meet?
answers: text: The University of Chicago

question: What university class year belonged to the group of theorists?
answers: text: 1960–61

question: What did the group of theorists classify in 1982?
answers: text: all finite simple groups

question: What two factors describe the large size of the project?
answers: text: length of proof and number of researchers.

question: What was classified in 1960?

question: Who founded the University of Chicago's Group Theory Year?

question: What no longer has much impact on other fields?

question: What was shorter about this project as compared to other endeavors?

question: When did the University of Chicago begin?
context: The University of Chicago's 1960–61 Group Theory Year brought together group theorists such as Daniel Gorenstein, John G. Thompson and Walter Feit, laying the foundation of a collaboration that, with input from numerous other mathematicians, classified all finite simple groups in 1982. This project exceeded previous mathematical endeavours by its sheer size, in both length of proof and number of researchers. Research is ongoing to simplify the proof of this classification. These days, group theory is still a highly active mathematical branch, impacting many other fields.a[›]

qas: question: What ideas are used to understand groups beyond symbols?
answers: text: structural concepts

question: What has to be compatible with the group operation?
answers: text: constructions related to groups

question: What concept describes groups that can be related to each other via functions?
answers: text: group homomorphisms

question: What is needed to understand structural concepts?

question: Both groups and sets have what?

question: What function is used to break groups into pieces?

question: Groups do not need to respect structures in what sense?

question: What is an example of a subgroup?
context: To understand groups beyond the level of mere symbolic manipulations as above, more structural concepts have to be employed.c[›] There is a conceptual principle underlying all of the following notions: to take advantage of the structure offered by groups (which sets, being "structureless", do not have), constructions related to groups have to be compatible with the group operation. This compatibility manifests itself in the following notions in various ways. For example, groups can be related to each other via functions called group homomorphisms. By the mentioned principle, they are required to respect the group structures in a precise sense. The structure of groups can also be understood by breaking them into pieces called subgroups and quotient groups. The principle of "preserving structures"—a recurring topic in mathematics throughout—is an instance of working in a category, in this case the category of groups.

qas: question: What are two groups called if they include homomorphisms?
answers: text: isomorphic

question: What similar element do isomorphic groups carry?
answers: text: isomorphic groups

question: How can showing the second equality yields the first prove the concept of isomorphic groups?
answers: text: applying a to the first equality yields the second

question: What are two groups called if no group homomorphisms are found?

question: Isomorphic groups carry different what?

question: What gives the identity of a?

question: From what point of view do isomorphic groups have different information?

question: How does the second equality disprove the concept of isomorphic groups?
context: Two groups G and H are called isomorphic if there exist group homomorphisms a: G → H and b: H → G, such that applying the two functions one after another in each of the two possible orders gives the identity functions of G and H. That is, a(b(h)) = h and b(a(g)) = g for any g in G and h in H. From an abstract point of view, isomorphic groups carry the same information. For example, proving that g • g = 1G for some element g of G is equivalent to proving that a(g) ∗ a(g) = 1H, because applying a to the first equality yields the second, and applying b to the second gives back the first.

qas: question: What is composed of two rotations?
answers: text: a rotation

question: What rotation can a rotation be reversed by?
answers: text: inverse

question: What essential condition must be met for a subset of a group to be a subgroup?
answers: text: The subgroup test

question: What is defined when moving in the opposite direction?

question: 270 for 180 is an example of what kind of rotation?

question: subgroup R is made up of the inverse and what?

question: What is unimportant for understanding the group as a whole?

question: Knowing the group as a whole is important for understanding what?
context: In the example above, the identity and the rotations constitute a subgroup R = {id, r1, r2, r3}, highlighted in red in the group table above: any two rotations composed are still a rotation, and a rotation can be undone by (i.e. is inverse to) the complementary rotations 270° for 90°, 180° for 180°, and 90° for 270° (note that rotation in the opposite direction is not defined). The subgroup test is a necessary and sufficient condition for a subset H of a group G to be a subgroup: it is sufficient to check that g−1h ∈ H for all elements g, h ∈ H. Knowing the subgroups is important in understanding the group as a whole.d[›]

qas: question: When is it preferable to consider two group elements to be the same?
answers: text: irrelevant to the question whether a reflection has been performed

question: What should not be considered when asking if a reflection has been performed?
answers: text: rotation operations

question: What number sets are used to show how subgroups can be seen as translations of the larger group?
answers: text: Cosets

question: When are two group elements considered different?

question: In D4 the square can return to the r2 configuration by applying only what?

question: What question are cosets irrelevant to?

question: What does group element g define?

question: When are rotation operations considered?
context: In many situations it is desirable to consider two group elements the same if they differ by an element of a given subgroup. For example, in D4 above, once a reflection is performed, the square never gets back to the r2 configuration by just applying the rotation operations (and no further reflections), i.e. the rotation operations are irrelevant to the question whether a reflection has been performed. Cosets are used to formalize this insight: a subgroup H defines left and right cosets, which can be thought of as translations of H by arbitrary group elements g. In symbolic terms, the left and right cosets of H containing g are

qas: question: What is another term for coset multiplication?
answers: text: coset addition

question: What group operation is taken by the set from the original group?
answers: text: coset multiplication

question: What group does the inverse of gN include?
answers: text: quotient group

question: What is the original group sometimes called?

question: What are group homomorphisms called?

question: What does the Coset gN serve as?

question: What group operation is taken by the original group from the set?

question: The inverse of gN excludes what group?
context: This set inherits a group operation (sometimes called coset multiplication, or coset addition) from the original group G: (gN) • (hN) = (gh)N for all g and h in G. This definition is motivated by the idea (itself an instance of general structural considerations outlined above) that the map G → G / N that associates to any element g its coset gN be a group homomorphism, or by general abstract considerations called universal properties. The coset eN = N serves as the identity in this group, and the inverse of gN in the quotient group is (gN)−1 = (g−1)N.e[›]

qas: question: What groups can be combined to describe every group?
answers: text: is the quotient of the free group over the generators of the group

question: What group can be the quotient of the free group over the generators of the group?
answers: text: any group

question: What is a finite composition of two symmetries or their inverses?
answers: text: every symmetry of the square

question: What do quotient groups describe by themselves?

question: What presentation describes every group?

question: How many elements does the dihedral group generate?

question: What of a square is an infinite composition?

question: Which two elements does D4 generate?
context: Quotient groups and subgroups together form a way of describing every group by its presentation: any group is the quotient of the free group over the generators of the group, quotiented by the subgroup of relations. The dihedral group D4, for example, can be generated by two elements r and f (for example, r = r1, the right rotation and f = fv the vertical (or any other) reflection), which means that every symmetry of the square is a finite composition of these two symmetries or their inverses. Together with the relations

qas: question: What map shows the relation between sub and quotient groups?
answers: text: injective map

question: What are the opposites of injective maps?
answers: text: surjective maps

question: What is an example of a surjective map?
answers: text: canonical map

question: What theory address the phenomenon of homomorphisms being neither injective nor surjective?
answers: text: the first isomorphism theorem

question: Subset G of H is seen as what map?

question: What is the minimum number of elements in a target?

question: What kind of map is similar to an injective map?

question: What theory discusses the surjective nature of canonical maps?

question: What two forms must homomorphisms take?
context: Sub- and quotient groups are related in the following way: a subset H of G can be seen as an injective map H → G, i.e. any element of the target has at most one element that maps to it. The counterpart to injective maps are surjective maps (every element of the target is mapped onto), such as the canonical map G → G / N.y[›] Interpreting subgroup and quotients in light of these homomorphisms emphasizes the structural concept inherent to these definitions alluded to in the introduction. In general, homomorphisms are neither injective nor surjective. Kernel and image of group homomorphisms and the first isomorphism theorem address this phenomenon.

qas: question: What are usually analyzed by associating groups to them and studying the elements of the corresponding groups?
answers: text: Mathematical objects

question: Who founded algebraic topology?
answers: text: Henri Poincaré

question: What did Henri Poincaré introduce when he established algebraic topology?
answers: text: the fundamental group

question: What topological properties translate into properties of groups?
answers: text: proximity and continuity

question: What represents elements of the fundamental group?
answers: text: loops

question: Who first applied groups to other mathematical areas?

question: Which topological properties do not carry over into groups?

question: Why is the blue loop considered relevant?

question: What causes the orange loop to shrink to a point?

question: What results in a finite cycle?
context: Groups are also applied in many other mathematical areas. Mathematical objects are often examined by associating groups to them and studying the properties of the corresponding groups. For example, Henri Poincaré founded what is now called algebraic topology by introducing the fundamental group. By means of this connection, topological properties such as proximity and continuity translate into properties of groups.i[›] For example, elements of the fundamental group are represented by loops. The second image at the right shows some loops in a plane minus a point. The blue loop is considered null-homotopic (and thus irrelevant), because it can be continuously shrunk to a point. The presence of the hole prevents the orange loop from being shrunk to a point. The fundamental group of the plane with a point deleted turns out to be infinite cyclic, generated by the orange loop (or any other loop winding once around the hole). This way, the fundamental group detects the hole.

qas: question: What positive integer is used to divide the sum of two positive integers in modular mathematics?
answers: text: the modulus

question: What results from modular addition?
answers: text: the remainder of that division

question: What type of device can be use to demonstrate modular addition?
answers: text: a clock

question: How many integers are divided in modular arithmetic?

question: What are the two integers called?

question: What is the result of the remained of the division?

question: What is 9 in modular addition?

question: If the hour hand is on 1 and is advanced by 4 hours, where does it end up?
context: In modular arithmetic, two integers are added and then the sum is divided by a positive integer called the modulus. The result of modular addition is the remainder of that division. For any modulus, n, the set of integers from 0 to n − 1 forms a group under modular addition: the inverse of any element a is n − a, and 0 is the identity element. This is familiar from the addition of hours on the face of a clock: if the hour hand is on 9 and is advanced 4 hours, it ends up on 1, as shown at the right. This is expressed by saying that 9 + 4 equals 1 "modulo 12" or, in symbols,

qas: question: What term describes the group of integers related to a prime number?
answers: text: modulo p

question: What integers are included in modulo p?
answers: text: 1 to p − 1

question: How many group elements exist if p=5?
answers: text: four group elements

question: What describes a group of integers related to a modulo?

question: What is the result of modular multiplication divided by?

question: How many integers does p = 5 have?

question: What is p divided by?

question: What is 16 multiplied by 5 If p=5?
context: For any prime number p, there is also the multiplicative group of integers modulo p. Its elements are the integers 1 to p − 1. The group operation is multiplication modulo p. That is, the usual product is divided by p and the remainder of this division is the result of modular multiplication. For example, if p = 5, there are four group elements 1, 2, 3, 4. In this group, 4 · 4 = 1, because the usual product 16 is equivalent to 1, which divided by 5 yields a remainder of 1. for 5 divides 16 − 1 = 15, denoted

qas: question: What is a group labeled when the element 1 is primitive?
answers: text: cyclic

question: What group is isomorphic to cyclic groups?
answers: text: Any cyclic group with n elements

question: What example of cyclic group satisfies the express of zn = 1?
answers: text: the group of n-th complex roots of unity

question: A cyclic group without n elements is considered what?

question: What element is not primitive in groups Z/nZ?

question: What are groups called when element 1 is not primitive?

question: What rotation results in multiplying but n?

question: What are numbers on an irregular n-gon?
context: In the groups Z/nZ introduced above, the element 1 is primitive, so these groups are cyclic. Indeed, each element is expressible as a sum all of whose terms are 1. Any cyclic group with n elements is isomorphic to this group. A second example for cyclic groups is the group of n-th complex roots of unity, given by complex numbers z satisfying zn = 1. These numbers can be visualized as the vertices on a regular n-gon, as shown in blue at the right for n = 6. The group operation is multiplication of complex numbers. In the picture, multiplying with z corresponds to a counter-clockwise rotation by 60°. Using some field theory, the group Fp× can be shown to be cyclic: for example, if p = 5, 3 is a generator since 31 = 3, 32 = 9 ≡ 4, 33 ≡ 2, and 34 ≡ 1.

qas: question: What are groups consisting of symmetries of given arithmetic concepts?
answers: text: Symmetry groups

question: What term describes the introductory symmetry group of the square?
answers: text: geometric nature

question: What can regarded as the study of symmetry?
answers: text: group theory

question: What is the name of the rule that must be met for a group operation to occur?
answers: text: group law

question: The group pattern is connected to the structure of the target by what behavior?
answers: text: group action

question: What do symmetry groups make?

question: Which equation is are used for the square?

question: What is the study of geometrical or analytical objects called?

question: What makes the study of symmetries easier?

question: What does group action do to the tiling?
context: Symmetry groups are groups consisting of symmetries of given mathematical objects—be they of geometric nature, such as the introductory symmetry group of the square, or of algebraic nature, such as polynomial equations and their solutions. Conceptually, group theory can be thought of as the study of symmetry.t[›] Symmetries in mathematics greatly simplify the study of geometrical or analytical objects. A group is said to act on another mathematical object X if every group element performs some operation on X compatibly to the group law. In the rightmost example below, an element of order 7 of the (2,3,7) triangle group acts on the tiling by permuting the highlighted warped triangles (and the other ones, too). By a group action, the group pattern is connected to the structure of the object being acted on.

qas: question: What aids in predicting changes of physical traits?
answers: text: group theory

question: What stage of a physical transformation can group theory be used to make prediction?
answers: text: phase transition

question: What temperature causes the change of ferroelectric materials?
answers: text: Curie temperature

question: What term describes the vibrational lattice mode that turns to 0 frequency at the change?
answers: text: soft phonon mode

question: What predicts the changes in group theory?

question: Which stage can physical properties be used to make predictions about group theory?

question: What temperature causes a change from ferroelectric to paraelectric?

question: What is the frequency of a paraelectric state before transition?

question: What is the name of the mode that moves material from a low-symmetry state to a high one?
context: Likewise, group theory helps predict the changes in physical properties that occur when a material undergoes a phase transition, for example, from a cubic to a tetrahedral crystalline form. An example is ferroelectric materials, where the change from a paraelectric to a ferroelectric state occurs at the Curie temperature and is related to a change from the high-symmetry paraelectric state to the lower symmetry ferroelectic state, accompanied by a so-called soft phonon mode, a vibrational lattice mode that goes to zero frequency at the transition.

qas: question: What are examples of finite symmetry groups used in coding theory?
answers: text: Mathieu groups

question: What is used for error correction of transferred data?
answers: text: coding theory

question: What describes functions having antiderivatives of a prescribed form?
answers: text: differential Galois theory

question: What concept investigates geometric elements that stay stable under group action?
answers: text: invariant theory

question: What theory is error correction applied to?

question: Which form of finite symmetry groups are useless in coding theory?

question: Mathieu groups have what kind of prescribed form?

question: What stable properties does the Galois theory study?

question: Geometric Invariant theory studies what kind of equations?
context: Finite symmetry groups such as the Mathieu groups are used in coding theory, which is in turn applied in error correction of transmitted data, and in CD players. Another application is differential Galois theory, which characterizes functions having antiderivatives of a prescribed form, giving group-theoretic criteria for when solutions of certain differential equations are well-behaved.u[›] Geometric properties that remain stable under group actions are investigated in (geometric) invariant theory.

qas: question: What groups combine matrices with matrix multiplication?
answers: text: Matrix groups

question: What includes all invertible n-by-n matrices with real entries?
answers: text: The general linear group

question: What term describes subgroups of the general linear group?
answers: text: matrix groups

question: What matrix group portrays all possible rotations in n dimensions?
answers: text: the special orthogonal group SO(n)

question: Rotation matrix groups are utilized in computer graphics with what concept?
answers: text: Euler angles

question: What are matrices and matrix groups combined called?

question: The general linear group describes all possible what?

question: What is an example of a large matrix group?

question: What are subgroups of the special orthogonal group called?

question: What type of angles are made of all invertible n-by-b matrices?
context: Matrix groups consist of matrices together with matrix multiplication. The general linear group GL(n, R) consists of all invertible n-by-n matrices with real entries. Its subgroups are referred to as matrix groups or linear groups. The dihedral group example mentioned above can be viewed as a (very small) matrix group. Another important matrix group is the special orthogonal group SO(n). It describes all possible rotations in n dimensions. Via Euler angles, rotation matrices are used in computer graphics.

qas: question: What degree does not include simple formulas for cubic and quatric equations?
answers: text: degree 5 and higher

question: What concept is associated with the solvability of polynomials?
answers: text: Abstract properties of Galois groups

question: What are used to express the solutions of polynomials?
answers: text: radicals

question: What degree must it be lower than to have simple formulas?

question: What give criterion for abstract properties?

question: Which group cannot be expressed using radicals?

question: What is an example of a complex operation?

question: What do cubic and quartic equations not have?
context: Exchanging "+" and "−" in the expression, i.e. permuting the two solutions of the equation can be viewed as a (very simple) group operation. Similar formulae are known for cubic and quartic equations, but do not exist in general for degree 5 and higher. Abstract properties of Galois groups associated with polynomials (in particular their solvability) give a criterion for polynomials that have all their solutions expressible by radicals, i.e. solutions expressible using solely addition, multiplication, and roots similar to the formula above.

qas: question: What does a finite group include?
answers: text: a finite number of elements

question: What is the number of elements in a group named?
answers: text: the order of the group

question: What type of class has a finite group that can be expressed as a subgroup of a symmetric group?
answers: text: fundamental

question: What can be described as the group of symmetries of an equilateral triangle?
answers: text: S3

question: What is called the order of the group?

question: What does a finite number of elements include?

question: What can a subgroup of a symmetric group SN can be expressed as?

question: What are the group of symmetries of a S3?
context: A group is called finite if it has a finite number of elements. The number of elements is called the order of the group. An important class is the symmetric groups SN, the groups of permutations of N letters. For example, the symmetric group on 3 letters S3 is the group consisting of all possible orderings of the three letters ABC, i.e. contains the elements ABC, ACB, ..., up to CBA, in total 6 (or 3 factorial) elements. This class is fundamental insofar as any finite group can be expressed as a subgroup of a symmetric group SN for a suitable integer N (Cayley's theorem). Parallel to the group of symmetries of the square above, S3 can also be interpreted as the group of symmetries of an equilateral triangle.

qas: question: What level of finality do mathematicians try to reach with math concepts? 
answers: text: complete classification

question: What area of classification leads to troublesome arithmetic?
answers: text: finite groups

question: What defines finite groups of order p, a prime number, as being necessarily cyclic (abelian) groups Zp?
answers: text: Lagrange's theorem

question: What can be used to classify small groups even though there is no classification of all finite groups?
answers: text: Computer algebra systems

question: What describes finite simple groups as the building pieces for all finite groups?
answers: text: The Jordan–Hölder theorem

question: Both p2 and p3 are what?

question: What is used to classify all finite groups?

question: When was the Jordan-Holder theorem published?

question: What did Richard Borcherd make a complete classification of?

question: What theorem details the link between the largest finite group and modular functions?
context: Mathematicians often strive for a complete classification (or list) of a mathematical notion. In the context of finite groups, this aim leads to difficult mathematics. According to Lagrange's theorem, finite groups of order p, a prime number, are necessarily cyclic (abelian) groups Zp. Groups of order p2 can also be shown to be abelian, a statement which does not generalize to order p3, as the non-abelian group D4 of order 8 = 23 above shows. Computer algebra systems can be used to list small groups, but there is no classification of all finite groups.q[›] An intermediate step is the classification of finite simple groups.r[›] A nontrivial group is called simple if its only normal subgroups are the trivial group and the group itself.s[›] The Jordan–Hölder theorem exhibits finite simple groups as the building blocks for all finite groups. Listing all finite simple groups was a major achievement in contemporary group theory. 1998 Fields Medal winner Richard Borcherds succeeded in proving the monstrous moonshine conjectures, a surprising and deep relation between the largest finite simple sporadic group—the "monster group"—and certain modular functions, a piece of classical complex analysis, and string theory, a theory supposed to unify the description of many physical phenomena.

qas: question: What group operations must occur for group law and topology to integrate well?
answers: text: continuous functions

question: What is the most simple example of topological groups?
answers: text: reals R under addition, (R ∖ {0}, ·),

question: What variables do locally compact groups share that can be studied by harmonic analysis?
answers: text: Haar measures

question: What allows group law and group operations to interweave?

question: What is group law endowed with?

question: What are harmonic analyses studied using?

question: What are topological spaces categorized by?

question: How are groups that are not locally compact studied?
context: Some topological spaces may be endowed with a group law. In order for the group law and the topology to interweave well, the group operations must be continuous functions, that is, g • h, and g−1 must not vary wildly if g and h vary only little. Such groups are called topological groups, and they are the group objects in the category of topological spaces. The most basic examples are the reals R under addition, (R ∖ {0}, ·), and similarly with any other topological field such as the complex numbers or p-adic numbers. All of these groups are locally compact, so they have Haar measures and can be studied via harmonic analysis. The former offer an abstract formalism of invariant integrals. Invariance means, in the case of real numbers for example:

qas: question: What concepts are fundamental to number theory?
answers: text: adele rings and adelic algebraic groups

question: What group uses infinite field extensions with topology?
answers: text: the absolute Galois group

question: What is used to generalize the connection of fields and groups to infinite field extensions?
answers: text: Krull topology

question: What group is an advanced observation of infinite field extensions and groups that is adapted for the needs of algebraic geometry?
answers: text: the étale fundamental group

question: What is basic to adele rings?

question: Which Galois group does not use topology?

question: What form of topology do Matrix groups use?

question: The Galois group is adapted to the needs of what form of geometry?

question: What is algebraic geometry adapted to the needs of?
context: for any constant c. Matrix groups over these fields fall under this regime, as do adele rings and adelic algebraic groups, which are basic to number theory. Galois groups of infinite field extensions such as the absolute Galois group can also be equipped with a topology, the so-called Krull topology, which in turn is central to generalize the above sketched connection of fields and groups to infinite field extensions. An advanced generalization of this idea, adapted to the needs of algebraic geometry, is the étale fundamental group.

qas: question: What concept is of basic importance in modern physics?
answers: text: Lie groups

question: What connects continuous symmetries to conserved quantities?
answers: text: Noether's theorem

question: What term describes the basic symmetries of the laws of mechanics?
answers: text: Rotation

question: What concept relates measurements of time and velocity of two observers in motion relative to each other?
answers: text: Lorentz transformations

question: What describe the complete symmetry group of Minkowski space including translations?
answers: text: Poincaré group

question: What is important to Lie groups?

question: What connects Lie groups with conserved quantities?

question: What are basic laws of mechanics?

question: What measures the time and velocity of two observers?

question: What are the translations in a group of Minkowski space called?
context: Lie groups are of fundamental importance in modern physics: Noether's theorem links continuous symmetries to conserved quantities. Rotation, as well as translations in space and time are basic symmetries of the laws of mechanics. They can, for instance, be used to construct simple models—imposing, say, axial symmetry on a situation will typically lead to significant simplification in the equations one needs to solve to provide a physical description.v[›] Another example are the Lorentz transformations, which relate measurements of time and velocity of two observers in motion relative to each other. They can be deduced in a purely group-theoretical way, by expressing the transformations as a rotational symmetry of Minkowski space. The latter serves—in the absence of significant gravitation—as a model of space time in special relativity. The full symmetry group of Minkowski space, i.e. including translations, is known as the Poincaré group. By the above, it plays a pivotal role in special relativity and, by implication, for quantum field theories. Symmetries that vary with location are central to the modern description of physical interactions with the help of gauge theory.

qas: question: What product is created if the requirement that every element has an inverse is eliminated?
answers: text: monoid

question: What type of numbers under addition form a monoid?
answers: text: natural numbers N (including 0)

question: What method formally adds inverses to elements to any monoid?
answers: text: the Grothendieck group

question: What can be replaced to simplify abstract algebra concepts?
answers: text: the binary operation

question: Axioms are defined by relaxing what?

question: What is the inverse of every element called?

question: What is derived from (Q \ [0],-)?

question: What needs to be defined in Groupoids for a and b?

question: What does generalizing an n-ary group give rise to?
context: In abstract algebra, more general structures are defined by relaxing some of the axioms defining a group. For example, if the requirement that every element has an inverse is eliminated, the resulting algebraic structure is called a monoid. The natural numbers N (including 0) under addition form a monoid, as do the nonzero integers under multiplication (Z ∖ {0}, ·), see above. There is a general method to formally add inverses to elements to any (abelian) monoid, much the same way as (Q ∖ {0}, ·) is derived from (Z ∖ {0}, ·), known as the Grothendieck group. Groupoids are similar to groups except that the composition a • b need not be defined for all a and b. They arise in the study of more complicated forms of symmetry, often in topological and analytical structures, such as the fundamental groupoid or stacks. Finally, it is possible to generalize any of these concepts by replacing the binary operation with an arbitrary n-ary one (i.e. an operation taking n arguments). With the proper generalization of the group axioms this gives rise to an n-ary group. The table gives a list of several structures generalizing groups.