Namespace AddMonoidAlgebra 6 theorems
- Bialgebra endomorphisms of S[G] permute group-like elements
AddMonoidAlgebra.exists_addMonoidHom_forall_bialgHom_single_eq_single0 below · cited by 2 · depth 13 - Finiteness of n-torsion characters of κ[ℤ^t]
AddMonoidAlgebra.finite_setOf_withConv_algHom_pow_eq_one0 below · cited by 2 · depth 14 - Nakayama surjectivity for algebra maps to R[M]
AddMonoidAlgebra.surjective_of_surjective_residueField_comp0 below · cited by 1 · depth 15 - Base change of a monoid algebra is a bialgebra isomorphism
AddMonoidAlgebra.exists_bialgEquiv_baseChange_tmul_single0 below · cited by 1 · depth 30 - Counting the m-torsion of a split torus
AddMonoidAlgebra.natCard_withConv_algHom_pow_eq_one0 below · cited by 1 · depth 31 - Krull dimension of κ[ℤ^t] equals t
AddMonoidAlgebra.ringKrullDim_pi_fin_int_eq0 below · cited by 1 · depth 32