|
Rotations In 4-dimensional Euclidean Space
In mathematics, the group of rotations about a fixed point in four-dimensional Euclidean space is denoted SO(4). The name comes from the fact that it is the special orthogonal group of order 4. In this article '' rotation'' means ''rotational displacement''. For the sake of uniqueness, rotation angles are assumed to be in the segment except where mentioned or clearly implied by the context otherwise. A "fixed plane" is a plane for which every vector in the plane is unchanged after the rotation. An "invariant plane" is a plane for which every vector in the plane, although it may be affected by the rotation, remains in the plane after the rotation. Geometry of 4D rotations Four-dimensional rotations are of two types: simple rotations and double rotations. Simple rotations A simple rotation about a rotation centre leaves an entire plane through (axis-plane) fixed. Every plane that is completely orthogonal to intersects in a certain point . Each such point is the centre ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (division), or equivalently, the concept of addition and the taking of inverses (subtraction). Combining these two ideas, one obtains a continuous group where multiplying points and their inverses are continuous. If the multiplication and taking of inverses are smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the rotational symmetry in three dimensions (given by the special orthogonal group \text(3)). Lie groups are widely used in many parts of modern mathematics and physics. Lie ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Double Covering Group
In mathematics, a covering group of a topological group ''H'' is a covering space ''G'' of ''H'' such that ''G'' is a topological group and the covering map is a continuous group homomorphism. The map ''p'' is called the covering homomorphism. A frequently occurring case is a double covering group, a topological double cover in which ''H'' has index 2 in ''G''; examples include the spin groups, pin groups, and metaplectic groups. Roughly explained, saying that for example the metaplectic group Mp2''n'' is a ''double cover'' of the symplectic group Sp2''n'' means that there are always two elements in the metaplectic group representing one element in the symplectic group. Properties Let ''G'' be a covering group of ''H''. The kernel ''K'' of the covering homomorphism is just the fiber over the identity in ''H'' and is a discrete normal subgroup of ''G''. The kernel ''K'' is closed in ''G'' if and only if ''G'' is Hausdorff (and if and only if ''H'' is Hausdorff). Going in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Universal Covering Group
In mathematics, a covering group of a topological group ''H'' is a covering space ''G'' of ''H'' such that ''G'' is a topological group and the covering map is a continuous group homomorphism. The map ''p'' is called the covering homomorphism. A frequently occurring case is a double covering group, a topological double cover in which ''H'' has index 2 in ''G''; examples include the spin groups, pin groups, and metaplectic groups. Roughly explained, saying that for example the metaplectic group Mp2''n'' is a ''double cover'' of the symplectic group Sp2''n'' means that there are always two elements in the metaplectic group representing one element in the symplectic group. Properties Let ''G'' be a covering group of ''H''. The kernel ''K'' of the covering homomorphism is just the fiber over the identity in ''H'' and is a discrete normal subgroup of ''G''. The kernel ''K'' is closed in ''G'' if and only if ''G'' is Hausdorff (and if and only if ''H'' is Hausdorff). Going in the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Factor Group
Factor, a Latin word meaning "who/which acts", may refer to: Commerce * Factor (agent), a person who acts for, notably a mercantile and colonial agent * Factor (Scotland), a person or firm managing a Scottish estate * Factors of production, such a factor is a resource used in the production of goods and services Science and technology Biology * Coagulation factors, substances essential for blood coagulation * Environmental factor, any abiotic or biotic factor that affects life * Enzyme, proteins that catalyze chemical reactions * Factor B, and factor D, peptides involved in the alternate pathway of immune system complement activation * Transcription factor, a protein that binds to specific DNA sequences Computer science and information technology * Factor (programming language), a concatenative stack-oriented programming language * Factor (Unix), a utility for factoring an integer into its prime factors * Factor, a substring, a subsequence of consecutive symbols in a st ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Normal Subgroup
In abstract algebra, a normal subgroup (also known as an invariant subgroup or self-conjugate subgroup) is a subgroup that is invariant under conjugation by members of the group of which it is a part. In other words, a subgroup N of the group G is normal in G if and only if gng^ \in N for all g \in G and n \in N. The usual notation for this relation is N \triangleleft G. Normal subgroups are important because they (and only they) can be used to construct quotient groups of the given group. Furthermore, the normal subgroups of G are precisely the kernels of group homomorphisms with domain G, which means that they can be used to internally classify those homomorphisms. Évariste Galois was the first to realize the importance of the existence of normal subgroups. Definitions A subgroup N of a group G is called a normal subgroup of G if it is invariant under conjugation; that is, the conjugation of an element of N by an element of G is always in N. The usual notation for this re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Direct Product Of Groups
In mathematics, specifically in group theory, the direct product is an operation that takes two groups and and constructs a new group, usually denoted . This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics. In the context of abelian groups, the direct product is sometimes referred to as the direct sum, and is denoted G \oplus H. Direct sums play an important role in the classification of abelian groups: according to the fundamental theorem of finite abelian groups, every finite abelian group can be expressed as the direct sum of cyclic groups. Definition Given groups (with operation ) and (with operation ), the direct product is defined as follows: The resulting algebraic object satisfies the axioms for a group. Specifically: ;Associativity: The binary operation on is associative. ;Identity: The direct product has an identity element, namely , where is the identity e ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quaternion
In mathematics, the quaternion number system extends the complex numbers. Quaternions were first described by the Irish mathematician William Rowan Hamilton in 1843 and applied to mechanics in three-dimensional space. Hamilton defined a quaternion as the quotient of two '' directed lines'' in a three-dimensional space, or, equivalently, as the quotient of two vectors. Multiplication of quaternions is noncommutative. Quaternions are generally represented in the form :a + b\ \mathbf i + c\ \mathbf j +d\ \mathbf k where , and are real numbers; and , and are the ''basic quaternions''. Quaternions are used in pure mathematics, but also have practical uses in applied mathematics, particularly for calculations involving three-dimensional rotations, such as in three-dimensional computer graphics, computer vision, and crystallographic texture analysis. They can be used alongside other methods of rotation, such as Euler angles and rotation matrices, or as an alternative to them ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Multiplicative Group
In mathematics and group theory, the term multiplicative group refers to one of the following concepts: *the group under multiplication of the invertible elements of a field, ring, or other structure for which one of its operations is referred to as multiplication. In the case of a field ''F'', the group is , where 0 refers to the zero element of ''F'' and the binary operation • is the field multiplication, *the algebraic torus GL(1).. Examples *The multiplicative group of integers modulo ''n'' is the group under multiplication of the invertible elements of \mathbb/n\mathbb. When ''n'' is not prime, there are elements other than zero that are not invertible. * The multiplicative group of positive real numbers \mathbb^+ is an abelian group with 1 its identity element. The logarithm is a group isomorphism of this group to the additive group of real numbers, \mathbb. * The multiplicative group of a field F is the set of all nonzero elements: F^\times = F -\, under the multiplic ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Clifford Torus
In geometric topology, the Clifford torus is the simplest and most symmetric flat embedding of the cartesian product of two circles ''S'' and ''S'' (in the same sense that the surface of a cylinder is "flat"). It is named after William Kingdon Clifford. It resides in R4, as opposed to in R3. To see why R4 is necessary, note that if ''S'' and ''S'' each exists in its own independent embedding space R and R, the resulting product space will be R4 rather than R3. The historically popular view that the cartesian product of two circles is an R3 torus in contrast requires the highly asymmetric application of a rotation operator to the second circle, since that circle will only have one independent axis ''z'' available to it after the first circle consumes ''x'' and ''y''. Stated another way, a torus embedded in R3 is an asymmetric reduced-dimension projection of the maximally symmetric Clifford torus embedded in R4. The relationship is similar to that of projecting the edges of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Maximal Torus
In the mathematical theory of compact Lie groups a special role is played by torus subgroups, in particular by the maximal torus subgroups. A torus in a compact Lie group ''G'' is a compact, connected, abelian Lie subgroup of ''G'' (and therefore isomorphic to the standard torus T''n''). A maximal torus is one which is maximal among such subgroups. That is, ''T'' is a maximal torus if for any torus ''T''′ containing ''T'' we have ''T'' = ''T''′. Every torus is contained in a maximal torus simply by dimensional considerations. A noncompact Lie group need not have any nontrivial tori (e.g. R''n''). The dimension of a maximal torus in ''G'' is called the rank of ''G''. The rank is well-defined since all maximal tori turn out to be conjugate. For semisimple groups the rank is equal to the number of nodes in the associated Dynkin diagram. Examples The unitary group U(''n'') has as a maximal torus the subgroup of all diagonal matrices. That is, : T = \left\. ''T'' is clearl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjugation Of Isometries In Euclidean Space
In a group, the conjugate by ''g'' of ''h'' is ''ghg''−1. Translation If ''h'' is a translation, then its conjugation by an isometry can be described as applying the isometry to the translation: *the conjugation of a translation by a translation is the first translation *the conjugation of a translation by a rotation is a translation by a rotated translation vector *the conjugation of a translation by a reflection is a translation by a reflected translation vector Thus the conjugacy class within the Euclidean group ''E''(''n'') of a translation is the set of all translations by the same distance. The smallest subgroup of the Euclidean group containing all translations by a given distance is the set of ''all'' translations. So, this is the conjugate closure of a singleton containing a translation. Thus ''E''(''n'') is a direct product of the orthogonal group ''O''(''n'') and the subgroup of translations ''T'', and ''O''(''n'') is isomorphic with the quotient group of ''E''(''n'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
