ÃËÀÂÍÀß ÒÐÀÍÑËßÖÈß

ÃËÀÂÍÀß ÒÐÀÍÑËßÖÈß - îòîáðàæåíèå φ àëãåáðàè÷åñêîé ñèñòåìû A = 〈À, Ω〉 â ñåáÿ, èìåþùåå âèä

φ: õ → F(a₁, ..., a_k-1, õ, a_k+1, ..., a_n),

ãäå F - ñèìâîë îñíîâíîé îïåðàöèè èç Ω è a₁, ..., a_n - ôèêñèðîâàííûå ýëåìåíòû ìíîæåñòâà À.

Ä. Ì. Ñìèðíîâ.

Èñòî÷íèêè:

1. Ìàòåìàòè÷åñêàÿ Ýíöèêëîïåäèÿ. Ò. 1 (À - Ã). Ðåä. êîëëåãèÿ: È. Ì. Âèíîãðàäîâ (ãëàâ ðåä) [è äð.] - Ì., «Ñîâåòñêàÿ Ýíöèêëîïåäèÿ», 1977, 1152 ñòá. ñ èëë.