| For example, a homomorphism of topological groups is often required to be continuous. | Например, гомоморфизм топологических групп часто предполагается непрерывным. |
| In general, S is an antihomomorphism, so S2 is a homomorphism, which is therefore an automorphism if S was invertible (as may be required). | Вообще говоря, S - антигомоморфизм, так S2 - гомоморфизм, который является поэтому автоморфизмом, если S было обратимо (как может требоваться). |
| In other words, if a graph H can be colored with k colors, and there is a homomorphism from G to H, then G can also be k-colored. | Другими словами, если граф Н может быть выкрашен в к цветов и существует гомоморфизм G в H, то G может быть также выкрашен в k цветов. |
| By combining these two results, it may be shown that every triangle-free planar graph has a homomorphism to a triangle-free 3-colorable graph, the tensor product of K3 with the Clebsch graph. | Путём комбинации этих двух результатов можно показать, что любой свободный от треугольников планарный граф имеет гомоморфизм в свободный от треугольников в раскрашиваемый в З цвета граф, тензорное произведение КЗ с графом Клебша. |
| In the graph homomorphism problem, an instance is a pair of graphs (G, H) and a solution is a homomorphism from G to H. The general decision problem, asking whether there is any solution, is NP-complete. | В задаче о гомоморфизме графа экземпляр задачи состоит из пары графов (G, H), а решением является гомоморфизм из G в H. Общая задача разрешимости, спрашивающая, имеется ли решение этой задачи, NP-полна. |
| Now one has to check that d is well-defined (i.e., d(x) only depends on x and not on the choice of y), that it is a homomorphism, and that the resulting long sequence is indeed exact. | Остаётся проверить, что d корректно определён (то есть d(x) зависит только от x, а не от выбора y), что он является гомоморфизмом, и что получившаяся последовательность является точной. |
| The relations imply that the universal derivation is a homomorphism of R-modules. | Из соотношений следует, что универсальное дифференцирование является гомоморфизмом R {\displaystyle R} -модулей. |
| Thus, a k-coloring of an undirected graph G may be described by a homomorphism from G to the complete graph Kk. | Тогда к-раскраска неориентированного графа G может быть описана гомоморфизмом графа G в полный граф Kk. |
| As with other universal properties, this means that d is the best possible derivation in the sense that any other derivation may be obtained from it by composition with an S-module homomorphism. | Как и с другими универсальными свойствами, это значит, что d - это наилучшее возможное дифференцирование, в том смысле, что любое другое дифференцирование может быть получено из него при помощи композиции с гомоморфизмом S {\displaystyle S} -модулей. |
| The conditions on φ can be rephrased as saying that φ is a ring homomorphism from the cobordism ring of manifolds (with additional structure) to another ring. | Условия на φ можно переформулировать, сказав, что φ является гомоморфизмом кольца кобордизмов многообразий (с учётом структуры) в другое кольцо. |
| This is because every undirected graph can be thought of as a directed graph where every arc (u, v) appears together with its inverse arc (v, u), and this does not change the definition of homomorphism. | Это потому, что любой неориентированный граф можно рассматривать как ориентированный, в котором любая дуга (u, v) появляется вместе с обратной дугой (v, u), а это не меняет определение гомоморфизма. |
| Let a be a root of f; we can then form the ring Z. There is a unique ring homomorphism φ from Z to Z/nZ that maps a to m. | Пусть а корень f; тогда существует кольцо Z. Тогда существует единственное кольцо гомоморфизма (англ.) φ между Z и Z/nZ, которое отображает a в m. |
| For each such pair, we can apply the ring homomorphism φ to the factorization of a+ba, and we can apply the canonical ring homomorphism from Z to Z/nZ to the factorization of a+bm. | Для каждой такой пары чисел (а, Ь) мы можем применить кольцо гомоморфизма φ для факторизации a+ba и каноническое кольцо гомоморфизма от Z до Z/nZ для факторизации a+bm. |
| The coloring of the graph may then be recovered by composing this homomorphism with the homomorphism from this tensor product to its K3 factor. | Раскраска графа может быть тогда получена путём суперпозиции этого гомоморфизма с гомоморфизмом из их тензорного произведения в их КЗ множитель. |
| An equivalent definition of group homomorphism is: The function h: G -> H is a group homomorphism if whenever a b = c we have h(a) ⋅ h(b) = h(c). | Эквивалентное определение гомоморфизма группы: Функция h: G -> H является гомоморфизмом группы, если из a b = c следует h(a) ⋅ h(b) = h(c). |
| The homomorphism problem with a fixed graph H on the right side of each instance is also called the H-coloring problem. | Задача о гомоморфизме с фиксированным графом Н с правой стороны каждого экземпляра называется задачей Н-раскраски. |
| In the language of parameterized complexity, this formally states that the homomorphism problem in G {\displaystyle {\mathcal {G}}} parameterized by the size (number of edges) of G exhibits a dichotomy. | На языке параметризованной сложности это утверждение формально гласит, что задача о гомоморфизме с графом G {\displaystyle {\mathcal {G}}}, параметризованная по размеру (числу рёбер) графа G, показывает дихотомию. |
| For a graph G of treewidth at most k and a graph H, the homomorphism problem can be solved in time |V(H)|O(k) with a standard dynamic programming approach. | Для графа G с древесной шириной, не превосходящей k, и графа H задача о гомоморфизме может быть решена за время|V(H)|O(k) стандартными методами динамического программирования. |
| In the graph homomorphism problem, an instance is a pair of graphs (G, H) and a solution is a homomorphism from G to H. The general decision problem, asking whether there is any solution, is NP-complete. | В задаче о гомоморфизме графа экземпляр задачи состоит из пары графов (G, H), а решением является гомоморфизм из G в H. Общая задача разрешимости, спрашивающая, имеется ли решение этой задачи, NP-полна. |