|
Spherical 3-manifold
In mathematics, a spherical 3-manifold ''M'' is a 3-manifold of the form :M=S^3/\Gamma where \Gamma is a finite subgroup of SO(4) acting freely by rotations on the 3-sphere S^3. All such manifolds are prime, orientable, and closed. Spherical 3-manifolds are sometimes called elliptic 3-manifolds or Clifford-Klein manifolds. Properties A spherical 3-manifold S^3/\Gamma has a finite fundamental group isomorphic to Γ itself. The elliptization conjecture, proved by Grigori Perelman, states that conversely all compact 3-manifolds with finite fundamental group are spherical manifolds. The fundamental group is either cyclic, or is a central extension of a dihedral, tetrahedral, octahedral, or icosahedral group by a cyclic group of even order. This divides the set of such manifolds into 5 classes, described in the following sections. The spherical manifolds are exactly the manifolds with spherical geometry, one of the 8 geometries of Thurston's geometrization conjecture. Cyclic ... [...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 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Octahedral Group
A regular octahedron has 24 rotational (or orientation-preserving) symmetries, and 48 symmetries altogether. These include transformations that combine a reflection and a rotation. A cube has the same set of symmetries, since it is the polyhedron that is dual to an octahedron. The group of orientation-preserving symmetries is ''S''4, the symmetric group or the group of permutations of four objects, since there is exactly one such symmetry for each permutation of the four diagonals of the cube. Details Chiral and full (or achiral) octahedral symmetry are the discrete point symmetries (or equivalently, symmetries on the sphere) with the largest symmetry groups compatible with translational symmetry. They are among the crystallographic point groups of the cubic crystal system. As the hyperoctahedral group of dimension 3 the full octahedral group is the wreath product S_2 \wr S_3 \simeq S_2^3 \rtimes S_3,and a natural way to identify its elements is as pairs (m, n) with m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quaternion Group
In group theory, the quaternion group Q8 (sometimes just denoted by Q) is a non-abelian group of order eight, isomorphic to the eight-element subset \ of the quaternions under multiplication. It is given by the group presentation :\mathrm_8 = \langle \bar,i,j,k \mid \bar^2 = e, \;i^2 = j^2 = k^2 = ijk = \bar \rangle , where ''e'' is the identity element and commutes with the other elements of the group. Another presentation of Q8 is :\mathrm_8 = \langle a,b \mid a^4 = e, a^2 = b^2, ba = a^b\rangle. Compared to dihedral group The quaternion group Q8 has the same order as the dihedral group D4, but a different structure, as shown by their Cayley and cycle graphs: In the diagrams for D4, the group elements are marked with their action on a letter F in the defining representation R2. The same cannot be done for Q8, since it has no faithful representation in R2 or R3. D4 can be realized as a subset of the split-quaternions in the same way that Q8 can be viewed as a s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
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 which ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dihedral Group
In mathematics, a dihedral group is the group of symmetries of a regular polygon, which includes rotations and 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 -gon, a group of order . In abstract algebra, refers to this same dihedral group. This article uses the geometric convention, . Definition Elements A regular polygon with n sides has 2n different symmetries: n rotational symmetries and n reflection symmetries. Usually, we take n \ge 3 here. The associated rotations and reflections make up the dihedral group \mathrm_n. If n is odd, each axis of symmetry connects the midpoint of one side to the opposite vertex. If n is even, there are n/2 axes of symmetry connecting the midpoints of opposite sides and n/2 axes of symmetry connecting ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Center (group Theory)
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, . As a subgroup, it is always characteristic, 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 sometimes called central. 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 alw ... [...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 thi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abelianization
In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group. The commutator subgroup is important because it is the smallest normal subgroup such that the quotient group of the original group by this subgroup is abelian. In other words, G/N is abelian if and only if N contains the commutator subgroup of G. So in some sense it provides a measure of how far the group is from being abelian; the larger the commutator subgroup is, the "less abelian" the group is. Commutators For elements g and h of a group ''G'', the commutator of g and h is ,h= g^h^gh. The commutator ,h/math> is equal to the identity element ''e'' if and only if gh = hg , that is, if and only if g and h commute. In general, gh = hg ,h/math>. However, the notation is somewhat arbitrary and there is a non-equivalent variant definition for the commutator that has the inverses on the right hand side of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Metacyclic Group
In group theory, a metacyclic group is an extension of a cyclic group by a cyclic group. That is, it is a group ''G'' for which there is a short exact sequence :1 \rightarrow K \rightarrow G \rightarrow H \rightarrow 1,\, where ''H'' and ''K'' are cyclic. Equivalently, a metacyclic group is a group ''G'' having a cyclic normal subgroup ''N'', such that the quotient ''G''/''N'' is also cyclic. Properties Metacyclic groups are both supersolvable and metabelian. Examples * Any cyclic group is metacyclic. * The direct product or semidirect product of two cyclic groups is metacyclic. These include the dihedral groups and the quasidihedral groups. * The dicyclic groups are metacyclic. (Note that a dicyclic group is not necessarily a semidirect product of two cyclic groups.) * Every finite group of squarefree order is metacyclic. * More generally every Z-group In mathematics, especially in the area of algebra known as group theory, the term Z-group refers to a number of distinct t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Seifert Fiber Space
A Seifert fiber space is a 3-manifold together with a decomposition as a disjoint union of circles. In other words, it is a S^1-bundle ( circle bundle) over a 2-dimensional orbifold. Many 3-manifolds are Seifert fiber spaces, and they account for all compact oriented manifolds in 6 of the 8 Thurston geometries of the geometrization conjecture. Definition A Seifert manifold is a closed 3-manifold together with a decomposition into a disjoint union of circles (called fibers) such that each fiber has a tubular neighborhood that forms a standard fibered torus. A standard fibered torus corresponding to a pair of coprime integers (a,b) with a>0 is the surface bundle of the automorphism of a disk given by rotation by an angle of 2\pi b/a (with the natural fibering by circles). If a=1 the middle fiber is called ordinary, while if a>1 the middle fiber is called exceptional. A compact Seifert fiber space has only a finite number of exceptional fibers. The set of fibers forms a 2-dimens ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphic
In the mathematical field of topology, a homeomorphism, topological isomorphism, or bicontinuous function is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. The word ''homeomorphism'' comes from the Greek words '' ὅμοιος'' (''homoios'') = similar or same and '' μορφή'' (''morphē'') = shape or form, introduced to mathematics by Henri Poincaré in 1895. Very roughly speaking, a topological space is a geometric object, and the homeomorphism is a continuous stretching and bending of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lens Space
A lens space is an example of a topological space, considered in mathematics. The term often refers to a specific class of 3-manifolds, but in general can be defined for higher dimensions. In the 3-manifold case, a lens space can be visualized as the result of gluing two solid tori together by a homeomorphism of their boundaries. Often the 3-sphere and S^2 \times S^1, both of which can be obtained as above, are not counted as they are considered trivial special cases. The three-dimensional lens spaces L(p,q) were introduced by Heinrich Tietze in 1908. They were the first known examples of 3-manifolds which were not determined by their homology and fundamental group alone, and the simplest examples of closed manifolds whose homeomorphism type is not determined by their homotopy type. J. W. Alexander in 1919 showed that the lens spaces L(5;1) and L(5;2) were not homeomorphic even though they have isomorphic fundamental groups and the same homology, though they do not have th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
_Side_View.png "Click for more on -> Lens Space")