| dbo:description
|
- la problemo, ĉu ĉiu komuta grupo 𝐴 tia ke Ext¹(𝐴,ℤ)=0 estas libera komuta grupo, kio estas ne pruvebla nek malpruvebla per la aksiomoj de ZFC (eo)
- problem, ali je abelijanska grupa 𝐴, ki izpolnjuje Ext¹(𝐴,ℤ)=0, nujno prosta; zdaj je znano, da je neodvisna od ZFC (sl)
- the problem of whether an abelian group 𝐴 satisfying Ext¹(𝐴,ℤ)=0 is necessarily free, now known to be independent of ZFC (en)
|