Cyclic groupIn group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted Cn, that is generated by a single element. That is, it is a set of invertible elements with a single associative binary operation, and it contains an element g such that every other element of the group may be obtained by repeatedly applying the group operation to g or its inverse. Each element can be written as an integer power of g in multiplicative notation, or as an integer multiple of g in additive notation.
Topological manifoldIn topology, a branch of mathematics, a topological manifold is a topological space that locally resembles real n-dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout mathematics. All manifolds are topological manifolds by definition. Other types of manifolds are formed by adding structure to a topological manifold (e.g. differentiable manifolds are topological manifolds equipped with a differential structure).
HolonomyIn differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. For flat connections, the associated holonomy is a type of monodromy and is an inherently global notion. For curved connections, holonomy has nontrivial local and global features. Any kind of connection on a manifold gives rise, through its parallel transport maps, to some notion of holonomy.
Dicyclic groupIn group theory, a dicyclic group (notation Dicn or Q4n, ) is a particular kind of non-abelian group of order 4n (n > 1). It is an extension of the cyclic group of order 2 by a cyclic group of order 2n, giving the name di-cyclic. In the notation of exact sequences of groups, this extension can be expressed as: More generally, given any finite abelian group with an order-2 element, one can define a dicyclic group.
P-groupIn mathematics, specifically group theory, given a prime number p, a p-group is a group in which the order of every element is a power of p. That is, for each element g of a p-group G, there exists a nonnegative integer n such that the product of pn copies of g, and not fewer, is equal to the identity element. The orders of different elements may be different powers of p. Abelian p-groups are also called p-primary or simply primary. A finite group is a p-group if and only if its order (the number of its elements) is a power of p.
Complex conjugate of a vector spaceIn mathematics, the complex conjugate of a complex vector space is a complex vector space , which has the same elements and additive group structure as but whose scalar multiplication involves conjugation of the scalars. In other words, the scalar multiplication of satisfies where is the scalar multiplication of and is the scalar multiplication of The letter stands for a vector in is a complex number, and denotes the complex conjugate of More concretely, the complex conjugate vector space is the same underlying vector space (same set of points, same vector addition and real scalar multiplication) with the conjugate linear complex structure (different multiplication by ).
Complex conjugateIn mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, if and are real numbers then the complex conjugate of is The complex conjugate of is often denoted as or . In polar form, if and are real numbers then the conjugate of is This can be shown using Euler's formula. The product of a complex number and its conjugate is a real number: (or in polar coordinates).
Teichmüller spaceIn mathematics, the Teichmüller space of a (real) topological (or differential) surface , is a space that parametrizes complex structures on up to the action of homeomorphisms that are isotopic to the identity homeomorphism. Teichmüller spaces are named after Oswald Teichmüller. Each point in a Teichmüller space may be regarded as an isomorphism class of "marked" Riemann surfaces, where a "marking" is an isotopy class of homeomorphisms from to itself.
