|
Dicyclic Group
In group theory, a dicyclic group (notation Dic''n'' or Q4''n'', Coxeter&Moser: Generators and Relations for discrete groups: : Rl = Sm = Tn = RST) is a particular kind of non-abelian group of order 4''n'' (''n'' > 1). It is an extension of the cyclic group of order 2 by a cyclic group of order 2''n'', giving the name ''di-cyclic''. In the notation of exact sequences of groups, this extension can be expressed as: :1 \to C_ \to \mbox_n \to C_2 \to 1. \, More generally, given any finite abelian group with an order-2 element, one can define a dicyclic group. Definition For each integer ''n'' > 1, the dicyclic group Dic''n'' can be defined as the subgroup of the unit quaternions generated by :\begin a & = e^\frac = \cos\frac + i\sin\frac \\ x & = j \end More abstractly, one can define the dicyclic group Dic''n'' as the group with the following presentation :\operatorname_n = \left\langle a, x \mid a^ = 1,\ x^2 = a^n,\ x^ax = a^\right\rangle.\,\! Some things to note w ... [...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] |
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 fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quaternions And Spatial Rotation
unit vector, Unit quaternions, known as versor, ''versors'', provide a convenient mathematics, mathematical notation for representing spatial Orientation (geometry), orientations and rotations of elements in three dimensional space. Specifically, they encode information about an Axis–angle representation, axis-angle rotation about an arbitrary axis. Rotation and orientation quaternions have applications in computer graphics, Presented at SIGGRAPH '85. computer vision, robotics, navigation, molecular dynamics, flight dynamics, orbital mechanics of satellites, and Texture (crystalline), crystallographic texture analysis. When used to represent rotation, unit quaternions are also called rotation quaternions as they represent the 3D rotation group. When used to represent an Orientation (geometry), orientation (rotation relative to a reference coordinate system), they are called orientation quaternions or attitude quaternions. A spatial rotation around a fixed point of \theta radians ab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rotation Group SO(3)
In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space \R^3 under the operation of composition. By definition, a rotation about the origin is a transformation that preserves the origin, Euclidean distance (so it is an isometry), and orientation (i.e., ''handedness'' of space). Composing two rotations results in another rotation, every rotation has a unique inverse rotation, and the identity map satisfies the definition of a rotation. Owing to the above properties (along composite rotations' associative property), the set of all rotations is a group under composition. Every non-trivial rotation is determined by its axis of rotation (a line through the origin) and its angle of rotation. Rotations are not commutative (for example, rotating ''R'' 90° in the x-y plane followed by ''S'' 90° in the y-z plane is not the same as ''S'' followed by ''R''), making the 3D rotation grou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homomorphism
In algebra, a homomorphism is a morphism, structure-preserving map (mathematics), map between two algebraic structures of the same type (such as two group (mathematics), groups, two ring (mathematics), rings, or two vector spaces). The word ''homomorphism'' comes from the Ancient Greek language: () meaning "same" and () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German meaning "similar" to meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925). Homomorphisms of vector spaces are also called linear maps, and their study is the subject of linear algebra. The concept of homomorphism has been generalized, under the name of morphism, to many other structures that either do not have an underlying set, or are not algebraic. This generalization is the starting point of category theory. A homomorphism may also be an isomorphis ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Center Of A Group
In abstract algebra, the center of a group is the set of elements that commute with every element of . It is denoted , from German '' Zentrum,'' meaning ''center''. In set-builder notation, :. The center is a normal subgroup, Z(G)\triangleleft G, and also a characteristic subgroup, but is not necessarily fully characteristic. The quotient group, , is isomorphic to the inner automorphism group, . A group is abelian if and only if . At the other extreme, a group is said to be centerless if is trivial; i.e., consists only of the identity element. The elements of the center are central elements. As a subgroup The center of ''G'' is always a subgroup of . In particular: # contains the identity element of , because it commutes with every element of , by definition: , where is the identity; # If and are in , then so is , by associativity: for each ; i.e., is closed; # If is in , then so is as, for all in , commutes with : . Furthermore, the center of is alway ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Involution (mathematics)
In mathematics, an involution, involutory function, or self-inverse function is a function that is its own inverse, : for all in the domain of . Equivalently, applying twice produces the original value. General properties Any involution is a bijection. The identity map is a trivial example of an involution. Examples of nontrivial involutions include negation (), reciprocation (), and complex conjugation () in arithmetic; reflection, half-turn rotation, and circle inversion in geometry; complementation in set theory; and reciprocal ciphers such as the ROT13 transformation and the Beaufort polyalphabetic cipher. The composition of two involutions and is an involution if and only if they commute: . Involutions on finite sets The number of involutions, including the identity involution, on a set with elements is given by a recurrence relation found by Heinrich August Rothe in 1800: : a_0 = a_1 = 1 and a_n = a_ + (n - 1)a_ for n > 1. The first few terms of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semidirect Product
In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. It is usually denoted with the symbol . There are two closely related concepts of semidirect product: * an ''inner'' semidirect product is a particular way in which a group can be made up of two subgroups, one of which is a normal subgroup. * an ''outer'' semidirect product is a way to construct a new group from two given groups by using the Cartesian product as a set and a particular multiplication operation. As with direct products, there is a natural equivalence between inner and outer semidirect products, and both are commonly referred to simply as ''semidirect products''. For finite groups, the Schur–Zassenhaus theorem provides a sufficient condition for the existence of a decomposition as a semidirect product (also known as splitting extension). Inner semidirect product definitions Given a group with identity element , a subgroup , and a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dihedral Group
In mathematics, a dihedral group is the group (mathematics), group of symmetry, symmetries of a regular polygon, which includes rotational symmetry, rotations and reflection symmetry, reflections. Dihedral groups are among the simplest examples of finite groups, and they play an important role in group theory, geometry, and chemistry. The notation for the dihedral group differs in geometry and abstract algebra. In geometry, or refers to the symmetries of the n-gon, -gon, a group of order . In abstract algebra, refers to this same dihedral group. This article uses the geometric convention, . Definition The word "dihedral" comes from "di-" and "-hedron". The latter comes from the Greek word hédra, which means "face of a geometrical solid". Overall it thus refers to the two faces of a polygon. Elements A regular polygon with n sides has 2n different symmetries: n rotational symmetry, rotational symmetries and n reflection symmetry, reflection symmetries. Usually, we take n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Binary Cyclic Group
In mathematics, the binary cyclic group of the ''n''-gon is the cyclic group of order 2''n'', C_, thought of as an extension of the cyclic group C_n by a cyclic group of order 2. Coxeter writes the ''binary cyclic group'' with angle-brackets, ⟨''n''⟩, and the index 2 subgroup as (''n'') or 'n''sup>+. It is the binary polyhedral group corresponding to the cyclic group.. In terms of binary polyhedral groups, the binary cyclic group is the preimage of the cyclic group of rotations (C_n < \operatorname(3)) under the 2:1 covering homomorphism : of the by the |
Spin Group
In mathematics the spin group, denoted Spin(''n''), page 15 is a Lie group whose underlying manifold is the double cover of the special orthogonal group , such that there exists a short exact sequence of Lie groups (when ) :1 \to \mathbb_2 \to \operatorname(n) \to \operatorname(n) \to 1. The group multiplication law on the double cover is given by lifting the multiplication on \operatorname(n). As a Lie group, Spin(''n'') therefore shares its dimension, , and its Lie algebra with the special orthogonal group. For , Spin(''n'') is simply connected and so coincides with the universal cover of SO(''n''). The non-trivial element of the kernel is denoted −1, which should not be confused with the orthogonal transform of reflection through the origin, generally denoted −. Spin(''n'') can be constructed as a subgroup of the invertible elements in the Clifford algebra Cl(''n''). A distinct article discusses the spin representations. Use for physics models The spin group is use ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pin Group
In mathematics, the pin group is a certain subgroup of the Clifford algebra associated to a quadratic space. It maps 2-to-1 to the orthogonal group, just as the spin group maps 2-to-1 to the special orthogonal group. In general the map from the Pin group to the orthogonal group is ''not'' surjective or a universal covering space, but if the quadratic form is definite (and dimension is greater than 2), it is both. The non-trivial element of the kernel is denoted -1, which should not be confused with the orthogonal transform of reflection through the origin, generally denoted -I. General definition Let V be a vector space with a non-degenerate quadratic form Q. The pin group \operatorname(V, Q) is the subset of the Clifford algebra \operatorname(V, Q) consisting of elements of the form v_1 v_2 \cdots v_k, where the v_i are vectors such that Q(v_i) = \pm 1. The spin group \operatorname(V, Q) is defined similarly, but with k restricted to be even; it is a subgroup of the pin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
