群、环、域

0. 二元运算

对于集合SSS,在集合上定义f:S∘S→Sf:S\circ S\rightarrow Sf:SSS。如果fff满足:

  1. 可运算:fff对任意集合SSS中的两个元素a、ba、bab都有定义;
  2. 单值性:f:a∘bf:a\circ bf:ab只有一个值;
  3. 封闭性:f:a∘b∈S,∀a,b∈Sf:a\circ b \in S,\forall a,b \in Sf:abS,a,bS

那么,则说明fff是定义在SSS上的二元运算。

1.群

1.0群的定义

在集合SSS上定义二元运算+++,如果SSS关于+++满足下列性质:

  1. 结合律:∀a,b,c∈S\forall a,b,c \in Sa,b,cS(a+b)+c=a+(b+c)(a+b)+c=a+(b+c)(a+b)+c=a+(b+c)
  2. 有单位元eee∀a∈S\forall a \in SaS,满足a+e=e+a=aa+e=e+a=aa+e=e+a=a
  3. 每一个元素都可逆:∀a∈S,∃a−1∈S\forall a \in S,\exists a^{-1} \in SaS,a1S,满足a+a−1=ea+a^{-1}=ea+a1=e

那么,集合SSS关于+++构成一个群,记作G=(S,+)G=(S,+)G=(S,+)
如果SSS关于+++满足交换律a+b=b+aa+b=b+aa+b=b+a,那么则称$G是一个交换群,又称作Abelian群(阿贝尔群)。

1.1群的相关性质

1.1.0 有限群与无限群

∣G∣|G|G称作群的阶,如果一个群有限群那么群中的元素是有限的;否则GGG是无限群。例如模mmm的非负剩余系Zm={0,1,2,3,..,m−1}Z_m=\{0,1,2,3,..,m-1\}Zm={0,1,2,3,..,m1}对于模m加法来说构成一个群。验证过程如下:

  1. 可结合:∀a,b,c∈Zm,(a+b)+cmod  m=a+(b+c)mod  m\forall a ,b,c\in Z_m,(a+b)+c\mod m = a+(b+c) \mod ma,b,cZm,(a+b)+cmodm=a+(b+c)modm,显然成立;
  2. 单位元:000是单位元,因为∀a∈Zm,a+0=0+a=amod  m\forall a \in Z_m,a+0=0+a=a \mod maZm,a+0=0+a=amodm
  3. 每一个元素都有逆元:∀a∈Zm,∃b∈Zm\forall a \in Z_m,\exists b \in Z_maZm,bZm满足a+b=m=0mod  ma+b=m=0\mod ma+b=m=0modm,即a−1=m−aa^{-1}=m-aa1=ma

还可以证明(Zm,+)(Z_m,+)(Zm,+)是阿贝尔群。

1.1.1 子群

如果群GGG的非空子集HHHGGG中的运算也构成一个群,那么则说HHHGGG的子群,记作H≤GH\leq GHG。例如设nnn是一个整数,整数加群中所有nnn的倍数显然也构成一个群,因而是ZZZ的子群。
子群的判定定理如下:群GGG的非空集合HHH是一个子群的充要条件是:对于∀a,b∈H\forall a,b\in Ha,bH,有a+b−1∈Ha+b^{-1}\in Ha+b1H

1.1.2 等价关系(补充)

在集合AAA上的一个二元关系RRR,如果关系RRR满足:

  1. 自反性:若a∈Aa\in AaA,则aRaaRaaRa
  2. 对称性:若a,b∈A,aRba,b\in A,aRba,bA,aRb,则bRabRabRa
  3. 传递性:若a,b,c∈A,aRb,bRca,b,c\in A,aRb,bRca,b,cA,aRb,bRc,则aRcaRcaRc

那么称关系RRRAAA上的等价关系。例如模mmm同余就是一种等价关系。

1.1.3 陪集

GGG是一个群,HHH是它的子群,当且仅当a,b∈Ga,b\in Ga,bG满足b−1+a∈Hb^{-1}+a\in Hb1+aH时,在群GGG上定义一个关系RRRaRbaRbaRb。可以验证:

  1. 对于∀a∈G\forall a \in GaGa−1+a=e∈Ha^{-1}+a=e\in Ha1+a=eH,所以aRaaRaaRa
  2. 如果aRbaRbaRb,那么b−1+a∈Hb^{-1}+a\in Hb1+aH,从而a−1+b=(b−1+a)−1∈Ha^{-1}+b =(b^{-1}+a)^{-1}\in Ha1+b=(b1+a)1H,因而得到bRabRabRa
  3. 如果aRb,bRcaRb,bRcaRb,bRc,即有b−1+a∈H,c−1+b∈Hb^{-1}+a\in H,c^{-1}+b\in Hb1+aH,c1+bH,从而c−1+a=c−1+b+b−1+a=c−1+e+a=c−1+a∈Hc^{-1}+a=c^{-1}+b+b^{-1}+a=c^{-1}+e+a=c^{-1}+a\in Hc1+a=c1+b+b1+a=c1+e+a=c1+aH

因此RRRGGG上的一个等价关系。

设群HHH是群GGG的一个子群。对于∀a∈G\forall a\in GaG,定义集合{a+h∣h∈H}\{a+h|h\in H\}{a+hhH}HHH的一个左陪集,简记为a+Ha+Ha+H。同理可以定义HHH右陪集{h+a∣h∈H}\{h+a|h\in H\}{h+ahH}
可以证明:

  1. a+Ha+Ha+HHHH有相同多个元素;
  2. aaa的等价类可以定义为[a]=a+H[a]=a+H[a]=a+H
  3. HHH的任意两个左陪集或者相等或者没有公共元素;
  4. GGG关于子群HHH的左陪集的个数称为HHHGGG中的指数,记作[G:H][G:H][G:H]

如果对于GGG的子群HHH满足a+H=H+aa+H=H+aa+H=H+a,那么称HHHGGG的正规子群,记为H&lt;GH\lt GH<G。例如交换群的所有子群都是正规子群。在证明正规子群时严格按照子群和正规子群的定义证明即可。

1.1.4 商群

HHHGGG的正规子群,定义集合G/H={a+H∣a∈G}G/H=\{a+H|a\in G\}G/H={a+HaG},在集合G/HG/HG/H上定义运算:(aH)+(bH)=(a+b)H(aH)+(bH)=(a+b)H(aH)+(bH)=(a+b)HG/HG/HG/H在上述加法下构成群,被称为GGG关于正规子群HHH的商群。
例如对于任意正整数mmmmZmZmZ是整数加法群ZZZ的正规子群,其所有的加法陪集为:r+mZ={mk+r∣k∈Z},0≤r&lt;mr+mZ=\{mk+r|k\in Z\},0\le r\lt mr+mZ={mk+rkZ},0r<m可以分别用[0],[1],...,[m−1][0],[1],...,[m-1][0],[1],...,[m1]表示这mmm个陪集:Z/Zm=[0],[1],...[m−1]Z/Z_m={[0],[1],...[m-1]}Z/Zm=[0],[1],...[m1]定义加法:[a]+[b]=[a+bmod&ThinSpace;&ThinSpace;m][a]+[b]=[a+b\mod m][a]+[b]=[a+bmodm]显然在这这个加法运算下Z/ZmZ/Z_mZ/Zm构成一个加群。

1.1.5 元素的阶

GGG中任意一个元素aaa的全体方幂构成的集合,对于群GGG中的乘法构成子群,这个子群称为由aaa生成的子群,记为&lt;a&gt;={ai∣i∈Z}&lt;a&gt;=\{a^i|i\in Z\}<a>={aiiZ}
对于群GGG中的任意一个元素aaa,如果存在正整数kkk使得:ak=ea^k=eak=e那么称满足上式的最小的kkk为元素aaa的阶,记作o(a)o(a)o(a)。显然&lt;a&gt;&lt;a&gt;<a>的阶也是o(a)o(a)o(a)。若不存在满足上述关系的kkk,那么称aaa是无限阶元,记作o(a)=∞o(a)=\inftyo(a)=

1.1.6 循环群

GGG是一个群,如果存在一个元素aaa使得G=&lt;a&gt;G=&lt;a&gt;G=<a>,则称GGG是循环群。元素aaaGGG的生成元。若o(a)=∞o(a)=\inftyo(a)=,那么则称GGG是无限循环群;否则o(a)=no(a)=no(a)=n(nnn是某个正整数),那么则称GGG是有限循环群。
例如: 整数加法群ZZZ是循环群,其生成元是111−1-11;模整数m的剩余类加群Z_m是循环群,生成元是[1][1][1]
如果一个循环群GGG是无限循环群,那么GGG只有,两个生成元aaaa−1a^{-1}a1
如果GGG是一个nnn阶循环群,则群GGG中的元素都是ak(0≤k≤n)a^k(0\le k\le n)ak(0kn)的形式。
还可以证明,循环群的子群和商群仍旧是循环群。

1.2 群中常用算法

如果群的阶nnn的素因子分解已知,则可以有效的求解群中元素的阶和群的生成元。

算法0:确定群中一个元素的阶
输入:nnn阶有限群GGG,元素a∈Ga∈GaG,nnn的素因子分解n=p1e1p2e2...pkekn=p_1^{e_1}p_2^{e_2}...p_k^{e_k}n=p1e1p2e2...pkek
输出:aaa的阶

  1. t←nt \gets ntn
  2. for i=1:ki=1 : ki=1:k
    2.0 令t←t/pieit\gets t/p_i^{e_i}tt/piei
    2.1 计算a1←ata_1\gets a^ta1at
    2.2 如果 a≠1a\neq 1a̸=1,计算a1←a1pia_1\gets a_1^{p_i}a1a1pit=t⋅pit=t\cdot p_it=tpi;
  3. 返回ttt

算法1:确定群的一个生成元
输入:nnn阶有限群GGGnnn的素因子分解n=p1e1p2e2...pkekn=p_1^{e_1}p_2^{e_2}...p_k^{e_k}n=p1e1p2e2...pkek
输出:GGG的一个生成元α\alphaα

  1. 随机选择一个GGG中的元素α\alphaα
  2. for i=1:ki=1:ki=1:k
    2.0 计算b←αn/pib\gets \alpha^{n/p_i}bαn/pi
    2.1 如果b=1b=1b=1,则转到步骤0;
  3. 返回α\alphaα

2. 环

2.0 环的定义

在群的基础上,进一步定义环。对于一个非空集合RRR,在其上定义加法+++和乘法⋅\cdot两个代数运算。如果:

  1. (R,+)(R,+)(R,+)是一个阿贝尔群;
  2. RRR关于乘法⋅\cdot是可结合的,即对于∀a,b,c∈R\forall a,b,c\in Ra,b,cR满足(a⋅b)⋅c=a⋅(b⋅c)(a\cdot b)\cdot c=a\cdot(b\cdot c)(ab)c=a(bc)
  3. 乘法对加法满足左右分配律,即对于∀a,b,c∈R\forall a,b,c \in Ra,b,cR,满足a⋅(b+c)=a⋅b+a⋅ca\cdot (b+c)=a\cdot b +a\cdot ca(b+c)=ab+ac(b+c)⋅a=b⋅a+c⋅a(b+c)\cdot a=b\cdot a+c\cdot a(b+c)a=ba+ca

那么则称RRR是一个环。
如果RRR还满足:

  1. 乘法交换,即对于∀a,b∈R\forall a,b\in Ra,bR满足a⋅b=b⋅aa\cdot b=b\cdot aab=ba则称RRR是交换环;
  2. 如果环RRR中存在 元素1R1_R1R使得1R⋅a=a⋅1=a1_R\cdot a=a\cdot 1=a1Ra=a1=a则称环RRR具有单位元。元素1R1_R1R(简记为111)称为环RRR的单位元。

Note:RRR的加法群中的单位元记为000,称为环的零元。RRR中的元素aaa加法逆元称为负元,记为−a-aa

显然全体整数关于整数的加法和乘法构成一个环,模mmm剩余类关于模mmm加法和模mmm乘法构成一个环。
证明一个代数 结构是环的一般步骤如下:

  1. 加法封闭;
  2. 加法满足结合律;
  3. 关于加法有零元;
  4. 关于加法有负元;
  5. 关于加法满足交换律;
  6. 关于乘法满足结合律;
  7. 乘法对于加法满足左右分配律;

其余的性质是否满足可以按照类似的方法继续验证。可以看到,环对于乘法的要求仅仅需要满足结合律和乘法对于加法满足左右分配律就可以,并没有对零元、逆元等做出要求。

2.1 环的相关性质

2.1.0 零因子

(R,+,⋅)(R,+,\cdot)(R,+,)是一个环,如果∃a,b∈R,a≠0,b≠0,a⋅b=0\exists a,b\in R,a\neq 0,b\neq 0,a\cdot b=0a,bR,a̸=0,b̸=0,ab=0,则称环RRR为有零因子环,其中aaaRRR的左零因子,bbbRRR的右零因子。否则称RRR为无零因子环。
例如(Z,+,⋅)(Z,+,\cdot)(Z,+,)是一个无零因子环,但是矩阵环是一个有零因子环。可以证明如果ppp是一个素数,那么ZpZ_pZp是一个无零因子环。
如果一个环是无零因子环,且已知a≠0a\neq 0a̸=0,那么由a⋅b=a⋅ca\cdot b = a\cdot cab=ac可以得到b=cb=cb=c。而有零因子环则得不到 这样的结论(参考矩阵乘法)。
可以证明,对于一个无零因子环,那么其中非零元的加法阶相等——或者是∞\infty或者是个素数ppp。我们将非零元的加法阶称为环的特征,记作CharRCharRCharR。当加法阶为无穷大时CharR=0CharR=0CharR=0,否则CharR=pCharR=pCharR=p

2.1.1 逆元

(R,+,⋅)(R,+,\cdot)(R,+,)是一个含有单位元的环,如果∃b∈R\exists b\in RbR使得a⋅b=b⋅a=1a\cdot b =b\cdot a =1ab=ba=1,那么aaa便是可逆元。a、ba、bab互为逆元。环中不一定所有的非零元都存在逆元,例如在整数环中只有±1\pm 1±1可逆。

2.1.2 整环、除环和域

一个没有零因子的交换环叫做整环,例如ZpZ_pZp就是一个整环。
一个环如果其满足:

  1. RRR中至少包含一个不等于000的元素(至少含有两个元素);
  2. RRR有单位元;
  3. RRR的每一个不等于000的元都有一个逆元;

那么则说其是一个除环。注意到,除环不一定满足乘法的交换律。
进一步如果一个除环满足乘法的交换律那么则说它是一个域。可以证明有限整环是域,而模ppp的剩余类环是域当且仅当ppp是一个素数。

2.1.3 子环、理想和商环

类比子群的概念我们可以定义子环,而理想则和陪集有一定的相似性。显然商环则类似商群。
对于一个环RRR,如果其非空子集SSS对于环的两个运算也构成一个环。那么则称SSSRRR的一个子环,例如模444的剩余类环是模222的剩余类环的子环。
如果III是环RRR的一个非空子集,如果满足:

  1. a+b∈I,∀a,b∈Ia+b\in I,\forall a,b \in Ia+bI,a,bI
  2. a⋅r∈Ia\cdot r\in IarI,且r⋅a∈I,∀a∈I,∀r∈Rr\cdot a\in I,\forall a\in I ,\forall r\in RraI,aI,rR

那么则称IIIRRR的一个理想。
可见理想一定是子环,子环却不一定是理想。
基于理想的定义,可以进一步给出在商群R/I={x+I∣x∈R}R/I=\{x+I|x\in R\}R/I={x+IxR}中乘法的定义:(x+I)(y+I)=xy+I,∀x,y∈R(x+I)(y+I)=xy+I,\forall x,y\in R(x+I)(y+I)=xy+I,x,yR由于III是一个理想,上述定义的乘法是有意义的。容易验证R/IR/IR/I关于上述乘法构成一个环。进一步可以定义商环。
RRR是环,IIIRRR的理想,则R/IR/IR/I构成一个环,称为RRR关于理想III的商环(或称剩余类环)。其中元素x+Ix+Ix+I通常记作[x][x][x],称之为xxx所在的等价类或者xxxIII的剩余类。

2.1.4 素理想、极大理想和商域

III是有单位元的交换环RRR的一个理想,I≠RI\neq RI̸=R。对于a,b∈Ra,b\in Ra,bR,如果a⋅b∈Ia\cdot b\in IabI,一定可以得到a∈Ia\in IaI或者b∈Ib\in IbI,则称IIIRRR的一个素理想。
如果在RRR的所有理想中除了RRRIII之外没有包含III的理想,则称IIIRRR的一个极大理想。
整数环内由素数ppp生成的理想&lt;p&gt;&lt;p&gt;<p>是一个素理想,同时也是一个极大理想。
对于任意一个环RRR,我们都可以通过构造分式ab\frac{a}{b}ba的方法来构造一个域QQQ,使得RRRQQQ的一个子环。类比分数的加法和乘法可以定义域QQQ内的加法和乘法:
ba+dc=bc+adac,a,b,c,d∈R,a≠0c≠0\frac{b}{a}+\frac{d}{c}=\frac{bc+ad}{ac},a,b,c,d\in R,a\neq 0 c\neq 0ab+cd=acbc+ada,b,c,dR,a̸=0c̸=0ba⋅dc=bdac,a,b,c,d∈R,a≠0,c≠0\frac{b}{a}\cdot \frac{d}{c}=\frac{bd}{ac},a,b,c,d\in R,a\neq 0,c\neq 0abcd=acbd,a,b,c,dR,a̸=0,c̸=0可以证明上述代数运算满足关于域的要求。

3. 有限域

3.0 域和扩域

一个有限域FFF的阶是指只含有有限个元素的域,FFF中元素的个数称为FFF的阶。有限域又称为Galois域。若域FFF的阶为nnn,则可将FFF记作FnF_nFnGFnGF_nGFn
KKKFnF_nFn的一个子集,如果KKK也关于FnF_nFn中的运算构成域则称KKKFnF_nFn的一个子域,FnF_nFnKKK的扩域。一个域如果不包含真子域则称其为素域。例如有理数域和阶为素数ppp有限域ZpZ_pZp都是素域。
FFF是一个域, EEEFFF的扩域, S∈ES\in ESE,将EEE中既包含FFF又包含SSS的最小子域记为F(S)F(S)F(S),称之为由SSS生成的FFF的扩域。F(S)F(S)F(S)实际上是EEE中全体既包含FFF又包含SSS的子域的交集。

3.1 极小多项式

KKKFFF的一个子域,α∈F\alpha \in FαF,如果α\alphaα满足KKK上的一个非零多项式,则称α\alphaαKKK上的代数元。
进一步,在K[x]K[x]K[x]中满足f(α)=0f(\alpha)=0f(α)=0的次数最小的多项式f(x)=xn+an−1xn−1+...+a1x+a0f(x)=x^n+a_{n-1}x^{n-1}+...+a_1x+a_0f(x)=xn+an1xn1+...+a1x+a0则是α\alphaαKKK上的极小多项式。该多项式的次数称为代数元次数。
可以证明,极小多项式f(x)f(x)f(x)满足以下性质:

  1. f(x)f(x)f(x)是不可约多项式;
  2. I={g(x)∈K[x]∣g(α)=0}I=\{g(x)\in K[x]|g(\alpha)=0\}I={g(x)K[x]g(α)=0},则IIIK[x]K[x]K[x]的理想,且I=&lt;f(x)&gt;I=&lt;f(x)&gt;I=<f(x)>

3.2 有限域的结构

有限域的三条结构定理:

  1. FFF是一个特征为素数ppp的有限域,则FFF中的元素个数为pnp^npnnnn是一个正整数;
  2. 对于任意的素数ppp和正整数nnn,总存在一个有限域恰好含有pnp^npn个元素;
  3. 任意两个q=pnq=p^nq=pn元域都同构,即pnp^npn元域在同构的意义下是唯一的。

进一步可以证明有限域FqF_qFq的乘法群Fq∗F_q^*Fq是一个循环群。而Fq∗F_q^*Fq的生成元则称为FqF_qFq的本原元,根据欧拉函数可以证明FqF_qFq的本原元由ϕ(q−1)\phi(q-1)ϕ(q1)个。

3.3 有限域上元素的表示方法

根据3.1和3.2,有限域上元素可以采用多项式或者本原元的表示方法。

3.3.0多项式表示法

ppp是素数, q=pnq =p ^ nq=pn。可以证明,只要找到 FpF_pFp 上一个nnn 次不
可约多项式 f(x)f(x)f(x) ,就有Fq=Fp[x]/&lt;f(x)&gt;F_q= F_p[x]/&lt;f(x)&gt; Fq=Fp[x]/<f(x)>f(x)f(x)f(x) 的一个根α\alphaα,可以证明Fp(α)≈FqF_p(\alpha)\approx F_qFp(α)Fq,且1,α,α2,...,αn−11,\alpha , \alpha^2,... ,\alpha^{n-1}1,α,α2,...,αn1Fp[α]F_p[\alpha]Fp[α]FpF_pFp上的一组基。因此,FqF_qFq中的元素可以表示成FpF_pFpα\alphaα 的次数小于nnn的多项式,其上的加法为多项式的加法,而乘法为模多项式 f(x)f(x)f(x)的乘法。
例如,F9F_9F9上的元素可以表示成F3F_3F3上次数小于222的多项式,即F9={0,1,2,α,1+α,2+α,2α,1+2α,2+2α}F_9=\{0,1,2,\alpha,1+\alpha,2+\alpha,2\alpha,1+2\alpha,2+2\alpha\}F9={0,1,2,α,1+α,2+α,2α,1+2α,2+2α}

3.3.1 本原元表示法

ζ\zetaζFqF_qFq的本原元,那么FqF_qFq可以表示为Fq={1,ζ,ζ2,...,ζn−1}F_q=\{1,\zeta,\zeta^2,...,\zeta^{n-1}\}Fq={1,ζ,ζ2,...,ζn1}

对比上述两种办法,多项式表示法做加法运算比较简单、乘法运算比较复杂,而本原元表示法正好相反。

3.4 有限域上的常用算法

算法000:在FpnF_{p^n}Fpn中计算乘法逆元
输入:非零多项式g(α)∈Fpng(\alpha)\in F_{p^n}g(α)FpnFpnF_{p^n}Fpn中的元素用以f(x)f(x)f(x)的根α\alphaα的次数小于nnn的多项式表示,其中f(x)∈Fp[X]f(x)\in F_p[X]f(x)Fp[X]ZpZ_pZp上的次数为nnn的不可约多项式);
输出:g(α)−1∈Fpng(\alpha)^{-1}\in F_{p^n}g(α)1Fpn

  1. 利用使用于多项式的欧几里得算法得出两个多项式s(α),t(α)∈Fp(α)s(\alpha),t(\alpha)\in F_p(\alpha)s(α),t(α)Fp(α),使得s(α)g(α)+t(α)f(α)=1s(\alpha)g(\alpha)+t(\alpha)f(\alpha)=1s(α)g(α)+t(α)f(α)=1
  2. 返回s(α)s(\alpha)s(α)

算法111: 适用于FpnF_{p^n}Fpn中幂运算的重复平方乘法;
输入:g(α)∈Fpng(\alpha)\in F_{p^n}g(α)Fpn,整数0≤k≤pn−10\le k \le p^n-10kpn1其二进制表示为k=∑i=0tki2ik=\sum_{i=0}^tk_i2^ik=i=0tki2i。(FpnF_{p^n}Fpn中的元素用以f(x)f(x)f(x)的根α\alphaα的次数小于nnn的多项式表示,其中f(x)∈Fp[X]f(x)\in F_p[X]f(x)Fp[X]ZpZ_pZp上的次数为nnn的不可约多项式);
输出:g(α)kg(\alpha)^kg(α)k

  1. s(α)←1s(\alpha)\gets 1s(α)1,如果k=0k=0k=0,返回s(α)s(\alpha)s(α)
  2. G(α)←g(α)G(\alpha)\gets g(\alpha)G(α)g(α)
  3. 如果k0=1k_0=1k0=1,则令s(α)←g(α)s(\alpha)\gets g(\alpha)s(α)g(α)
  4. i=1:ti =1:ti=1:t
    3.0 令G(α)←G(α)2mod&ThinSpace;&ThinSpace;f(α)G(\alpha)\gets G(\alpha)^2 \mod f(\alpha)G(α)G(α)2modf(α)
    3.1 如果ki=1k_i=1ki=1,则令s(α)=s(α)⋅G(α)mod&ThinSpace;&ThinSpace;f(α)s(\alpha)=s(\alpha)\cdot G(\alpha) \mod f(\alpha)s(α)=s(α)G(α)modf(α)
  5. 返回s(α)s(\alpha)s(α)

4. 群环域的关系

群环域的关系
学习群环域,记住理解概念看懂证明是一方面,另一方面列举一些例子辅助学习也很重要。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值