Namespace MonoidAlgebra 7 theorems
- Augmentation coinvariants: vanishing equals membership in ι(I_G)M
MonoidAlgebra.quotient_mk_eq_zero_iff_mem_map_augmentation_smul_top0 below · cited by 3 · depth 10 - Power-series presentation of 𝒪[prodᵢℤ/p^{kᵢ}]
MonoidAlgebra.exists_mvPowerSeries_algHom_surjective_ker_eq5 below · cited by 1 · depth 12 - Augmentation ideal spanned by g-1 over a generating set
MonoidAlgebra.ker_counitAlgHom_eq_span_of_closure_eq_top0 below · cited by 1 · depth 12 - Coinvariants of a free monoid-algebra module: freeness, rank, descent
MonoidAlgebra.free_coinvariants_and_exists_linearEquiv_of_free_of_ker_eq0 below · cited by 2 · depth 13 - Group ring of a finite abelian p-group is local
MonoidAlgebra.isLocalRing_of_isPGroup0 below · cited by 3 · depth 13 - Non-finite Adams-stable orders in ℚ[ℤ/q] are the augmentation order
MonoidAlgebra.mem_iff_counit_mem_ratLocalizedAt_of_mapDomain_pow_mem_of_not_fg0 below · cited by 1 · depth 17 - ̄ K-points of K[ℤ/n] under convolution are μₙ
MonoidAlgebra.exists_equiv_withConv_algHom_rootsOfUnity_zmod0 below · cited by 1 · depth 19