无限维向量空间

线性代数中只介绍了域F上的有限维向量空间V。在一般情况下,如果F不是一个域,而只是一个环R,那么一个环R上的向量空间要比域上的向量空间更为广泛,结构也更为复杂,这时称V为一个环R上的模。摸是一类重要的代数结构。如果是一个除环D上的向     

除环上的左向量空间的一些特性

本文给出一类除环上左向量空间等于有限个真子空间的集合并的一些性质。在高等代数中有这样一个性质:数域F上的向量空间V的任意有限个真子空间之并不等于V。本文进一步讨论其性质并推广到除环上去。     

向量空间基数的研究

利用集合基数的基本知识和无限数的运算性质 ,研究了数域 F上向量空间 V的基数与 F的基数的关系 ,得出了非零向量空间 V(F,n)和可数维向量空间 V(F)都与数域 F有相同基数的结论 .     

数域空间

本文试图通过向量空间的定义,按照普通数的加法与乘法定义出数域空间,进而讨论构成数域空间的充分必要条件及其维数。 1 向量空间与数域空间的概念定义1 令V是一个非空集合,F是一个数域,当它满足下列条件时,称V是数域F上的一个向量空间(或线性空间)。其中V中的元素称为向量,F中的元素称为数(或纯量)。     

环的整体强无挠维数与STH环

设R是任何环,D是右R-模.若对任何平坦维数有限的左R-模M,有TorR1(D,M)=0,则D称为强无挠模.利用模的强无挠维数和环的整体强无挠维数对环进行刻画,引入了st-VN正则环和STH环的概念.     

强无挠模和环的整体强无挠维数

设R是任何环,D是右R-模.若对任何平坦维数有限的左R-模M,有Tor_1~R(D,M)=0,则D称为强无挠模.强无挠模对Gorenstein环的研究发挥了重要的作用.为了对强无挠模作进一步刻画,首先证明(D_∞,F_∞)是Tor-挠理论当且仅当1.FFD(R)∞,其中,D_∞和F_∞分别表示强无挠右R-模类和平坦维数有限的左R-模类.还证明每一右R-模是强无挠模当且仅当1.FFD(R)=0.最后证明若1.FFD(R)∞,则1.FFD(R)=stf.dim(R),其中stf.dim(R)表示环R的(右)整体强无挠维数.     

向量空间L(V)的一个基

给出了数域 F 上 n~2维向量空间 L(V)的一个基.     

一类线性有限自动机的线性τ-弱逆

戴宗铎等人在域F上的一元多项式环F[z]与域F上的形式幂级数环F[[z]]之间,定义了一种乘法"*",使得F[[z]]作成一个F[z]一模,利用此模研究了线性有限自动机.在此讨论了一类线性有限自动机的线性τ-弱逆,给出了这类线性有限自动机一定τ-弱可逆的充分条件、构成它的τ-弱逆线性有限自动机的充要条件以及τ-弱逆线性有限自动机自由响应模的最小维数.     

渐进式的抽象思维在高等代数教学中的应用

在高等代数的教学中,笔者发现,向量空间的基和维数的概念及性质这部分内容较为抽象,学生往往感到难以掌握（主要是反映在解题困难）。如何处理这部分内容教学过程的各个环节,值得探讨。下面谈谈我的体会。 一、教学过程中,应遵循“由具体到抽象”这一思维发展规律。 对于数域F上的有限生成的向量空间V,学生容易了解到:若V不是零空间,则V中一定含有无限个向量,给学生引例:解几中,平面上一切始点在原点的向量组成的向量空间V_2中含有无     

正交化的矩阵方法

设V是特征数2的除环△上的n维向量空间,g(x,y)是V上的一个Hermite纯量积。本文给出了用矩阵的初等变换得到V的正交基的构造性证明。当V是实数域上的有限维向量空间,g(x,y)是正定对称纯量积时,本文给出了用矩阵的初等变换得到笛卡尔基的方法。这一方法推广了Schmidt正交化方法。作为推论,我们可以利用矩阵的初等变换把一个正定矩阵分解为两个三角矩阵的积,把一个非奇异实矩阵分解为一个正交矩阵与一个上三角矩降的乘积。     

关于可对角化线性算子的一点注记(英文)

域F上有限维向量空间V的线性算子τ∈L(V)可对角化当且仅当它的极小多项式mτ(x)是F上互异一次因式之积.文章将利用线性算子τ的特征值的初等对称多项式给出此结果的一个新证明.     

有关实Hamel基的不可测集

任意除环D上的一个向量空间V必有一个基,称为Hamel基。这可用有限特性子集集或Zorn引理证明。一般的Hamel基是实Hamel基的推广,本文只论后者,所谓实Hamel基是指:以Q及R表示有理数域与实数域,将及看作是Q上的一个向量空间,则存在着R的一个子集B(不具唯一性),使得: (A):B的每个有限子集都是Q上的线性无关组。 (B):R的每个元都可唯一地(但不计加项的先后及0项)表成B的元的有限线性组合,系数在Q内,即任意实数x=∑riba,其中r_i∈Q,b_a∈B,{a_i}是B的标集,∑表示有限和,表示式是唯一的。     

局部环 R 上一般线性群的生成元定理

本文主要是将域 F 上一般线性群 GL_n(F)的生成元定理,推广到局部环 R 上的一般线性群 GL_n(R).因为对 n 维 R——空间 V 及 GL_n(R)中元素σ,Q=(σ-1)V 及M={x∈V|σx=x}一般只是空间 V 的 R——子模,未必是 V 的 R——子空间,故 O.T.O'Meara 所定义的剩余空间的概念,不能直接引用。但不难指出,对空间 V 的任意子模,均存在依赖于该子模的不变量。据此,可对 GL_n(R)的元素,引进剩余数的概念,并在此基础上得到本文的结果。     

欧几里得环上有限生成模的分解

本文主要介绍欧几里得环R上模M的基本理论,并且得出欧几里得环R上的任意有限生成模M都可以分解成有限个循环模的直和,最后将此理论应用到线性空间的线性变换从而得到域F上的n阶矩阵的一个广义Jordan标准型。本文分两个部份。     

有限平坦维数的Tor-自正交模

设R为一环,ωR为Tor-自正交模.引入模的右Tor-正交维数(相对于ωR)这一概念,并且给出了一种计算模的这种相对右Tor-正交维数的准则.对一个交换、凝聚的半局部环R和一有限表示的Tor-自正交模R-模ω,将证明ω的平坦维数与R/J的右Tor-正交维数(相对于ωR)是相等的,其中J为环R的Jacobson根.作为上...     

环R与环R{X}上的模

证明了w- 投射的w -模一定是自反模 ,得到在PVMD上每个有限型的w- 模都是自反模 .并证明了弱整体维数有限的凝聚整环一定是PVMD ,且其中的素w- 理想一定是平坦模 .同时 ,还建立w -operation的两个实现定理 ,即若R是SM整环 ,则R{X}是Noether整环 ;F是w 投射R 模 ,则F{X}是投射R{X} 模 .     

Auslander-Buchsbaum 定理的推广

Auslander—Buchsbaum定理指出,如果R是一个整体维数有限的Noether局部环,M是一个有限生成的非零R一模,那么pdRM CodimRM=g1．dimR．文献[2]证明上述公式对极大理想为有限生成的凝聚环上的有限表现的非零Noether模依然成立．本文试图将Auslander—Buchsbaum公式推广到任意的交换凝聚环上．     

有限伪反射群的二维不变式

设F是特征数为0的域,V是F上的n维向量空间,G是作用在n维向量空间V上的有限伪反射群,F[V*]G是由n个代数无关的齐次不变式f1,f2,…,fn在F上生成的多项式代数.在有限伪反射群的一般不变式理论的基础上,求出了G的二维不变式环F[2V*]G的一组基本不变式,f1(x1,x2,…,xn),f2(x1,x2,…,xn),…,fn(x1,x2,…,xn),f1(y1,y2,…,yn),f2(y1,y2,…,yn),…,fn(y1,y2,…,yn),这里F[2V*]=F[x1,x2,…,xn;y1,y2,…yn].并给出了F[2V*]G的基本不变式和有限伪反射群G之间的关系.     

关于半单纯模为自反模的一个充分必要条件

本文给出了一个关于可有限分解的半单纯模为自反模的一个充分必要条件,从而证明了呆有限分解的半单纯模Ｘ＝⊙ｉ＝１→ｎ Ｘｉ为自反模当且仅当Ｘ同构于某个除环上的ｎ维向量空间。     

关于Gorenstein FP-内射模及维数

首先给出右GFPI-封闭环的定义,即称环R是右GFPI-封闭环,如果所有的Gorenstein FP-内射右R-模类关于扩张封闭.证明当R是右凝聚与右GFPI-封闭环时,所有的Gorenstein FP-内射右R-模类是内射可解类.特别地,研究优越扩张环上模的Gorenstein FP-内射性质,证明当R与S是右凝聚环,S是R的优越扩张时,如果M是Gorenstein FP-内射右R-模,则HomR(S,M)是Gorenstein FP-内射右S-模,并且证明如果M是Gorenstein FP-内射右S-模,则M是Gorenstein FP-内射右R-模.另外,当R是右凝聚与右GFPI-封闭环时,给出Gorenstein FP-内射维数的若干等价刻画.