| In the language of homomorphisms, Grötzsch's theorem states that every triangle-free planar graph has a homomorphism to K3. | На языке гомоморфизмов теорема Грёча утверждает, что любой свободный от треугольников планарный граф имеет гомоморфизм графу КЗ. |
| More precisely, it is graph homomorphism φ from G to itself such that φ(v) = v for each vertex v in the subgraph φ(G). | Точнее, это гомоморфизм φ из G в себя, в котором φ(v) = v для каждой вершины v в подграфе φ(G). |
| An L(2,1)-coloring is a homomorphism into the complement of the path graph that is locally injective, meaning it is required to be injective on the neighbourhood of every vertex. | L(2,1)-раскраска - это локально инъективный гомоморфизм в дополнение пути, что означает, что он должен быть инъективным в окрестности каждой вершины. |
| Graph C {\displaystyle C} is a core if every homomorphism f: C -> C {\displaystyle f:C\to C} is an isomorphism, that is it is a bijection of vertices of C {\displaystyle C}. | Граф С {\displaystyle C} является ядром, если любой гомоморфизм f: C -> C {\displaystyle f:C\to C} является изоморфизмом, то есть, это биекция вершин C {\displaystyle C}. |
| In areas of mathematics where one considers groups endowed with additional structure, a homomorphism sometimes means a map which respects not only the group structure (as above) but also the extra structure. | В областях математики, где группы снабжаются дополнительными структурами, гомоморфизм иногда понимается как отображение, сохраняющее не только структуру группы (как выше), но и дополнительную структуру. |
| A 3-coloring of a graph G may be described by a graph homomorphism from G to a triangle K3. | Раскраска в З цвета графа G может быть описана гомоморфизмом графов из G в треугольник K3. |
| 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} -модулей. |
| This is equivalent to the above notion, as every dense morphism between two abelian varieties of the same dimension is automatically surjective with finite fibres, and if it preserves identities then it is a homomorphism of groups. | Это эквивалентно вышеприведенному понятию, поскольку любой плотный морфизм между двумя абелевыми многообразиями одной и той же размерности является автоматически сюръективным и имеет конечные слои, а если он сохраняет единицы, то он является гомоморфизмом групп. |
| The coloring of the graph may then be recovered by composing this homomorphism with the homomorphism from this tensor product to its K3 factor. | Раскраска графа может быть тогда получена путём суперпозиции этого гомоморфизма с гомоморфизмом из их тензорного произведения в их КЗ множитель. |
| In general, the question of finding a homomorphism from one relational structure to another is a constraint satisfaction problem (CSP). | В общем случае вопрос поиска гомоморфизма из одной структуры в другую является задачей удовлетворения ограничений (англ. constraint satisfaction problem, CSP). |
| 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. | Раскраска графа может быть тогда получена путём суперпозиции этого гомоморфизма с гомоморфизмом из их тензорного произведения в их КЗ множитель. |
| The important statement of the lemma is that a connecting homomorphism d exists which completes the exact sequence. | Важная часть утверждения леммы состоит в существоании связывающего гомоморфизма d, включающегося в точную последовательность. |
| 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-полна. |