| In algebra a monomorphism is an injective homomorphism. | В алгебре мономорфизм - это инъективный гомоморфизм. |
| Naserasr showed that every triangle-free planar graph also has a homomorphism to the Clebsch graph, a 4-chromatic graph. | Насераср показал, что любой свободный от треугольников планарный граф также имеет гомоморфизм в граф Клебша, 4-хроматический граф. |
| These are the graphs K such that a product G× H has a homomorphism to K only when one of G or H also does. | Это графы К, такие что произведение G× H {\displaystyle G\times H} имеет гомоморфизм в K только тогда, когда один из графов G или H имеет такой гомоморфизм. |
| 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 fact the Witt polynomials always give a homomorphism from the ring of Witt vectors to R N {\displaystyle R^{\mathbb {N}}}, and if p is invertible this homomorphism is an isomorphism. | Фактически, многочлены Витта всегда дают гомоморфизм из кольца векторов Витта в R N {\displaystyle R^{N}}, и, если p - обратимо, этот гомоморфизм является изоморфизмом. |
| The last two staments correspond to the requirement that D is a group homomorphism. | Последние два утверждения соответствуют требованию, чтобы D было гомоморфизмом групп. |
| In general, the trace is not a group homomorphism, nor does the set of traces form a group. | Вообще говоря, след не является гомоморфизмом, а множество следов не образует группы. |
| 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), что он является гомоморфизмом, и что получившаяся последовательность является точной. |
| 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 purpose of defining a group homomorphism is to create functions that preserve the algebraic structure. | Цель определения гомоморфизма группы - создать функции, сохраняющие алгебраическую структуру. |
| The computational complexity of finding a homomorphism between given graphs is prohibitive in general, but a lot is known about special cases that are solvable in polynomial time. | Вычислительная сложность поиска гомоморфизма между заданными графами в общем случае запредельная, но известно много частных случаев, когда задача выполнима за полиномиальное время. |
| 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 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-полна. |