A significant result in modern [[transcendence theory]], a generalisation of [[Baker's theorem]] on linear forms in logarithms.
...ic numbers if and only if there is a non-trivial [[analytic subgroup]] $H$ of $G$' defined over a number field such that $H(\mathbb{C})$ is contained in
21 KB (3,255 words) - 17:39, 6 November 2016
...m. The local classification problem is to describe the equivalence classes of local dynamical systems, providing, if possible, the simplest or most conve
...e field (map). This hope is partly justified, see [[Algebraic decidability of local classification problems]].
37 KB (5,881 words) - 19:03, 29 July 2024
...t which locally has the structure (topological, smooth, homological, etc.) of $ \mathbf R ^ {n} $
...allowing local parametrization (see below); for example, the set of planes of dimension $ k $
30 KB (4,462 words) - 07:59, 6 June 2020
...ebra, topology forms a general foundation of mathematics, and promotes its unity.
...th of the class of geometric objects that fall within the sphere of action of its laws.
38 KB (5,626 words) - 17:15, 20 March 2018
Out of 514 formulas, 496 were replaced by TEX code.-->
...> 2$, and non-trivial scalar conformal invariants have been the subject of much recent work, sketched below. One can also extend the definition to inc
40 KB (5,895 words) - 17:45, 1 July 2020
A very flexible geometric construction aimed to represent a family of similar objects (''fibres'' or ''fibers'', depending on the preferred spell
...of a smooth manifold. The [[covering]]s are also a special particular form of a topological bundle (with discrete fibers).
32 KB (5,299 words) - 12:27, 12 December 2020
...Lie type'' if it can be obtained as a central [[Quotient group|quotient]] of a finite reductive group.
...n(q))$, where $Z(\SL_n(q))$ is the centre of $\SL_n(q)$, is a finite group of Lie type called the projective special linear group. This group is a [[Simp
48 KB (8,458 words) - 18:22, 13 August 2023