| The theorem was stated earlier in terms of projective configurations and was proven by Ernst Steinitz. | Теорема сформулирована ранее в терминах проективных конфигураций и доказана Эрнстом Штайницем. |
| Once that is done, the theorem is proven for abelian groups or modules over a ring. | Если это сделать, теорема будет доказана для абелевых групп или для модулей над кольцом. |
| Arnold, V. I. Abel's Theorem in Problems and Solutions. | Алексеев В. Б. Теорема Абеля в задачах и решениях. |
| The generalization to n dimensions is sometimes referred to as the Soddy-Gosset theorem, even though it was shown by R. Lachlan in 1886. | Обобщение для n-мерного пространства иногда упоминается как теорема Содди-Госсе, хотя это сделано уже в 1886 Лахланом (R. Lachlan). |
| In graph theory, the Heawood conjecture or Ringel-Youngs theorem gives a lower bound for the number of colors that are necessary for graph coloring on a surface of a given genus. | Гипотеза Хивуда, или теорема Рингеля - Янгса даёт нижнюю границу для числа цветов, которые необходимы для раскраски графа на поверхности с заданным родом. |
| The Robertson-Seymour theorem is named after mathematicians Neil Robertson and Paul D. Seymour, who proved it in a series of twenty papers spanning over 500 pages from 1983 to 2004. | Теорема Робертсона - Сеймура названа именами математиков Нейла Робертсона и Пола Сеймура, которые доказали её в серии из двадцати статей общим объёмом в 500 страниц, вышедших с 1983 по 2004 годы. |
| 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-элементные матроиды. |
| This was one of the earliest results in the theory of graph minors and can be seen as a forerunner of the Robertson-Seymour theorem. | Теорема была одной из наиболее ранних работ в теории миноров графа и её можно рассматривать как предшественницу теоремы Робертсона - Сеймура. |
| Forbidden minors have also been studied for matroid branchwidth, despite the lack of a full analogue to the Robertson-Seymour theorem in this case. | Запрещённые миноры изучаются также для ширины ветвления матроида, вопреки отсутствия полной аналогии теоремы Робертсона - Сеймура в этом случае. |
| Two nice theorems in this direction are Jaeger's 4-flow theorem (every 4-edge-connected graph has a nowhere-zero 4-flow) and Seymour's 6-flow theorem (every bridgeless graph has a nowhere-zero 6-flow). | Две элегантные теоремы в этом направлении - теорема Джагера о 4-потоке (любой рёберно 4-связный граф имеет нигде не нулевой 4-поток) и теорема Сеймура о 6-потоке (любой граф без мостов имеет нигде не нулевой 6-поток). |
| 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. | Теорема де Брёйна - Эрдёша также применима прямо к задачам раскраски гиперграфов, где требуется, чтобы каждое гиперребро имело вершины более одного цвета. |
| The De Bruijn-Erdős theorem shows that, for this problem, there exists a finite unit distance graph with the same chromatic number as the whole plane, so if the chromatic number is greater than five then this fact can be proved by a finite calculation. | Теорема де Брёйна - Эрдёша показывает, что для этой задачи существует конечный граф единичных расстояний с тем же хроматическим числом, что и вся плоскость целиком, так что если хроматическое число больше четырёх, то этот факт может быть доказан конечными вычислениями. |
| Elekes and Csaba Toth noted that the Erdős-Beck theorem does not easily extend to higher dimensions. | Элекеш и Чаба Тоз заметили, что теорема Эрдёша - Бека не распространяется легко на более высокие размерности. |
| The De Bruijn-Erdős theorem may also be used to extend Dilworth's theorem from finite to infinite partially ordered sets. | Теорема де Брёйна - Эрдёша может быть использована также для расширения теоремы Дилуорса от конечного варианта к бесконечным частично упорядоченным множествам. |
| 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. | Теорема применяется для расширения задачи четырёх красок и теоремы Дилуорса для конечных графов и множеств с частичным порядком до бесконечных вариантов, сведения задачи Нельсона - Эрдёша - Хадвигера о хроматическом числе плоскости к задачам на конечных графах. |
| Hall (2015, Theorem 4.34 and following discussion.) | Hall, 2015, с. Theorem 4.34 и последующее обсуждение. |
| It is a specific instance of the far more general shape discussed in Blaise Pascal's 1639 Hexagrammum Mysticum Theorem. | Уникурсальная гексаграмма является специфичным видом более общей формы, которую обсуждал Блез Паскаль в теореме 1639-го года Hexagrammum Mysticum Theorem. |
| 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. |
| Actually, his proof of the Riemann-Roch theorem works for arbitrary perfect base fields, not necessarily finite. | Фактически, его доказательство теоремы Римана - Роха работает для произвольных совершенных базовых полей, не обязательно конечных. |
| Yoga of the Grothendieck-Riemann-Roch theorem (K-theory, relation with intersection theory). | «Йога» Римана - Роха - Гротендика (К {\displaystyle K} -теория, связь с теорией пересечений). |
| The earliest forms of the Riemann-Roch theorem for surfaces were often stated as an inequality rather than an equality, because there was no direct geometric description of first cohomology groups. | Наиболее ранние формы теоремы Римана - Роха для поверхностей часто формулировались в виде неравенств, а не равенств, поскольку не было прямого геометрического описания групп первой когомологии. |
| The dimension of the moduli space, called Teichmüller space in this case, is computed as 3g - 3, by the Riemann-Roch theorem. | Размерность пространства модулей, называемого в данном случае пространством Тайхмюллера, равна 3g - 3 по теореме Римана - Роха. |
| His work reinterprets Riemann-Roch not as a theorem about a variety, but about a morphism between two varieties. | Его работа даёт другое толкование теоремы Римана - Роха, не как теоремы о многообразии, а как теоремы о морфизме между двумя многообразиями. |