У нас есть алгебра стрелок A над Z, мы написали какой-то набор образующих x_j, откуда получаем сюръективный морфизм \oplus_i Z x_i \to A. Какое у него ядро?
У нас есть алгебра стрелок A над Z, мы написали какой-то набор образующих x_j, откуда получаем сюръективный морфизм \oplus_i Z x_i \to A. Какое у него ядро?