Гомоморфизм

редактировать
Не путать с голоморфизмом или гомеоморфизмом.

В алгебре, А гомоморфизм является структура, сохраняющих отображение между двумя алгебраических структур одного и того же типа (например, в виде двух групп, два кольца, или двух векторных пространств ). Слово гомоморфизм происходит из древнегреческого языка : ὁμός ( гомос) означает «такой же» и μορφή ( морфе) означает «форма» или «форма». Однако это слово, по-видимому, было введено в математику из-за (неправильного) перевода немецкого ähnlich, означающего «подобный», на ὁμός, означающего «такой же». Термин «гомоморфизм» появился еще в 1892 году, когда его приписали немецкому математику Феликсу Клейну (1849–1925).

Гомоморфизмы векторных пространств также называются линейными отображениями, и их изучение является предметом линейной алгебры.

Понятие гомоморфизма было обобщено под названием морфизма на многие другие структуры, которые либо не имеют базового набора, либо не являются алгебраическими. Это обобщение является отправной точкой теории категорий.

Гомоморфизм также может быть изоморфизмом, эндоморфизмом, автоморфизмом и т. Д. (См. Ниже). Каждый из них может быть определен способом, который может быть обобщен на любой класс морфизмов.

СОДЕРЖАНИЕ
  • 1 Определение
  • 2 Примеры
  • 3 Специальные гомоморфизмы
    • 3.1 Изоморфизм
    • 3.2 Эндоморфизм
    • 3.3 Автоморфизм
    • 3.4 Мономорфизм
    • 3.5 Эпиморфизм
  • 4 Ядро
  • 5 Реляционные структуры
  • 6 Теория формального языка
  • 7 См. Также
  • 8 Примечания
  • 9 цитат
  • 10 Ссылки
Определение

Гомоморфизм - это отображение между двумя алгебраическими структурами одного типа (то есть с одним и тем же именем), которое сохраняет операции структур. Это означает карту между двумя наборами, снабженную одинаковой структурой, так что если это операция структуры (здесь для упрощения предполагается, что это бинарная операция ), то ж : А B {\ displaystyle f: от A \ до B} А {\ displaystyle A} B {\ displaystyle B} {\ displaystyle \ cdot}

ж ( Икс у ) знак равно ж ( Икс ) ж ( у ) {\ Displaystyle е (х \ cdot y) = е (х) \ cdot f (y)}

для каждой пары, элементов. Часто говорят, что сохраняет операцию или совместимо с операцией. Икс {\ displaystyle x} у {\ displaystyle y} А {\ displaystyle A} ж {\ displaystyle f}

Формально, карта сохраняет операцию по валентности к, определенную на обоих и если ж : А B {\ displaystyle f: от A \ до B} μ {\ displaystyle \ mu} А {\ displaystyle A} B {\ displaystyle B}

ж ( μ А ( а 1 , , а k ) ) знак равно μ B ( ж ( а 1 ) , , ж ( а k ) ) , {\ displaystyle f (\ mu _ {A} (a_ {1}, \ ldots, a_ {k})) = \ mu _ {B} (f (a_ {1}), \ ldots, f (a_ {k })),}

для всех элементов в. а 1 , . . . , а k {\ displaystyle a_ {1},..., a_ {k}} А {\ displaystyle A}

Операции, которые должны быть сохранены гомоморфизмом, включают 0-арные операции, то есть константы. В частности, когда элемент идентичности требуется типом структуры, элемент идентичности первой структуры должен быть отображен в соответствующий элемент идентичности второй структуры.

Например:

Алгебраическая структура может иметь более одной операции, и для сохранения каждой операции требуется гомоморфизм. Таким образом, отображение, сохраняющее только некоторые операции, не является гомоморфизмом структуры, а только гомоморфизмом подструктуры, полученной рассмотрением только сохраненных операций. Например, отображение между моноидами, которое сохраняет операцию моноида, а не единичный элемент, не является гомоморфизмом моноида, а только гомоморфизмом полугруппы.

Обозначения для операций не обязательно должны совпадать в источнике и цели гомоморфизма. Например, действительные числа образуют группу для сложения, а положительные действительные числа образуют группу для умножения. Экспоненциальная функция

Икс е Икс {\ Displaystyle х \ mapsto е ^ {х}}

удовлетворяет

е Икс + у знак равно е Икс е у , {\ Displaystyle е ^ {х + у} = е ^ {х} е ^ {у},}

и, таким образом, является гомоморфизмом между этими двумя группами. Это даже изоморфизм (см. Ниже), поскольку его обратная функция, натуральный логарифм, удовлетворяет

пер ( Икс у ) знак равно пер ( Икс ) + пер ( у ) , {\ Displaystyle \ пер (ху) = \ пер (х) + \ пер (у),}

и также является гомоморфизмом групп.

Примеры
Monoid гомоморфизм из моноида ( N, +, 0) к моноиду ( Н, х, 1), определяются. Это инъективно, но не сюръективно. ж {\ displaystyle f} ж ( Икс ) знак равно 2 Икс {\ Displaystyle е (х) = 2 ^ {х}}

В действительных числах являются кольцом, имеющим как сложения и умножения. Множество всех 2 × 2 матриц также кольцо, в соответствии с матрицей дополнения и умножением матриц. Если мы определим функцию между этими кольцами следующим образом:

ж ( р ) знак равно ( р 0 0 р ) {\ displaystyle f (r) = {\ begin {pmatrix} r amp; 0 \\ 0 amp; r \ end {pmatrix}}}

где r - действительное число, то f - гомоморфизм колец, поскольку f сохраняет оба сложения:

ж ( р + s ) знак равно ( р + s 0 0 р + s ) знак равно ( р 0 0 р ) + ( s 0 0 s ) знак равно ж ( р ) + ж ( s ) {\ displaystyle f (r + s) = {\ begin {pmatrix} r + s amp; 0 \\ 0 amp; r + s \ end {pmatrix}} = {\ begin {pmatrix} r amp; 0 \\ 0 amp; r \ end {pmatrix}} + {\ begin {pmatrix} s amp; 0 \\ 0 amp; s \ end {pmatrix}} = f (r) + f (s)}

и умножение:

ж ( р s ) знак равно ( р s 0 0 р s ) знак равно ( р 0 0 р ) ( s 0 0 s ) знак равно ж ( р ) ж ( s ) . {\ displaystyle f (rs) = {\ begin {pmatrix} rs amp; 0 \\ 0 amp; rs \ end {pmatrix}} = {\ begin {pmatrix} r amp; 0 \\ 0 amp; r \ end {pmatrix}} {\ begin {pmatrix} s amp; 0 \\ 0 amp; s \ end {pmatrix}} = f (r) \, f (s).}

В качестве другого примера ненулевые комплексные числа образуют группу при операции умножения, как и ненулевые действительные числа. (Ноль должен быть исключен из обеих групп, поскольку он не имеет мультипликативного обратного, что требуется для элементов группы.) Определите функцию от ненулевых комплексных чисел до ненулевых действительных чисел следующим образом: ж {\ displaystyle f}

ж ( z ) знак равно | z | . {\ Displaystyle f (z) = | z |.}

То есть это абсолютное значение (или модуль) комплексного числа. Тогда является гомоморфизмом групп, так как он сохраняет умножение: ж {\ displaystyle f} z {\ displaystyle z} ж {\ displaystyle f}

ж ( z 1 z 2 ) знак равно | z 1 z 2 | знак равно | z 1 | | z 2 | знак равно ж ( z 1 ) ж ( z 2 ) . {\ Displaystyle f (z_ {1} z_ {2}) = | z_ {1} z_ {2} | = | z_ {1} || z_ {2} | = f (z_ {1}) f (z_ { 2}).}

Обратите внимание, что f не может быть расширен до гомоморфизма колец (от комплексных чисел к действительным числам), поскольку он не сохраняет сложение:

| z 1 + z 2 | | z 1 | + | z 2 | . {\ Displaystyle | z_ {1} + z_ {2} | \ neq | z_ {1} | + | z_ {2} |.}

В качестве другого примера на диаграмме показан гомоморфизм моноида от моноида к моноиду. Из-за разных названий соответствующих операций, свойствам сохранения структуры удовлетворяют суммы до и. ж {\ displaystyle f} ( N , + , 0 ) {\ displaystyle (\ mathbb {N}, +, 0)} ( N , × , 1 ) {\ Displaystyle (\ mathbb {N}, \ раз, 1)} ж {\ displaystyle f} ж ( Икс + у ) знак равно ж ( Икс ) × ж ( у ) {\ Displaystyle е (х + у) = е (х) \ раз е (у)} ж ( 0 ) знак равно 1 {\ displaystyle f (0) = 1}

Композиционная алгебра над полем имеет квадратичную форму, называемую нормой,, которая представляет собой групповой гомоморфизм из мультипликативной группы из мультипликативной группы. А {\ displaystyle A} F {\ displaystyle F} N : А F {\ displaystyle N: от A \ до F} А {\ displaystyle A} F {\ displaystyle F}

Специальные гомоморфизмы

Некоторые виды гомоморфизмов имеют определенное имя, которое также определено для общих морфизмов.

Изоморфизм

Изоморфизм между алгебраических структур одного и того же типа обычно определяется как биективном гомоморфизм.

В более общем контексте теории категорий изоморфизм определяется как морфизм, имеющий обратный, который также является морфизмом. В конкретном случае алгебраических структур эти два определения эквивалентны, хотя они могут различаться для неалгебраических структур, которые имеют базовый набор.

Точнее, если

ж : А B {\ displaystyle f: от A \ до B}

является (гомо) морфизмом, он имеет обратный, если существует гомоморфизм

г : B А {\ displaystyle g: B \ to A}

такой, что

ж г знак равно Идентификатор B и г ж знак равно Идентификатор А . {\ displaystyle f \ circ g = \ operatorname {Id} _ {B} \ qquad {\ text {and}} \ qquad g \ circ f = \ operatorname {Id} _ {A}.}

Если и имеют базовые множества, и имеет обратный, то биективен. На самом деле, это инъективны как предполагает и является сюръективны, а для любого в, один есть, и есть образ элемента. А {\ displaystyle A} B {\ displaystyle B} ж : А B {\ displaystyle f: от A \ до B} г {\ displaystyle g} ж {\ displaystyle f} ж {\ displaystyle f} ж ( Икс ) знак равно ж ( у ) {\ Displaystyle е (х) = е (у)} Икс знак равно г ( ж ( Икс ) ) знак равно г ( ж ( у ) ) знак равно у {\ Displaystyle х = г (е (х)) = г (е (у)) = у} ж {\ displaystyle f} Икс {\ displaystyle x} B {\ displaystyle B} Икс знак равно ж ( г ( Икс ) ) {\ Displaystyle х = е (г (х))} Икс {\ displaystyle x} А {\ displaystyle A}

И наоборот, если это биективен гомоморфизм между алгебраических структур, пусть отображение, таким образом, что это единственный элемент из таких, что. Имеется и остается только показать, что g - гомоморфизм. Если это бинарная операция структуры, для каждой пары, из элементов, один имеет ж : А B {\ displaystyle f: от A \ до B} г : B А {\ displaystyle g: B \ to A} г ( у ) {\ displaystyle g (y)} Икс {\ displaystyle x} А {\ displaystyle A} ж ( Икс ) знак равно у {\ Displaystyle е (х) = у} ж г знак равно Идентификатор B  и  г ж знак равно Идентификатор А , {\ displaystyle f \ circ g = \ operatorname {Id} _ {B} {\ text {and}} g \ circ f = \ operatorname {Id} _ {A},} * {\ displaystyle *} Икс {\ displaystyle x} у {\ displaystyle y} B {\ displaystyle B}

г ( Икс * B у ) знак равно г ( ж ( г ( Икс ) ) * B ж ( г ( у ) ) ) знак равно г ( ж ( г ( Икс ) * А г ( у ) ) ) знак равно г ( Икс ) * А г ( у ) , {\ displaystyle g (x * _ {B} y) = g (f (g (x)) * _ {B} f (g (y))) = g (f (g (x) * _ {A}) g (y))) = g (x) * _ {A} g (y),}

и, таким образом, совместим с. Поскольку доказательство аналогично для любой арности, это показывает, что это гомоморфизм. г {\ displaystyle g} * . {\ displaystyle *.} г {\ displaystyle g}

Это доказательство не работает для неалгебраических структур. Например, для топологических пространств морфизм - это непрерывное отображение, а обратное к биективному непрерывному отображению не обязательно непрерывно. Изоморфизм топологических пространств, называемый гомеоморфизмом или бинепрерывным отображением, таким образом, является биективным непрерывным отображением, обратное к которому также непрерывно.

Эндоморфизм

Эндоморфизм гомоморфизм которого домен равна кообласть, или, более общо, морфизм источник которого равен цели.

Эндоморфизмы алгебраической структуры или объекта категории образуют моноид при композиции.

Эндоморфизмы векторного пространства или модуля образуют кольцо. В случае векторного пространства или свободного модуля конечной размерности выбор базиса индуцирует кольцевой изоморфизм между кольцом эндоморфизмов и кольцом квадратных матриц той же размерности.

Автоморфизм

Автоморфизм является эндоморфизме также является изоморфизмом.

Автоморфизмы алгебраической структуры или объекта категории образуют группу по композиции, которая называется группой автоморфизмов структуры.

Многие группы, получившие название, являются группами автоморфизмов некоторой алгебраической структуры. Например, общая линейная группа - это группа автоморфизмов векторного пространства размерности над полем. GL п ( k ) {\ displaystyle \ operatorname {GL} _ {n} (k)} п {\ displaystyle n} k {\ displaystyle k}

Группы автоморфизмов полей были введены Эварист Галуа для изучения корней из многочленов, и являются основой теории Галуа.

Мономорфизм

Для алгебраических структур мономорфизмы обычно определяются как инъективные гомоморфизмы.

В более общем контексте теории категорий мономорфизм определяется как морфизм, который можно сократить слева. Это означает, что (гомо) морфизм является мономорфизмом, если для любой пары, морфизмов из любого другого объекта к, а затем вытекает. ж : А B {\ displaystyle f: от A \ до B} г {\ displaystyle g} час {\ displaystyle h} C {\ displaystyle C} А {\ displaystyle A} ж г знак равно ж час {\ Displaystyle е \ сирк г = е \ сирк ч} г знак равно час {\ displaystyle g = h}

Эти два определения мономорфизма эквивалентны для всех обычных алгебраических структур. Точнее, они эквивалентны для полей, для которых каждый гомоморфизм является мономорфизмом, а для сортов с универсальной алгеброй, то есть алгебраические структуры, для которых операция и аксиомы (тождества) определены без каких - либо ограничений (поля не является многообразие, так как мультипликативная обратная операция определяется либо как унарная операция, либо как свойство умножения, которые в обоих случаях определены только для ненулевых элементов).

В частности, два определения мономорфизма эквивалентны для множеств, магм, полугрупп, моноидов, групп, колец, полей, векторных пространств и модулей.

Раскол -мономорфизм гомоморфизм, который имеет левый обратный и, таким образом, он сам по себе является правым обратным этого другого гомоморфизма. То есть гомоморфизм является расщепляемым мономорфизмом, если существует такой гомоморфизм, что расщепляемый мономорфизм всегда является мономорфизмом для обоих значений мономорфизма. Для множеств и векторных пространств каждый мономорфизм является расщепляемым мономорфизмом, но это свойство не выполняется для большинства общих алгебраических структур. ж : А B {\ displaystyle f \ двоеточие от A \ до B} г : B А {\ displaystyle g \ двоеточие от B \ до A} г ж знак равно Идентификатор А . {\ displaystyle g \ circ f = \ operatorname {Id} _ {A}.}

Доказательство эквивалентности двух определений мономорфизмов

Инъективный гомоморфизм остается отменяемым: Если один имеет для каждого дюйма, общего источника и. Если инъективен, то, значит, и так. Это доказательство работает не только для алгебраических структур, но и для любой категории, объектами которой являются множества, а стрелки - карты между этими множествами. Например, инъективное непрерывное отображение - это мономорфизм в категории топологических пространств. ж г знак равно ж час , {\ Displaystyle е \ сирк г = е \ сирк ч,} ж ( г ( Икс ) ) знак равно ж ( час ( Икс ) ) {\ Displaystyle е (г (х)) = е (час (х))} Икс {\ displaystyle x} C {\ displaystyle C} г {\ displaystyle g} час {\ displaystyle h} ж {\ displaystyle f} г ( Икс ) знак равно час ( Икс ) {\ Displaystyle г (х) = час (х)} г знак равно час {\ displaystyle g = h}

Для доказательства того, что, наоборот, сокращаемый слева гомоморфизм инъективен, полезно рассмотреть свободный объект на Икс {\ displaystyle x}. Учитывая разнообразие алгебраических структур свободного объекта на это пара, состоящая из алгебраической структуры этого многообразия и элемента из удовлетворяющих следующего универсального свойства : для каждой структуры многообразия, и каждый элемент из, существует единственный гомоморфизм такой, что. Например, для наборов свободный объект - это просто ; для полугрупп свободный объект - это как полугруппа, изоморфная аддитивной полугруппе натуральных чисел; для моноидов свободный объект на том, который, как моноид, изоморфен аддитивному моноиду неотрицательных целых чисел; для групп свободный объект на - это бесконечная циклическая группа, которая, как группа, изоморфна аддитивной группе целых чисел; для колец свободный объект на } - это кольцо многочленов для векторных пространств или модулей, свободный объект на - это векторное пространство или свободный модуль, который имеет в качестве основы. Икс {\ displaystyle x} L {\ displaystyle L} Икс {\ displaystyle x} L {\ displaystyle L} S {\ displaystyle S} s {\ displaystyle s} S {\ displaystyle S} ж : L S {\ displaystyle f: L \ to S} ж ( Икс ) знак равно s {\ displaystyle f (x) = s} Икс {\ displaystyle x} { Икс } {\ Displaystyle \ {х \}} Икс {\ displaystyle x} { Икс , Икс 2 , , Икс п , } , {\ Displaystyle \ {х, х ^ {2}, \ ldots, х ^ {п}, \ ldots \},} Икс {\ displaystyle x} { 1 , Икс , Икс 2 , , Икс п , } , {\ displaystyle \ {1, x, x ^ {2}, \ ldots, x ^ {n}, \ ldots \},} Икс {\ displaystyle x} { , Икс - п , , Икс - 1 , 1 , Икс , Икс 2 , , Икс п , } , {\ Displaystyle \ {\ ldots, x ^ {- n}, \ ldots, x ^ {- 1}, 1, x, x ^ {2}, \ ldots, x ^ {n}, \ ldots \},} Икс {\ displaystyle x} Z [ Икс ] ; {\ Displaystyle \ mathbb {Z} [х];} Икс {\ displaystyle x} Икс {\ displaystyle x}

Если свободный объект над существует, то каждый левый отменяемый гомоморфизм инъективен Икс {\ displaystyle x}: пусть будет левым отменяемым гомоморфизмом, и два элемента из таких. По определению свободного объекта существуют гомоморфизмы и из в такие, что и. Как, по единственности в определении универсального свойства. Как это левый отменяемый, один имеет, и, таким образом. Следовательно, инъективно. ж : А B {\ displaystyle f \ двоеточие от A \ до B} а {\ displaystyle a} б {\ displaystyle b} А {\ displaystyle A} ж ( а ) знак равно ж ( б ) {\ Displaystyle е (а) = е (Ь)} F {\ displaystyle F} г {\ displaystyle g} час {\ displaystyle h} F {\ displaystyle F} А {\ displaystyle A} г ( Икс ) знак равно а {\ Displaystyle г (х) = а} час ( Икс ) знак равно б {\ Displaystyle ч (х) = Ь} ж ( г ( Икс ) ) знак равно ж ( час ( Икс ) ) {\ Displaystyle е (г (х)) = е (час (х))} ж г знак равно ж час , {\ Displaystyle е \ сирк г = е \ сирк ч,} ж {\ displaystyle f} г знак равно час {\ displaystyle g = h} а знак равно б {\ displaystyle a = b} ж {\ displaystyle f}

Наличие свободного объекта на для разнообразия Икс {\ displaystyle x} (см также свободного объект § Наличие ): Для построения свободного объекта над, рассмотрит множество из хорошо образованных формул, построенных из и операций структуры. Две такие формулы называются эквивалентными, если можно перейти от одной к другой, применяя аксиомы ( тождества структуры). Это определяет отношение эквивалентности, если тождества не подчиняются условиям, то есть если кто-то работает с разнообразием. Тогда операции сорта хорошо определены на множестве классов эквивалентности в течение этого отношения. Несложно показать, что полученный объект является свободным объектом. Икс {\ displaystyle x} W {\ displaystyle W} Икс {\ displaystyle x} W {\ displaystyle W} W {\ displaystyle W}

Эпиморфизм

В алгебре, эпиморфизмы часто определяются как сюръективные гомоморфизмы. С другой стороны, в теории категорий, эпиморфизмами определяются как правые аннулированы морфизмов. Это означает, что (гомо) морфизм является эпиморфизмом, если для любой пары, морфизмов от до любого другого объекта, равенство вытекает. ж : А B {\ displaystyle f: от A \ до B} г {\ displaystyle g} час {\ displaystyle h} B {\ displaystyle B} C {\ displaystyle C} г ж знак равно час ж {\ Displaystyle г \ CIRC F = H \ CIRC F} г знак равно час {\ displaystyle g = h}

Сюръективный гомоморфизм всегда сокращается справа, но обратное не всегда верно для алгебраических структур. Однако два определения эпиморфизма эквивалентны для множеств, векторных пространств, абелевых групп, модулей (см. Ниже для доказательства) и групп. Важность этих структур во всей математике, особенно в линейной алгебре и гомологической алгебре, может объяснить сосуществование двух неэквивалентных определений.

Алгебраические структуры, для которых существуют несюръективные эпиморфизмы, включают полугруппы и кольца. Самый простой пример - включение целых чисел в рациональные числа, которое является гомоморфизмом колец и мультипликативных полугрупп. Для обеих структур это мономорфизм и несюръективный эпиморфизм, но не изоморфизм.

Широкое обобщение этого примера - локализация кольца мультипликативным множеством. Каждая локализация - это кольцевой эпиморфизм, который, вообще говоря, не сюръективен. Поскольку локализации являются фундаментальными в коммутативной алгебре и алгебраической геометрии, это может объяснить, почему в этих областях определение эпиморфизмов как сокращаемых справа гомоморфизмов обычно предпочтительнее.

Расщепляющий эпиморфизм является гомоморфизмом, имеет правую обратные и, таким образом, он сам по себе является левым обратным этим другим гомоморфизмом. То есть гомоморфизм является расщепленным эпиморфизмом, если существует такой гомоморфизм, что расщепленный эпиморфизм всегда является эпиморфизмом для обоих значений эпиморфизма. Для множеств и векторных пространств каждый эпиморфизм является расщепляемым эпиморфизмом, но это свойство не выполняется для большинства общих алгебраических структур. ж : А B {\ displaystyle f \ двоеточие от A \ до B} г : B А {\ displaystyle g \ двоеточие от B \ до A} ж г знак равно Идентификатор B . {\ displaystyle f \ circ g = \ operatorname {Id} _ {B}.}

Таким образом, у одного есть

расщепленный эпиморфизм эпиморфизм (сюръективный) эпиморфизм (правая отменяемая) ; {\ displaystyle {\ text {разделенный эпиморфизм}} \ подразумевает {\ text {эпиморфизм (сюръективный)}} \ подразумевает {\ text {эпиморфизм (правый отменяемый)}};}

последняя импликация - эквивалентность множеств, векторных пространств, модулей и абелевых групп; первая импликация - эквивалентность множеств и векторных пространств.

Эквивалентность двух определений эпиморфизма

Позвольте быть гомоморфизмом. Мы хотим доказать, что если оно не сюръективно, то оно не может быть сокращено правильно. ж : А B {\ displaystyle f \ двоеточие от A \ до B}

В случае множеств, пусть будет элементом, которому не принадлежит, и определите так, что это функция идентичности, и что для каждого, кроме любого другого элемента. Ясно, что не может быть отменено правильно, так как и б {\ displaystyle b} B {\ displaystyle B} ж ( А ) {\ displaystyle f (A)} г , час : B B {\ displaystyle g, h \ двоеточие B \ to B} г {\ displaystyle g} час ( Икс ) знак равно Икс {\ Displaystyle ч (х) = х} Икс B , {\ displaystyle x \ in B,} час ( б ) {\ displaystyle h (b)} B {\ displaystyle B} ж {\ displaystyle f} г час {\ displaystyle g \ neq h} г ж знак равно час ж . {\ Displaystyle г \ CIRC F = H \ CIRC F.}

В случае векторных пространств, абелевых групп и модулей доказательство основывается на существовании коядров и на том факте, что нулевые отображения являются гомоморфизмами: пусть - коядро и - каноническое отображение, такое что. Позвольте быть нулевым отображением. Если не является сюръективным, и, следовательно (одно - нулевое отображение, а другое - нет). Таким образом, не отменяется, поскольку (оба являются нулевым отображением от до). C {\ displaystyle C} ж {\ displaystyle f} г : B C {\ displaystyle g \ двоеточие от B \ до C} г ( ж ( А ) ) знак равно 0 {\ Displaystyle г (е (А)) = 0} час : B C {\ displaystyle h \ двоеточие от B \ до C} ж {\ displaystyle f} C 0 {\ displaystyle C \ neq 0} г час {\ displaystyle g \ neq h} ж {\ displaystyle f} г ж знак равно час ж {\ Displaystyle г \ CIRC F = H \ CIRC F} А {\ displaystyle A} C {\ displaystyle C}

Ядро
Основная статья: Ядро (алгебра)

Любой гомоморфизм определяет отношение эквивалентности на по тогда и только тогда, когда. Отношение называется ядро из. Это отношение конгруэнтности на. Множество фактора, то можно придать структуру того же типа, как, естественным образом, путем определения операций множества фактора по, для каждой операции с. В этом случае изображение в соответствии с гомоморфизмом обязательно изоморфно с ; этот факт является одной из теорем об изоморфизме. ж : Икс Y {\ displaystyle f: от X \ до Y} {\ displaystyle \ sim} Икс {\ displaystyle X} а б {\ displaystyle a \ sim b} ж ( а ) знак равно ж ( б ) {\ Displaystyle е (а) = е (Ь)} {\ displaystyle \ sim} ж {\ displaystyle f} Икс {\ displaystyle X} Икс / {\ displaystyle X / {\ sim}} Икс {\ displaystyle X} [ Икс ] * [ у ] знак равно [ Икс * у ] {\ Displaystyle [х] \ аст [у] = [х \ аст у]} * {\ displaystyle \ ast} Икс {\ displaystyle X} Икс {\ displaystyle X} Y {\ displaystyle Y} ж {\ displaystyle f} Икс / {\ Displaystyle X / \! \ sim}

Когда алгебраическая структура является группой для некоторой операции, класс эквивалентности из единичного элемента этой операции достаточно, чтобы охарактеризовать отношение эквивалентности. В этом случае фактор по отношению эквивалентности обозначается (обычно читается как « mod »). Кроме того, в этом случае, это, а не, что называется ядро из. Ядра гомоморфизмов данного типа алгебраической структуры естественным образом снабжены некоторой структурой. Этот структурный тип ядер совпадает с рассмотренной структурой в случае абелевых групп, векторных пространств и модулей, но отличается и получил конкретное название в других случаях, например, нормальная подгруппа для ядер групповых гомоморфизмов и идеалов. для ядер гомоморфизмов колец (в случае некоммутативных колец ядра являются двусторонними идеалами ). K {\ displaystyle K} Икс / K {\ Displaystyle X / K} Икс {\ displaystyle X} K {\ displaystyle K} K {\ displaystyle K} {\ displaystyle \ sim} ж {\ displaystyle f}

Реляционные структуры

В теории моделей понятие алгебраической структуры обобщается на структуры, включающие как операции, так и отношения. Пусть L - сигнатура, состоящая из символов функций и отношений, а A, B - две L -структуры. Тогда гомоморфизм из A в B - это отображение h из области A в область B такое, что

  • h ( F A ( a 1,…, a n)) = F B ( h ( a 1),…, h ( a n)) для каждого n -арного функционального символа F в L,
  • R ( 1,..., п) означает R B ( час ( 1),..., ч ( п)) для каждого п -ичный символа отношения R в L.

В частном случае всего с одним бинарным отношением мы получаем понятие гомоморфизма графов. Подробное обсуждение реляционных гомоморфизмов и изоморфизмов см.

Теория формального языка

Гомоморфизмы также используются при изучении формальных языков и часто кратко называются морфизмами. Для алфавитов Σ 1 и Σ 2 функция h  : Σ 1 → Σ 2 такая, что h ( uv) = h ( u) h ( v) для всех u и v в Σ 1 , называется гомоморфизмом на Σ 1 . Если h гомоморфизм на Σ 1 и ε обозначает пустую строку, то h называется ε-свободным гомоморфизмом, когда h ( x) ≠ ε для всех x ≠ ε в Σ 1 .

Множество Σ слов, образованное из алфавита Σ, можно рассматривать как свободный моноид, порожденный Σ. Здесь моноидная операция - это конкатенация, а единичный элемент - это пустое слово. С этой точки зрения гомоморфизм языка - это в точности гомоморфизм моноида.

Смотрите также
Примечания
Цитаты
использованная литература
Последняя правка сделана 2023-03-31 12:49:24
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте