滿同態(surjective homomorphism)是1993年公布的數學名詞。
基本介紹
- 中文名:滿同態
- 外文名:surjective homomorphism
- 所屬學科:數學
- 公布時間:1993年
滿同態(surjective homomorphism)是1993年公布的數學名詞。
本質單同態是一類特殊的單同態,是多餘滿同態的對偶概念。若f:K->M是模的單同態,並且Im f是M的本質子模,則稱 f 是本質單同態。由於Imf QM,所以 f 也較接近於滿同態。一個單同態 f 是本質的充分必要條件是:對所有的同態h...
在群範疇中滿態射即滿同態;在環範疇中滿同態為滿態射,但反之不真。單態射 範疇C中的態射f:A→B,若有左可消性質,即對使態射合成有意義的態射u,v,由fu=fv可斷定u=v,則稱f為C中的單態射。若gf為單態射,則f必為單...
(2)滿態射(epimorphism):一個態射f:X→Y稱為一個滿同態,如果對於所有Y→Z的態射g₁,成立。這也稱為epi或epic.具體範疇中的滿同態通常是滿射(surjective)函式,雖然並不總是這樣。(3)單態射(monomorphism):態射f:X...
設R為交換環,行列式映射為K₀(R)到Pic R的一個群的滿同態。由K₀(R)對H₀(R)的分解式K₀(R)H₀(R)⊕rK₀(R)知,有單同態θ:H₀(R)→K₀(R),使對任何f∈H₀(R):Spec R→Z,都有相應於f的...
若有滿態射π:A→B,則稱B為A的商對象。例如在環範疇中,若π:R→S為環的滿同態,則ker π為R的理想且SR/ker π,即S在同構意義下為R的商環。用範疇語言講,即S為R的商對象。商範疇 商範疇(quotient category)是代數系...
設M是左A模,若對每個滿同態f:M→N及每個同態r:M→N,一定有同態r-:M→M,使得f°r-=r成立,則稱M是擬投射模。投射模一定是擬投射模。若A是半完全環,則A上每個擬投射模是投射模若且唯若A是半單阿廷環。若A是阿廷主...
群G₁到G₂的同態φ如果是單射(滿射),則稱φ是單同態(滿同態),如果φ還是個一一映射,則稱是一個同構,而且稱群G₁與G₂是同構的,記作G₁≌G₂。如果一個非空集合A到自身的一些一一映射在映射的複合運算下作成一...
為滿同態;(2) 為單模同態若且唯若 ;(3) 為模同構若且唯若為 滿同態,且 。定義介紹 模同構(module isomorphism)是一種特殊的模同態,模M到N的同態f若是一一的並且是映上的,則稱f是M到N 的同構,這時稱M,N ...
切除引理 [1] (excision lemma)研究K(R,A) (i=1,2)的重要工具.且由此可得出Kz,KK。群的正合列,對研究這些群的結構有著重要意義.切除引理斷言:若環同態f ; R-}T為滿同態且R,T分別有理想A,B使在f.之下它們的元素是一...
設G₁,G₂是兩個群,是G₁到G₂的一個映射,如果對任意的a,b ∈ G,(ab)=φ(a)φ(b),則稱φ是群G₁到G₂的同態。群G₁到G₂的同態φ如果是單射(滿射),則稱φ是單同態(滿同態),如果φ還是個一一...
a),b→σ(b)時,a*b→σ(a)*'σ(b),那么這映射σ就叫做M到M'上的同態。如果σ是單射, 則稱為單同態;如果σ是滿射,則稱為滿同態。如果σ是雙射, 則稱為同構。如果M, M'都是群, 那么同態也叫做群同態。
),胡列維茨同態 都是滿同態(滿射)。胡列維茨同態由如下方式給定:設 為標準生成元,那么胡列維茨映射將同倫類 映射到 。同調論 數學中,同調論(homology theory)是拓撲空間“圈的同調”之直覺幾何想法的公理化研究。它可以寬泛地...
模正合列 (exact sequence of modules)一種特殊的同態序列.對A模之間的同態序列 若對一切n.,Im人一,= ker人都成立,則稱此同態序列是正合列.若A模{0}簡記為0,則 是正合列分別意味著f是單同態,k是滿同態.利用正合列來...
a),b→σ(b)時,a*b→σ(a)*'σ(b),那么這映射σ就叫做M到M'上的同態。如果 σ 是單射, 則稱為單同態;如果 σ 是滿射,則稱為滿同態。如果σ是雙射, 則稱為同構。如果M, M'都是群, 那么同態也叫做群同態。
設G₁,G₂是兩個群,是G₁到G₂的一個映射,如果對任意的a,b ∈ G,(ab)=φ(a)φ(b),則稱φ是群G₁到G₂的同態。群G₁到G₂的同態φ如果是單射(滿射),則稱φ是單同態(滿同態),如果φ還是個一一...
設G₁,G₂是兩個群,是G₁到G₂的一個映射,如果對任意的a,b ∈ G,(ab)=φ(a)φ(b),則稱φ是群G₁到G₂的同態。群G₁到G₂的同態φ如果是單射(滿射),則稱φ是單同態(滿同態),如果φ還是個一一...
霍普夫(Hopfian)群是指一個群G,使得任何滿同態都是自同構。霍普夫(Hopfian)群是指一個群G,使得任何滿同態 都是自同構。另一個等價定義為G不同構於其任何真商群;換言之,若N是G的正規子群,使得G和G/N同構,則N是平凡子群{...