| The Kodaira vanishing theorem is an important explicit result. | Теорема Кодайра о занулении является важным явным результатом. |
| The Hall-Higman theorem is sharper for groups of odd order. | Теорема Холла - Хигмана сильнее для групп нечётного порядка. |
| Soon after arriving at Göttingen, however, she demonstrated her capabilities by proving the theorem now known as Noether's theorem, which shows that a conservation law is associated with any differentiable symmetry of a physical system. | Вскоре после прибытия в Гёттинген Нётер продемонстрировала свои способности, доказав теорему, известную теперь как теорема Нётер, связывающую некоторый закон сохранения с каждой дифференцируемой симметрией физической системы. |
| The theory of real closed fields is effective and complete and therefore decidable (the Tarski-Seidenberg theorem). | Несмотря на это, теория вещественно замкнутых полей со сложением, умножением и отношением порядка является полной (теорема Тарского - Зайденберга). |
| But, if Fermat's last theorem were false for the exponent n = 4 {\displaystyle n=4}, then squaring one of the three numbers in any counterexample would also give three numbers that solve this equation. | Но если бы великая теорема Ферма не была бы верна для экспоненты n = 4 {\displaystyle n=4}, то любой контрпример был бы теми самыми тремя квадратами, которые удовлетворяют уравнению. |
| The Robertson-Seymour theorem has an important consequence in computational complexity, due to the proof by Robertson and Seymour that, for each fixed graph G, there is a polynomial time algorithm for testing whether larger graphs have G as a minor. | Теорема Робертсона - Сеймура имеет важное следствие в теории вычислительной сложности, поскольку Робертсон и Сеймур доказали, что для каждого фиксированного графа G существует алгоритм полиномиального времени для проверки, имеет ли больший граф G в качестве минора. |
| Although the Robertson-Seymour theorem extends these results to arbitrary minor-closed graph families, it is not a complete substitute for these results, because it does not provide an explicit description of the obstruction set for any family. | Хотя теорема Робертсона - Сеймура распространяет эти результаты на произвольные замкнутые по минорам семейства графов, она не подменяет эти результаты, поскольку не даёт явного описания препятствующего множества для любого семейства. |
| Notably, Seymour's decomposition theorem characterizes the regular matroids (the matroids representable by totally unimodular matrices) as the 3-sums of graphic matroids (the matroids representing spanning trees in a graph), cographic matroids, and a certain 10-element matroid. | Теорема разложения Сеймура описывает регулярные матроиды (матроиды, представляющие вполне унимодулярные матрицы) как З-суммы графических матроидов (матроиды, представляющие остовные деревья), кографические матроиды и некоторые 10-элементные матроиды. |
| Therefore, according to the Robertson-Seymour theorem, they can be characterized by a finite number of forbidden minors. | Таким образом, согласно теореме Робертсона - Сеймура, они могут быть охарактеризованы конечным числом запрещённых миноров. |
| Forbidden minors have also been studied for matroid branchwidth, despite the lack of a full analogue to the Robertson-Seymour theorem in this case. | Запрещённые миноры изучаются также для ширины ветвления матроида, вопреки отсутствия полной аналогии теоремы Робертсона - Сеймура в этом случае. |
| The De Bruijn-Erdős theorem also applies directly to hypergraph coloring problems, where one requires that each hyperedge have vertices of more than one color. | Теорема де Брёйна - Эрдёша также применима прямо к задачам раскраски гиперграфов, где требуется, чтобы каждое гиперребро имело вершины более одного цвета. |
| G is finite (this is the de Bruijn-Erdős theorem of de Bruijn & Erdős 1951). δ(G) >= k - 1, that is, every vertex is adjacent to at least k - 1 others. | G конечен (теорема де Брёйна - Эрдёша). δ(G) >= k - 1, то есть любая вершина смежна по меньшей мере k - 1 другим вершинам. |
| The De Bruijn-Erdős theorem may also be used to extend Dilworth's theorem from finite to infinite partially ordered sets. | Теорема де Брёйна - Эрдёша может быть использована также для расширения теоремы Дилуорса от конечного варианта к бесконечным частично упорядоченным множествам. |
| For this connection between Rado's lemma and the De Bruijn-Erdős theorem, see e.g. the discussion following Theorem A of Nash-Williams (1967). | Для связи леммы Радо и теоремы де Брёйна - Эрдёша см. обсуждение после теоремы А у Нэша-Вилльямса (Nash-Williams 1967). |
| Its applications include extending the four-color theorem and Dilworth's theorem from finite graphs and partially ordered sets to infinite ones, and reducing the Hadwiger-Nelson problem on the chromatic number of the plane to a problem about finite graphs. | Теорема применяется для расширения задачи четырёх красок и теоремы Дилуорса для конечных графов и множеств с частичным порядком до бесконечных вариантов, сведения задачи Нельсона - Эрдёша - Хадвигера о хроматическом числе плоскости к задачам на конечных графах. |
| A proof of this fact can be found in (Hörmander 1990, pp. 25), Theorem 1.4.1. | Доказательство этого факта можно найти в статье Хёрмандера (Hörmander 1990, С. 25), Theorem 1.4.1. |
| Two of Kripke's earlier works, A Completeness Theorem in Modal Logic and Semantical Considerations on Modal Logic, the former written when he was a teenager, were on modal logic. | Две первые работы Крипке - А Completeness Theorem in Modal Logic и Semantical Considerations on Modal Logic (написанная еще в школе) - посвящены модальной логике. |
| This is due to the alternate segment theorem, which states that the angle between the tangent and chord equals the angle in the alternate segment. | Это связано с теоремой об отрезке круга, дополнительном данному (the alternate segment theorem,), в которой говорится, что угол между касательной и хордой равен вписанному в окружность углу, опирающемуся на эту хорду. |
| The tweakable narrow-block encryption (LRW) is an instantiation of the mode of operations introduced by Liskov, Rivest, and Wagner (see Theorem 2). | Настраиваемое узкоблочное шифрование (LRW) представляет собой экземпляр режима операций, введенного Лисковым, Ривестом и Вагнером (see Theorem 2). |
| If r < n, then it is possible to append n - r rows to an r× n Latin rectangle to form a Latin square, using Hall's marriage theorem. | Если г < n, то можно добавить n - r строк к латинскому прямоугольнику с размерами r× n, чтобы сформировать латинский квадрат, используя теорему Холла о свадьбах theorem. |
| For comparison, the Riemann-Roch theorem for a curve states that χ(D) = χ(0) + deg(D). | Для сравнения, теорема Римана - Роха для кривой утверждает, что χ (D) = χ (0) + d e g (D) {\displaystyle \chi (D)=\chi (0)+deg(D)}. |
| Alexander Grothendieck proved a far-reaching generalization in 1957, now known as the Grothendieck-Riemann-Roch theorem. | Александр Гротендик доказал далеко идущее обобщение в 1957 году, известное сейчас как теорема Гротендика - Римана - Роха. |
| The Riemann-Roch theorem is an important theorem in mathematics, specifically in complex analysis and algebraic geometry, for the computation of the dimension of the space of meromorphic functions with prescribed zeroes and allowed poles. | Теорема Римана - Роха - это важная теорема математики, особенно в комплексном анализе и алгебраической геометрии, помогающая в вычислении размерности пространства мероморфных функций с предписанными нулями и разрешёнными полюсами. |
| Many earlier results such as the Riemann-Roch theorem and the Hodge theorem have been generalized or understood better using sheaf cohomology. | Многие более ранние результаты, такие как теорема Римана - Роха и теорема Ходжа были обобщены и лучше поняты благадаря когомологиям пучков. |
| For surfaces, the Hirzebruch-Riemann-Roch theorem is essentially the Riemann-Roch theorem for surfaces combined with the Noether formula. | Для поверхностей Теорема Хирцебруха - Римана - Роха, по существу, является теоремой Римана - Роха для поверхностей, скомбинированной с формулй Нётера. |