| In algebra a monomorphism is an injective homomorphism. | В алгебре мономорфизм - это инъективный гомоморфизм. |
| 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 было обратимо (как может требоваться). |
| 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 имеет такой гомоморфизм. |
| 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. | Путём комбинации этих двух результатов можно показать, что любой свободный от треугольников планарный граф имеет гомоморфизм в свободный от треугольников в раскрашиваемый в З цвета граф, тензорное произведение КЗ с графом Клебша. |
| A semigroup homomorphism is a function that preserves semigroup structure. | Гомоморфизм полугрупп - это отображение, сохраняющее структуру полугруппы. |
| An oriented coloring of a directed graph is a homomorphism into any oriented graph. | Ориентированная раскраска ориентированного графа является гомоморфизмом в любой ориентированный граф. |
| The map h: Z -> Z/3Z with h(u) = u mod 3 is a group homomorphism. | Отображение h: Z -> Z/3Z с h(u) = u mod 3 является гомоморфизмом. |
| In general, the trace is not a group homomorphism, nor does the set of traces form a group. | Вообще говоря, след не является гомоморфизмом, а множество следов не образует группы. |
| 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. | Это эквивалентно вышеприведенному понятию, поскольку любой плотный морфизм между двумя абелевыми многообразиями одной и той же размерности является автоматически сюръективным и имеет конечные слои, а если он сохраняет единицы, то он является гомоморфизмом групп. |
| 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 purpose of defining a group homomorphism is to create functions that preserve the algebraic structure. | Цель определения гомоморфизма группы - создать функции, сохраняющие алгебраическую структуру. |
| In general, the question of finding a homomorphism from one relational structure to another is a constraint satisfaction problem (CSP). | В общем случае вопрос поиска гомоморфизма из одной структуры в другую является задачей удовлетворения ограничений (англ. constraint satisfaction problem, CSP). |
| 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), а это не меняет определение гомоморфизма. |
| 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 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-полна. |