user avatar
user avatar
user avatar
Jxt921
  • Member for 7 years, 2 months
  • Last seen more than a month ago
3 votes

A coordinate free book on linear and multilinear algebra defining determinants using exterior algebra

2 votes

Prove that $\frac{R/ \ker \phi}{(\ker \phi + J)/ \ker \phi} \cong \frac{S}{\phi(J)}$

2 votes
Accepted

A cofinal function into a limit ordinal

1 vote

Construction of tensor algebra: extending the multiplication from being defined on pure tensors

1 vote

Basis of a free algebra: linear independence of tensor powers

1 vote
Accepted

Properties of a middle resolution of a Horseshoe Lemma

1 vote
Accepted

Grothendieck's axiom for abelian categories: AB5 and AB4, understanding a proof from Popescu's book

1 vote
Accepted

In a pretriangulated category, a morphism is an isomorphism if and only if its homotopy kernel and homotopy cokernel are zero

1 vote
Accepted

If a normal series has maximal lengh in $G$, then it is a composition series.

1 vote

$(x_1, ..., x_k)$ is prime in $R[x_1, ..., x_n]$ if $R$ is an integral domain

1 vote
Accepted

Clarification of Theorem 2.4.3 in Weibel (left derived functors are universal $\delta$-functors)

1 vote
Accepted

Existence of System of Parameters

0 votes

Kerodon exercise 1.1.2.8

0 votes
Accepted

Kerodon 2.4.4.10.: pushouts of graphs associated to a pushout of simplicial sets

0 votes

Difference of exterior products in an exterior algebra

0 votes
Accepted

Understand a part of the proof about permutations in a symmetric group on $n$ elements

0 votes

Grothendieck categories are complete

0 votes

$d_sg = 0$ for all $g$ in a (nontrivial) finite abelian group $G$

0 votes
Accepted

An exercise from an "Algebra: Chapter 0" textbook: uniqueness of the decomposition of a $p$-Sylow subgroup

0 votes
Accepted

What is the image of a group homomorphism sending $g$ to $g^p$ for a prime $p$

0 votes
Accepted

Prove that a specific subset $A$ of a nontrivial vector space $V$ over an infinite field $\mathbb{F}$ is infinite

0 votes

Is this proof about equicardinality correct and/or rigorous? Can it be helped?

0 votes

Defining a coproduct in $\mathsf{Grp}$ using group presentations

0 votes

Prove that in any category a product(if exists) is associative up to isomorphism.