| 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-хроматический граф. |
| 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)-раскраска - это локально инъективный гомоморфизм в дополнение пути, что означает, что он должен быть инъективным в окрестности каждой вершины. |
| 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 имеет такой гомоморфизм. |
| Such an isogeny f then provides a group homomorphism between the groups of k-valued points of A and B, for any field k over which f is defined. | Такая изогения f даёт гомоморфизм групп между группами k-значных точек многообразий A и B для любого поля k, над которым f определено. |
| The last two staments correspond to the requirement that D is a group homomorphism. | Последние два утверждения соответствуют требованию, чтобы D было гомоморфизмом групп. |
| 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. |
| The function mapping v0 and v1 in the cover to v in the original graph is a homomorphism and a covering map. | Функция, отображающая v0 и v1 в v исходного графа является гомоморфизмом и накрывыающим отображением. |
| 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 conditions on φ can be rephrased as saying that φ is a ring homomorphism from the cobordism ring of manifolds (with additional structure) to another ring. | Условия на φ можно переформулировать, сказав, что φ является гомоморфизмом кольца кобордизмов многообразий (с учётом структуры) в другое кольцо. |
| Constraint satisfaction problems, which generalize graph homomorphism problems, can express various additional types of conditions (such as individual preferences, or bounds on the number of coinciding assignments). | Задачи удовлетворения ограничений, которые обобщают задачи гомоморфизма графа, могут выражать дополнительные типы условий (такие как индивидуальные предпочтения или ограничения на число совпадающих назначений). |
| 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), а это не меняет определение гомоморфизма. |
| 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. |
| 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-полна. |