|
Commensurability (mathematics)
In mathematics, two non- zero real numbers ''a'' and ''b'' are said to be ''commensurable'' if their ratio ' is a rational number; otherwise ''a'' and ''b'' are called ''incommensurable''. (Recall that a rational number is one that is equivalent to the ratio of two integers.) There is a more general notion of commensurability in group theory. For example, the numbers 3 and 2 are commensurable because their ratio, , is a rational number. The numbers \sqrt and 2\sqrt are also commensurable because their ratio, \frac=\frac, is a rational number. However, the numbers \sqrt and 2 are incommensurable because their ratio, \frac, is an irrational number. More generally, it is immediate from the definition that if ''a'' and ''b'' are any two non-zero rational numbers, then ''a'' and ''b'' are commensurable; it is also immediate that if ''a'' is any irrational number and ''b'' is any non-zero rational number, then ''a'' and ''b'' are incommensurable. On the other hand, if both ''a'' and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclid's Elements
The ''Elements'' ( ) is a mathematics, mathematical treatise written 300 BC by the Ancient Greek mathematics, Ancient Greek mathematician Euclid. ''Elements'' is the oldest extant large-scale deductive treatment of mathematics. Drawing on the works of earlier mathematicians such as Hippocrates of Chios, Eudoxus of Cnidus and Theaetetus (mathematician), Theaetetus, the ''Elements'' is a collection in 13 books of definitions, postulates, propositions and mathematical proofs that covers plane and solid Euclidean geometry, elementary number theory, and Commensurability (mathematics), incommensurable lines. These include Pythagorean theorem, Thales' theorem, the Euclidean algorithm for greatest common divisors, Euclid's theorem that there are infinitely many prime numbers, and the Compass-and-straightedge construction, construction of regular polygons and Regular polyhedra, polyhedra. Often referred to as the most successful textbook ever written, the ''Elements'' has continued to be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Path-connected
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint non-empty open subsets. Connectedness is one of the principal topological properties that distinguish topological spaces. A subset of a topological space X is a if it is a connected space when viewed as a subspace of X. Some related but stronger conditions are path connected, simply connected, and n-connected. Another related notion is locally connected, which neither implies nor follows from connectedness. Formal definition A topological space X is said to be if it is the union of two disjoint non-empty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. Some authors exclude the empty set (with its unique topology) as a connected space, but this article does not follow that practice. For a topological space X the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Isomorphism
In abstract algebra, a group isomorphism is a function between two groups that sets up a bijection between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished. Definition and notation Given two groups (G, *) and (H, \odot), a ''group isomorphism'' from (G, *) to (H, \odot) is a bijective group homomorphism from G to H. Spelled out, this means that a group isomorphism is a bijective function f : G \to H such that for all u and v in G it holds that f(u * v) = f(u) \odot f(v). The two groups (G, *) and (H, \odot) are isomorphic if there exists an isomorphism from one to the other. This is written (G, *) \cong (H, \odot). Often shorter and simpler notations can be used. When the relevant group operations are understood, they are omitted and one writes G \co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Generating Set Of A Group
In abstract algebra, a generating set of a group is a subset of the group set such that every element of the group (mathematics), group can be expressed as a combination (under the group operation) of finitely many elements of the subset and their Inverse element, inverses. In other words, if S is a subset of a group G, then \langle S\rangle, the ''subgroup generated by S'', is the smallest subgroup of G containing every element of S, which is equal to the intersection over all subgroups containing the elements of S; equivalently, \langle S\rangle is the subgroup of all elements of G that can be expressed as the finite product of elements in S and their inverses. (Note that inverses are only needed if the group is infinite; in a finite group, the inverse of an element can be expressed as a power of that element.) If G=\langle S\rangle, then we say that S ''generates'' G, and the elements in S are called ''generators'' or ''group generators''. If S is the empty set, then \langle S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Finite Index
In mathematics, specifically group theory, the index of a subgroup ''H'' in a group ''G'' is the number of left cosets of ''H'' in ''G'', or equivalently, the number of right cosets of ''H'' in ''G''. The index is denoted , G:H, or :H/math> or (G:H). Because ''G'' is the disjoint union of the left cosets and because each left coset has the same size as ''H'', the index is related to the orders of the two groups by the formula :, G, = , G:H, , H, (interpret the quantities as cardinal numbers if some of them are infinite). Thus the index , G:H, measures the "relative sizes" of ''G'' and ''H''. For example, let G = \Z be the group of integers under addition, and let H = 2\Z be the subgroup consisting of the even integers. Then 2\Z has two cosets in \Z, namely the set of even integers and the set of odd integers, so the index , \Z:2\Z, is 2. More generally, , \Z:n\Z, = n for any positive integer ''n''. When ''G'' is finite, the formula may be written as , G:H, = , G, / ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Intersection (set Theory)
In set theory, the intersection of two Set (mathematics), sets A and B, denoted by A \cap B, is the set containing all elements of A that also belong to B or equivalently, all elements of B that also belong to A. Notation and terminology Intersection is written using the symbol "\cap" between the terms; that is, in infix notation. For example: \\cap\=\ \\cap\=\varnothing \Z\cap\N=\N \\cap\N=\ The intersection of more than two sets (generalized intersection) can be written as: \bigcap_^n A_i which is similar to capital-sigma notation. For an explanation of the symbols used in this article, refer to the table of mathematical symbols. Definition The intersection of two sets A and B, denoted by A \cap B, is the set of all objects that are members of both the sets A and B. In symbols: A \cap B = \. That is, x is an element of the intersection A \cap B if and only if x is both an element of A and an element of B. For example: * The intersection of the sets and is . * The n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subgroup
In group theory, a branch of mathematics, a subset of a group G is a subgroup of G if the members of that subset form a group with respect to the group operation in G. Formally, given a group (mathematics), group under a binary operation ∗, a subset of is called a subgroup of if also forms a group under the operation ∗. More precisely, is a subgroup of if the Restriction (mathematics), restriction of ∗ to is a group operation on . This is often denoted , read as " is a subgroup of ". The trivial subgroup of any group is the subgroup consisting of just the identity element. A proper subgroup of a group is a subgroup which is a subset, proper subset of (that is, ). This is often represented notationally by , read as " is a proper subgroup of ". Some authors also exclude the trivial group from being proper (that is, ). If is a subgroup of , then is sometimes called an overgroup of . The same definitions apply more generally when is an arbitrary se ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group Theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups. The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field (mathematics), fields, and vector spaces, can all be seen as groups endowed with additional operation (mathematics), operations and axioms. Groups recur throughout mathematics, and the methods of group theory have influenced many parts of algebra. Linear algebraic groups and Lie groups are two branches of group theory that have experienced advances and have become subject areas in their own right. Various physical systems, such as crystals and the hydrogen atom, and Standard Model, three of the four known fundamental forces in the universe, may be modelled by symmetry groups. Thus group theory and the closely related representation theory have many important applications in physics, chemistry, and materials science. Group theory is also cen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Length
Length is a measure of distance. In the International System of Quantities, length is a quantity with Dimension (physical quantity), dimension distance. In most systems of measurement a Base unit (measurement), base unit for length is chosen, from which all other units are derived. In the International System of Units (SI) system, the base unit for length is the metre. Length is commonly understood to mean the most extended size, dimension of a fixed object. However, this is not always the case and may depend on the position the object is in. Various terms for the length of a fixed object are used, and these include height, which is vertical length or vertical extent, width, breadth, and depth. ''Height'' is used when there is a base from which vertical measurements can be taken. ''Width'' and ''breadth'' usually refer to a shorter dimension than ''length''. ''Depth'' is used for the measure of a third dimension. Length is the measure of one spatial dimension, whereas area ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Line Segment
In geometry, a line segment is a part of a line (mathematics), straight line that is bounded by two distinct endpoints (its extreme points), and contains every Point (geometry), point on the line that is between its endpoints. It is a special case of an ''arc (geometry), arc'', with zero curvature. The length of a line segment is given by the Euclidean distance between its endpoints. A closed line segment includes both endpoints, while an open line segment excludes both endpoints; a half-open line segment includes exactly one of the endpoints. In geometry, a line segment is often denoted using an overline (vinculum (symbol), vinculum) above the symbols for the two endpoints, such as in . Examples of line segments include the sides of a triangle or square. More generally, when both of the segment's end points are vertices of a polygon or polyhedron, the line segment is either an edge (geometry), edge (of that polygon or polyhedron) if they are adjacent vertices, or a diagonal. Wh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ruler
A ruler, sometimes called a rule, scale, line gauge, or metre/meter stick, is an instrument used to make length measurements, whereby a length is read from a series of markings called "rules" along an edge of the device. Usually, the instrument is rigid and the edge itself is a straightedge ("ruled straightedge"), which additionally allows one to draw straighter lines. Rulers are an important tool in geometry, geography and mathematics. They have been used since at least 2650 BC. Variants Rulers have long been made from different materials and in multiple sizes. Historically, they were mainly wood but plastics have also been used. They can be created with length markings instead of being wikt:scribe, scribed. Metal is also used for more durable rulers for use in the workshop; sometimes a metal edge is embedded into a wooden desk ruler to preserve the edge when used for straight-line cutting. Typically in length, though some can go up to 100 cm, it is useful for a ruler to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
