К содержимому
ИС30

Поиск по сайту

Конспекты, лабы, квизы, ЧаВо и страницы

Войти
Линейная алгебраЛекция 18 сентября 2026 г.

Лекция 1. Базовые алгебраические структуры

От отображений и бинарных операций к группам, кольцам, полям и F_p: инъекция/сюръекция/биекция, перестановки и S₃, кольцо и делители нуля, 10 аксиом поля, Z_n и таблица умножения F₅, мини-тренажёр.

Лекция строит язык, на котором дальше формулируется линейная алгебра. Векторное пространство — это множество с операциями, которые обязаны выполнять набор аксиом, поэтому заранее нужно понимать: что такое отображение и почему операция — это тоже отображение; что значит «операция замкнута»; что такое группа, кольцо и поле; почему скаляры берутся именно из поля.

Как учить определения

Не запоминайте определения как списки слов. Для каждой структуры держите в голове вопрос: какие операции разрешены и какие правила они обязаны выполнять?

Множества и отображения

Этот блок пересекается с вступительной лекцией матана; здесь — только то, что нужно для перестановок и операций.

Определение 1. Декартово произведение множеств AA и BB — множество всех упорядоченных пар:

A×B={(a,b)∣a∈A, b∈B}.A \times B = \{(a, b) \mid a \in A,\ b \in B\}.

Например, для A={1,2}A = \{1, 2\} и B={x,y}B = \{x, y\}: A×B={(1,x),(1,y),(2,x),(2,y)}A \times B = \{(1, x), (1, y), (2, x), (2, y)\}. Декартово произведение нужно для определения бинарной операции — она получает на вход пару.

Определение 2. Отображение (функция) f:A→Bf : A \to B ставит каждому a∈Aa \in A в соответствие ровно один элемент f(a)∈Bf(a) \in B. AA — область определения, BB — кодомен.

Определение 3. Пусть f:A→Bf : A \to B.

  • Образ элемента a∈Aa \in A — это f(a)f(a).
  • Образ подмножества X⊆AX \subseteq A: f(X)={f(x)∣x∈X}⊆Bf(X) = \{f(x) \mid x \in X\} \subseteq B.
  • Полный прообраз подмножества Y⊆BY \subseteq B: f−1(Y)={x∈A∣f(x)∈Y}⊆Af^{-1}(Y) = \{x \in A \mid f(x) \in Y\} \subseteq A.
Прообраз ≠ обратная функция

Запись f−1(Y)f^{-1}(Y) для прообраза множества имеет смысл для любого ff, даже когда ff не биекция. Обратная функция f−1f^{-1} существует только у биекции.

Инъекция, сюръекция, биекция

Определение 4. Отображение f:A→Bf : A \to B называется:

  • инъективным, если разные элементы не склеиваются: f(a1)=f(a2)  ⟹  a1=a2f(a_1) = f(a_2) \implies a_1 = a_2 (эквивалентно: a1≠a2  ⟹  f(a1)≠f(a2)a_1 \ne a_2 \implies f(a_1) \ne f(a_2));
  • сюръективным, если каждый элемент кодомена достигается: ∀b∈B ∃a∈A:f(a)=b\forall b \in B\ \exists a \in A : f(a) = b, то есть f(A)=Bf(A) = B;
  • биективным, если оно одновременно инъективно и сюръективно.

Примеры.

  1. f:Z→Zf : \mathbb{Z} \to \mathbb{Z}, f(n)=2nf(n) = 2n — инъекция (из 2n1=2n22n_1 = 2n_2 следует n1=n2n_1 = n_2), но не сюръекция: у числа 11 нет прообраза.
  2. f:R→[0,+∞)f : \mathbb{R} \to [0, +\infty), f(x)=x2f(x) = x^2 — сюръекция (для y≥0y \ge 0 берём x=yx = \sqrt{y}), но не инъекция: f(1)=f(−1)f(1) = f(-1).
  3. f:R→Rf : \mathbb{R} \to \mathbb{R}, f(x)=x+1f(x) = x + 1 — биекция: для каждого yy есть единственный x=y−1x = y - 1.
Свойства зависят от области и кодомена

Одна и та же формула x↦x2x \mapsto x^2 как отображение R→R\mathbb{R} \to \mathbb{R} не сюръективна, а как отображение R→[0,+∞)\mathbb{R} \to [0, +\infty) — сюръективна.

Композиция и обратное отображение

Определение 5. Если f:A→Bf : A \to B и g:B→Cg : B \to C, то композиция

g∘f:A→C,(g∘f)(x)=g(f(x)).g \circ f : A \to C, \qquad (g \circ f)(x) = g(f(x)).

Правое отображение выполняется первым.

Определение 6. Если f:A→Bf : A \to B — биекция, то существует обратное отображение f−1:B→Af^{-1} : B \to A, для которого

f−1∘f=idA,f∘f−1=idB,f^{-1} \circ f = \mathrm{id}_A, \qquad f \circ f^{-1} = \mathrm{id}_B,

где idA(a)=a\mathrm{id}_A(a) = a — тождественное отображение.

Два смысла символа −1

f−1f^{-1} — обратное отображение к биекции ff; a−1a^{-1} — обратный элемент в группе или поле. Идея общая: объект и его обратный вместе дают «единицу» соответствующей операции.

Бинарная операция

Определение 7. Бинарная операция на множестве MM — отображение

∗:M×M→M,(a,b)↦a∗b.* : M \times M \to M, \qquad (a, b) \mapsto a * b.

Такое определение автоматически содержит замкнутость: результат снова лежит в MM.

Пример. Сложение — бинарная операция на Z\mathbb{Z}: (−7,3)↦−4(-7, 3) \mapsto -4, результат снова целый.

Контрпример. Формула a∗b=a+b2a * b = \dfrac{a + b}{2} не задаёт бинарную операцию на Z\mathbb{Z}: для a=0a = 0, b=1b = 1 получаем 12∉Z\tfrac{1}{2} \notin \mathbb{Z}.

Порядок проверки

Когда дана «операция по формуле», первый вопрос — всегда ли результат остаётся в множестве? Только после этого проверяются ассоциативность, нейтральный элемент и обратные.

Группа

Определение 8. Пара (G,∗)(G, *) называется группой, если ∗* — бинарная операция на GG и выполняются три аксиомы:

  1. Ассоциативность: (a∗b)∗c=a∗(b∗c)(a * b) * c = a * (b * c) для всех a,b,c∈Ga, b, c \in G.
  2. Нейтральный элемент: существует e∈Ge \in G такой, что a∗e=e∗a=aa * e = e * a = a для всех a∈Ga \in G.
  3. Обратный элемент: для каждого a∈Ga \in G существует a−1∈Ga^{-1} \in G такой, что a∗a−1=a−1∗a=ea * a^{-1} = a^{-1} * a = e.

Интуитивно: ассоциативность позволяет не думать о скобках в длинном произведении, нейтральный элемент «ничего не делает», обратный элемент отменяет действие.

Главный пример: (Z,+)(\mathbb{Z}, +). Здесь e=0e = 0, обратный к aa — это −a-a:

(a+b)+c=a+(b+c),a+0=0+a=a,a+(−a)=0.(a + b) + c = a + (b + c), \qquad a + 0 = 0 + a = a, \qquad a + (-a) = 0.

Обозначение обратного

Обозначение зависит от операции: для сложения пишут −a-a, для умножения — a−1a^{-1}.

Что не является группой

  • (Z,⋅)(\mathbb{Z}, \cdot): умножение ассоциативно, есть нейтральный элемент 11, но не у каждого целого есть обратный в Z\mathbb{Z} — для 22 потребовалось бы 12∉Z\tfrac{1}{2} \notin \mathbb{Z}.
  • (Z,−)(\mathbb{Z}, -): вычитание замкнуто, но не ассоциативно: (5−3)−2=0(5 - 3) - 2 = 0, а 5−(3−2)=45 - (3 - 2) = 4.

Следствия из аксиом группы

Утверждение 1 (единственность нейтрального элемента). Если ee и e′e' оба нейтральные, то e=e∗e′=e′e = e * e' = e'.

Утверждение 2 (единственность обратного). Пусть bb и cc — оба обратные к aa. Тогда

b=b∗e=b∗(a∗c)=(b∗a)∗c=e∗c=c.b = b * e = b * (a * c) = (b * a) * c = e * c = c.

Утверждение 3 (закон сокращения). В группе из a∗b=a∗ca * b = a * c следует b=cb = c.

Доказательство. Домножим слева на a−1a^{-1}: a−1∗(a∗b)=a−1∗(a∗c)a^{-1} * (a * b) = a^{-1} * (a * c). По ассоциативности (a−1∗a)∗b=(a−1∗a)∗c(a^{-1} * a) * b = (a^{-1} * a) * c, то есть e∗b=e∗ce * b = e * c и b=cb = c. ■\blacksquare

Именно это сокращение используется дальше в доказательствах свойств кольца.

Абелева группа

Определение 9. Группа (G,∗)(G, *) называется абелевой (коммутативной), если дополнительно a∗b=b∗aa * b = b * a для всех a,b∈Ga, b \in G.

(Z,+)(\mathbb{Z}, +) — абелева группа. Группа перестановок SnS_n при n≥3n \ge 3 неабелева (пример ниже).

Ассоциативность ≠ коммутативность

Это совершенно разные свойства: (a∗b)∗c=a∗(b∗c)(a * b) * c = a * (b * c) — про скобки, a∗b=b∗aa * b = b * a — про порядок элементов.

Перестановки и симметрическая группа

Определение 10. Перестановка конечного множества MM — биективное отображение σ:M→M\sigma : M \to M. Для M={1,2,…,n}M = \{1, 2, \dots, n\} множество всех перестановок обозначается SnS_n.

Биекция нужна, чтобы «переупорядочить» элементы без потерь и повторов: у каждого элемента ровно один образ и ровно один прообраз. Перестановку записывают двумя строками:

σ=(123213),то есть σ(1)=2, σ(2)=1, σ(3)=3.\sigma = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}, \qquad \text{то есть } \sigma(1) = 2,\ \sigma(2) = 1,\ \sigma(3) = 3.

Утверждение 4. (Sn,∘)(S_n, \circ) — группа.

Доказательство. Композиция двух биекций — снова биекция, поэтому ∘:Sn×Sn→Sn\circ : S_n \times S_n \to S_n — бинарная операция. Ассоциативность следует из ассоциативности композиции функций, нейтральный элемент — id\mathrm{id}, обратный к σ\sigma — обратная биекция σ−1\sigma^{-1}. ■\blacksquare

Пример: S₃ неабелева

Пусть

β=(123213),γ=(123321).\beta = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 1 & 3 \end{pmatrix}, \qquad \gamma = \begin{pmatrix} 1 & 2 & 3 \\ 3 & 2 & 1 \end{pmatrix}.

Считаем γ∘β\gamma \circ \beta: сначала применяется β\beta, затем γ\gamma.

1→β2→γ2,2→β1→γ3,3→β3→γ1.1 \xrightarrow{\beta} 2 \xrightarrow{\gamma} 2, \qquad 2 \xrightarrow{\beta} 1 \xrightarrow{\gamma} 3, \qquad 3 \xrightarrow{\beta} 3 \xrightarrow{\gamma} 1.

Поэтому

γ∘β=(123231),β∘γ=(123312).\gamma \circ \beta = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}, \qquad \beta \circ \gamma = \begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix}.

Получили γ∘β≠β∘γ\gamma \circ \beta \ne \beta \circ \gamma, значит S3S_3 — не абелева группа.

Перестановка β\beta просто меняет местами 11 и 22, поэтому применение её дважды возвращает всё обратно: β∘β=id\beta \circ \beta = \mathrm{id}, то есть β−1=β\beta^{-1} = \beta.

Порядок в композиции

В γ∘β\gamma \circ \beta сначала выполняется β\beta, потом γ\gamma. Это один из самых частых источников ошибок.

Кольцо

В разных учебниках разные соглашения: одни требуют единицу уже в определении кольца, другие выделяют «кольцо с единицей» отдельно. На лекции используется второй вариант.

Определение 11. Кольцо (K,+,⋅)(K, +, \cdot) — множество KK с двумя бинарными операциями, для которых:

  1. (K,+)(K, +) — абелева группа;
  2. умножение ассоциативно: (a⋅b)⋅c=a⋅(b⋅c)(a \cdot b) \cdot c = a \cdot (b \cdot c);
  3. выполняются обе дистрибутивности: a⋅(b+c)=a⋅b+a⋅c,(a+b)⋅c=a⋅c+b⋅c.a \cdot (b + c) = a \cdot b + a \cdot c, \qquad (a + b) \cdot c = a \cdot c + b \cdot c.

Из того, что (K,+)(K, +) — абелева группа, автоматически существуют ноль 00 (такой, что a+0=aa + 0 = a) и противоположный элемент −a-a (такой, что a+(−a)=0a + (-a) = 0).

Определение 12. Кольцо называется коммутативным, если a⋅b=b⋅aa \cdot b = b \cdot a для всех a,b∈Ka, b \in K.

Определение 13. Кольцо называется кольцом с единицей, если существует 1∈K1 \in K такое, что 1⋅a=a⋅1=a1 \cdot a = a \cdot 1 = a для всех a∈Ka \in K. Для нетривиального кольца предполагают 1≠01 \ne 0.

Примеры.

  • (Z,+,⋅)(\mathbb{Z}, +, \cdot) — коммутативное кольцо с единицей.
  • Матрицы n×nn \times n над R\mathbb{R} образуют кольцо Mn(R)\mathrm{M}_n(\mathbb{R}). При n≥2n \ge 2 в общем случае AB≠BAAB \ne BA, так что это кольцо некоммутативно.

Домашнее задание: умножение на ноль

Правило «при умножении на ноль получается ноль» не входит в аксиомы кольца — оно из них выводится.

Утверждение 5. В любом кольце a⋅0=0⋅a=0a \cdot 0 = 0 \cdot a = 0 для всех a∈Ka \in K.

Доказательство

Поскольку 0+0=00 + 0 = 0, имеем a⋅0=a⋅(0+0)a \cdot 0 = a \cdot (0 + 0). По дистрибутивности

a⋅(0+0)=a⋅0+a⋅0,значитa⋅0=a⋅0+a⋅0.a \cdot (0 + 0) = a \cdot 0 + a \cdot 0, \qquad \text{значит} \qquad a \cdot 0 = a \cdot 0 + a \cdot 0.

Прибавим к обеим частям противоположный элемент −(a⋅0)-(a \cdot 0) и получим 0=a⋅00 = a \cdot 0.

Второе равенство аналогично: 0⋅a=(0+0)⋅a=0⋅a+0⋅a0 \cdot a = (0 + 0) \cdot a = 0 \cdot a + 0 \cdot a, после сокращения 0⋅a=00 \cdot a = 0. ■\blacksquare

Использованы только дистрибутивность и сокращение по сложению, которое следует из групповых аксиом для (K,+)(K, +).

Делители нуля и область целостности

Определение 14. В коммутативном кольце ненулевой элемент a≠0a \ne 0 называется делителем нуля, если существует b≠0b \ne 0 такое, что a⋅b=0a \cdot b = 0.

Пример. В кольце вычетов Z6\mathbb{Z}_6 элементы 22 и 33 ненулевые, но 2⋅3=6≡0(mod6)2 \cdot 3 = 6 \equiv 0 \pmod 6. Значит, 22 и 33 — делители нуля.

Определение 15. Область целостности (целостное кольцо) — коммутативное кольцо с единицей 1≠01 \ne 0, в котором нет делителей нуля.

Z\mathbb{Z} — область целостности, Z6\mathbb{Z}_6 — нет.

Утверждение 6 (сокращение в области целостности). Если a≠0a \ne 0 и ab=acab = ac, то b=cb = c.

Доказательство. ab−ac=0  ⟹  a(b−c)=0ab - ac = 0 \implies a(b - c) = 0. Делителей нуля нет и a≠0a \ne 0, поэтому b−c=0b - c = 0. ■\blacksquare

Поле

Определение 16. Поле FF — коммутативное кольцо с единицей 1≠01 \ne 0, в котором каждый ненулевой элемент обратим:

∀a∈F, a≠0∃a−1∈F:aa−1=a−1a=1.\forall a \in F,\ a \ne 0 \quad \exists a^{-1} \in F : \quad a a^{-1} = a^{-1} a = 1.

Классические примеры: Q\mathbb{Q}, R\mathbb{R}, C\mathbb{C}. А Z\mathbb{Z} — не поле: у 22 нет обратного целого.

Домашнее задание: все 10 аксиом поля

В соглашении лекции замкнутость уже включена в слова «++ и ⋅\cdot — бинарные операции», поэтому отдельной аксиомой не считается.

Список аксиом

Пусть FF — множество с бинарными операциями ++ и ⋅\cdot. Для любых a,b,c∈Fa, b, c \in F:

Сложение

  1. Ассоциативность: (a+b)+c=a+(b+c)(a + b) + c = a + (b + c).
  2. Коммутативность: a+b=b+aa + b = b + a.
  3. Существование нуля: ∃0∈F:a+0=0+a=a\exists 0 \in F : a + 0 = 0 + a = a.
  4. Существование противоположного: ∀a∈F ∃(−a)∈F:a+(−a)=0\forall a \in F\ \exists (-a) \in F : a + (-a) = 0.

Умножение

  1. Ассоциативность: (ab)c=a(bc)(ab)c = a(bc).
  2. Коммутативность: ab=baab = ba.
  3. Существование единицы, отличной от нуля: ∃1∈F, 1≠0:a⋅1=1⋅a=a\exists 1 \in F,\ 1 \ne 0 : a \cdot 1 = 1 \cdot a = a.
  4. Существование обратного для ненулевых: ∀a≠0 ∃a−1∈F:aa−1=1\forall a \ne 0\ \exists a^{-1} \in F : a a^{-1} = 1.

Связь сложения и умножения

  1. Левая дистрибутивность: a(b+c)=ab+aca(b + c) = ab + ac.
  2. Правая дистрибутивность: (a+b)c=ac+bc(a + b)c = ac + bc.

Итого 4+4+2=104 + 4 + 2 = 10 аксиом.

Почему в учебниках бывает другое число

Из коммутативности умножения одна дистрибутивность выводится из другой, а замкнутость иногда считают отдельной аксиомой. Это вопрос подсчёта, а не математической сути; для записи «10» естественен список выше.

Кольца вычетов по модулю n

Два целых числа сравнимы по модулю nn, если имеют одинаковый остаток при делении на nn:

a≡b(modn)  ⟺  n∣(a−b).a \equiv b \pmod n \iff n \mid (a - b).

Множество классов вычетов Zn=Z/nZ\mathbb{Z}_n = \mathbb{Z} / n\mathbb{Z} можно представлять числами {0,1,…,n−1}\{0, 1, \dots, n - 1\}, а операции выполнять с последующим взятием остатка. Например, в Z5\mathbb{Z}_5:

4+3=7≡2(mod5),3⋅4=12≡2(mod5).4 + 3 = 7 \equiv 2 \pmod 5, \qquad 3 \cdot 4 = 12 \equiv 2 \pmod 5.

Теорема 1. Zn\mathbb{Z}_n является полем тогда и только тогда, когда nn — простое число.

Доказательство. Пусть pp простое и a≢0(modp)a \not\equiv 0 \pmod p. Тогда gcd⁡(a,p)=1\gcd(a, p) = 1, и по соотношению Безу существуют u,v∈Zu, v \in \mathbb{Z} такие, что au+pv=1au + pv = 1. По модулю pp получаем au≡1(modp)au \equiv 1 \pmod p, то есть uu — обратный к aa в Zp\mathbb{Z}_p.

Пусть теперь n=rsn = rs составное, 1<r,s<n1 \lt r, s \lt n. Тогда в Zn\mathbb{Z}_n классы [r]≠[0][r] \ne [0] и [s]≠[0][s] \ne [0], но [r][s]=[n]=[0][r][s] = [n] = [0]. Это делители нуля, а в поле их быть не может. ■\blacksquare

Конечное поле из p элементов и пример F₅

Для простого pp пишут Fp≅Zp\mathbb{F}_p \cong \mathbb{Z}_p: поле из pp элементов реализуется как остатки 0,1,…,p−10, 1, \dots, p - 1 с арифметикой по модулю pp.

Таблица умножения F₅

⋅\cdot01234
000000
101234
202413
303142
404321

Например, 2⋅3=6≡1(mod5)2 \cdot 3 = 6 \equiv 1 \pmod 5, поэтому 2−1=32^{-1} = 3 и 3−1=23^{-1} = 2. Также 1−1=11^{-1} = 1 и 4−1=44^{-1} = 4, поскольку 4⋅4=16≡1(mod5)4 \cdot 4 = 16 \equiv 1 \pmod 5.

Как выглядит таблица поля

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

Для сравнения: почему Z₆ не поле

В Z6\mathbb{Z}_6 выполняется 2⋅3≡0(mod6)2 \cdot 3 \equiv 0 \pmod 6 при 2≠02 \ne 0 и 3≠03 \ne 0, то есть есть делители нуля. Кроме того, у 22 нет обратного: ни одно из чисел 0,…,50, \dots, 5 при умножении на 22 не даёт остаток 11.

Иерархия структур

Всю лекцию полезно видеть как лестницу требований: каждая следующая структура добавляет условие к предыдущей.

СтруктураЧто требуется
МножествоПросто набор элементов
Множество с бинарной операциейРезультат операции над любыми двумя элементами снова в множестве
ГруппаАссоциативность + нейтральный элемент + обратные
Абелева группаГруппа + коммутативность
КольцоАбелева группа по сложению + ассоциативное умножение + две дистрибутивности
Коммутативное кольцоКольцо + коммутативность умножения
Область целостностиКоммутативное кольцо с 1≠01 \ne 0 + нет делителей нуля
ПолеКоммутативное кольцо с 1≠01 \ne 0 + каждый ненулевой элемент обратим

Утверждение 7. Поле автоматически является областью целостности.

Доказательство. Если ab=0ab = 0 и a≠0a \ne 0, домножаем на a−1a^{-1} и получаем b=0b = 0. ■\blacksquare

Связь с векторными пространствами

Теперь видно, зачем поле появилось в начале курса.

Определение 17. Векторное пространство VV над полем FF — множество с операциями +:V×V→V+ : V \times V \to V и ⋅:F×V→V\cdot : F \times V \to V, такими, что (V,+)(V, +) — абелева группа и для всех λ,μ∈F\lambda, \mu \in F, u,v∈Vu, v \in V:

λ(u+v)=λu+λv,(λ+μ)v=λv+μv,(λμ)v=λ(μv),1⋅v=v.\lambda(u + v) = \lambda u + \lambda v, \qquad (\lambda + \mu) v = \lambda v + \mu v, \qquad (\lambda \mu) v = \lambda (\mu v), \qquad 1 \cdot v = v.

Например, Rn\mathbb{R}^n — векторное пространство над R\mathbb{R}, а Cn\mathbb{C}^n — над C\mathbb{C}. Линейную алгебру можно строить и над конечными полями Fp\mathbb{F}_p — это важно в кодировании и дискретной математике.

Два вида объектов

Векторы живут в VV и складываются друг с другом; скаляры живут в поле FF и умножают векторы. Поле — не «лишняя абстракция», а источник допустимых коэффициентов в линейных комбинациях.

Частые вопросы

Почему операция — это отображение? Операция должна каждому набору аргументов однозначно назначать результат. У бинарной операции два аргумента, поэтому её область определения — M×MM \times M.

Почему у группы не требуют коммутативность? Потому что важные естественные группы некоммутативны: уже S3S_3 показывает, что композиция преобразований зависит от порядка.

Почему в поле обратный требуется только для a≠0a \ne 0? Если бы существовал 0−10^{-1}, то 0⋅0−1=10 \cdot 0^{-1} = 1. Но в любом кольце 0⋅x=00 \cdot x = 0, и получилось бы 0=10 = 1.

Почему Z\mathbb{Z} — кольцо, но не поле? Для поля нужно делить на любой ненулевой элемент, оставаясь внутри множества. В Z\mathbb{Z} у 22 нет обратного: 12\tfrac{1}{2} не целое.

Почему Q\mathbb{Q} — поле? Для любой ненулевой дроби ab\tfrac{a}{b} обратная ba\tfrac{b}{a} тоже рациональна.

Чем область целостности отличается от поля? В области целостности нет делителей нуля, но обратные могут отсутствовать (Z\mathbb{Z}). В поле обратный есть у каждого ненулевого элемента — это более сильная структура.

Мини-тренажёр

Сначала решите сами, потом откройте ответ.

  1. Является ли a∗b=a−ba * b = a - b бинарной операцией на Z\mathbb{Z}? А групповой операцией?
  2. Является ли a∗b=a/ba * b = a / b бинарной операцией на R\mathbb{R}?
  3. Классифицируйте f:Z→Zf : \mathbb{Z} \to \mathbb{Z}, f(n)=n+5f(n) = n + 5: инъекция, сюръекция, биекция?
  4. Классифицируйте g:R→Rg : \mathbb{R} \to \mathbb{R}, g(x)=x2g(x) = x^2.
  5. Найдите обратную к перестановке σ=(123231)\sigma = \begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}.
  6. Является ли (R∖{0},⋅)(\mathbb{R} \setminus \{0\}, \cdot) группой? Абелевой?
  7. Является ли Z7\mathbb{Z}_7 полем?
  8. Найдите 3−13^{-1} в Z7\mathbb{Z}_7.
  9. Есть ли делители нуля в Z8\mathbb{Z}_8? Приведите пример.
  10. Докажите, что в поле из ab=0ab = 0 следует a=0a = 0 или b=0b = 0.
Ответы
  1. Бинарная операция — да (разность целых целая), групповая — нет: вычитание неассоциативно.
  2. Нет: выражение не определено при b=0b = 0.
  3. Биекция, обратная f−1(m)=m−5f^{-1}(m) = m - 5.
  4. Ни инъекция (g(1)=g(−1)g(1) = g(-1)), ни сюръекция на R\mathbb{R} (нет отрицательных значений).
  5. σ−1=(123312)\sigma^{-1} = \begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix}.
  6. Да, абелева группа: нейтральный элемент 11, обратный к x≠0x \ne 0 равен 1/x1/x.
  7. Да, потому что 77 простое.
  8. 3−1=53^{-1} = 5, так как 3⋅5=15≡1(mod7)3 \cdot 5 = 15 \equiv 1 \pmod 7.
  9. Да: 2⋅4=8≡0(mod8)2 \cdot 4 = 8 \equiv 0 \pmod 8, хотя 2≠02 \ne 0 и 4≠04 \ne 0.
  10. Если a≠0a \ne 0, умножаем ab=0ab = 0 на a−1a^{-1}: b=a−1⋅0=0b = a^{-1} \cdot 0 = 0.

Шпаргалка

ПонятиеСуть
Отображениеf:A→Bf : A \to B, каждому aa — ровно одно f(a)f(a)
Инъекцияf(a1)=f(a2)  ⟹  a1=a2f(a_1) = f(a_2) \implies a_1 = a_2
Сюръекцияf(A)=Bf(A) = B
Биекцияинъекция + сюръекция; только тогда есть f−1f^{-1}
Бинарная операция∗:M×M→M* : M \times M \to M
Группаассоциативность + ee + обратные
Абелева группагруппа + ab=baab = ba
Перестановкабиекция M→MM \to M; SnS_n — группа по композиции
Кольцо(K,+)(K, +) абелева группа; умножение ассоциативно; две дистрибутивности
Коммутативное кольцодополнительно ab=baab = ba
Кольцо с единицейсуществует 11 с 1a=a1=a1a = a1 = a
Делитель нуляa≠0a \ne 0, но ab=0ab = 0 для некоторого b≠0b \ne 0
Область целостностикоммутативное кольцо с 1≠01 \ne 0 без делителей нуля
Полекоммутативное кольцо с 1≠01 \ne 0, каждый a≠0a \ne 0 имеет a−1a^{-1}
Fp\mathbb{F}_pZ/pZ\mathbb{Z} / p\mathbb{Z} при простом pp; арифметика по модулю pp

Проверь себя

16 вопросов по материалу лекции. Результаты хранятся только в вашем браузере.

16 вопросов о бинарных операциях, группах и перестановках, кольцах, делителях нуля, полях и кольцах вычетов.

  • 16 вопросов
  • Результат виден сразу после каждого ответа
  • Порядок вопросов случайный

Комментарии0

Пока никто ничего не написал.

Войдите, чтобы оставить комментарий