230 results
Search Results
202. A Note on a Generic Hyperplane Section of an Algebraic Variety
- Author
-
Wei-eihn Kuan
- Subjects
Discrete mathematics ,Function field of an algebraic variety ,General Mathematics ,010102 general mathematics ,Dimension of an algebraic variety ,Hyperplane section ,Algebraic variety ,01 natural sciences ,Generic point ,Algebraic cycle ,Algebra ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Mathematics ,Singular point of an algebraic variety - Abstract
Let V be an irreducible algebraic variety of dimension > 1 defined over a field k in an affine n-space over k, and let H be the generic hyperplane defined by u0 + u1X1 + … + unXn = 0, where u0, u1, …, un are indeterminates over k. It is well known that:(1) if V is normal over k, then V ∩ H is normal over k(u0, …, un) (see [6]), and(2) if P is in the intersection V ∩ H, then P is absolutely simple on V ∩ H over k(u0, …, un) if and only if P is absolutely simple on V over k (see [2; 5]).In this paper we prove:(1′) if V is factorial over k, then V ∩ H is also factorial over k(u0, …, un) (Theorem 3), and(2′) if P is in V ∩ H, then P is normal on V ∩ H over k(u0, …, un) if and only if P is normal on V over k (Theorem 2).
- Published
- 1970
203. A Generalization of Difference Sets
- Author
-
Robert J. McEliece
- Subjects
Algebra ,Generalization ,General Mathematics ,Mathematics - Abstract
A(v, k,λ)difference set Dis a set ofkdistinct residues{a1, a2,… ,ak} modulovsuch that every residueb ≢0 (modv)can be expressed in exactly λ ways in the formb≡ai— aj(modv).With each difference set we may associate a binary periodic sequence (s1, s2, …) withsi= 1 ifi(mod v) is inD,andsi= 0 otherwise. Since this sequence is periodic of periodv,we need only consider one cycle from the sequence. Such cycles we agree to call (binary)difference cycles.Difference cycles (equivalently, difference sets) have been studied intensively (2, 4). They have important applications to digital communications, mainly because they have2-level autocorrelation.In this paper we shall point out certain other (equivalent) properties of difference cycles which seem susceptible to immediate generalization, but show that these generalizations are vacuous.
- Published
- 1967
204. Cohomology Theorems for Borel-Like Solvable Lie Algebras in Arbitrary Characteristic
- Author
-
G. Leger and Eugene M. Luks
- Subjects
Pure mathematics ,General Mathematics ,010102 general mathematics ,Non-associative algebra ,Killing form ,Kac–Moody algebra ,01 natural sciences ,Representation theory ,Affine Lie algebra ,Lie conformal algebra ,Algebra ,Adjoint representation of a Lie algebra ,Representation of a Lie group ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
This paper develops some techniques for the study of derivation algebras and cohomology groups of Lie algebras. We are especially concerned with solvable algebras over arbitrary fields with structural properties like those of the Borel subalgebras of complex semi-simple Lie algebras. In particular, these algebras are semi-direct sums of nilpotent ideals and abelian subalgebras which act on the ideals in a semi-simple fashion. We make strong use, in our discussion, of a cohomology theorem of Hochschild-Serre. This result is stated herein (§ 2) in a modified form which allows us to omit the original hypothesis that the base field have characteristic 0.
- Published
- 1972
205. Graphical Regular Representations of Non-Abelian Groups, I
- Author
-
Mark E. Watkins and Lewis A. Nowitz
- Subjects
Group (mathematics) ,General Mathematics ,010102 general mathematics ,Regular representation ,Roman numeral I ,Mathematical proof ,01 natural sciences ,Non-abelian group ,Set (abstract data type) ,Algebra ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
In this paper, all groups and graphs considered are finite and all graphs are simple (in the sense of Tutte [8, p. 50]). IfXis such a graph with vertex setV(X)and automorphism groupA(X),we say thatXis agraphical regular representation(GRR) of a given abstract groupGif(I) G ≅ A(X) , and(II)A(X)acts onV(X) as a regular permutation group; that is, givenu, v∈V(X), there exists a uniqueφ∈A(X)for whichφ(u) =v.That for any abstract groupGthere exists a graphXsatisfying (I) is well-known (cf. [3]).
- Published
- 1972
206. Factorization Ladders and Eigenfunctions
- Author
-
G. F. D. Duff
- Subjects
Algebra ,Factorization ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Eigenfunction ,01 natural sciences ,Mathematics - Abstract
The eigenfunctions of a boundary value problem are characterized by two quite distinct properties. They are solutions of ordinary differential equations, and they satisfy prescribed boundary conditions. It is a definite advantage to combine these two requirements into a single problem expressed by a unified formula. The use of integral equations is an example in point. The subject of this paper, namely the Schrödinger-Infeld Factorization Method, which is applicable to certain restricted. Sturm-Liouville problems, is based upon another combination of the two properties. The Factorization Method prescribes a manufacturing process.
- Published
- 1949
207. Partial Solution to Mackey's Problem about Modular Pairs and Completeness
- Author
-
Samuel S. Holland
- Subjects
Discrete mathematics ,business.industry ,General Mathematics ,010102 general mathematics ,Modular design ,01 natural sciences ,Algebra ,Completeness (order theory) ,0103 physical sciences ,Partial solution ,010307 mathematical physics ,0101 mathematics ,business ,Mathematics - Abstract
Two elements A, B of a lattice are said to form a modular pair when (X ∨ A) Λ B = X ∨ (A Λ B) holds for all X ≦ B, and are said to form a dual-modular pair when (X Λ A) ∨ B = X Λ (A ∨ B) holds for all X ≧ B.We are concerned here with a particular lattice, the lattice of closed subspaces of a normed linear space, and with a question posed by Mackey in 1945 (6, p. 206, problem 2), namely:“Are there any incomplete normed linear spaces in whose lattices of closed subspaces modularity and d-modularity are equivalent?”.The principal result of this paper is the following.
- Published
- 1969
208. A Class of Three-Generator, Three-Relation, Finite Groups
- Author
-
J. W. Wamsley
- Subjects
Algebra ,Class (set theory) ,Generator (computer programming) ,Group of Lie type ,Relation (database) ,General Mathematics ,CA-group ,Cycle graph (algebra) ,Mathematics ,Non-abelian group - Abstract
Mennicke (2) has given a class of three-generator, three-relation finite groups. In this paper we present a further class of three-generator, threerelation groups which we show are finite.The groups presented are defined as:with α|γ| ≠ 1, β|γ| ≠ 1, γ ≠ 0.We prove the following result.THEOREM 1. Each of the groups presented is a finite soluble group.We state the following theorem proved by Macdonald (1).THEOREM 2. G1(α, β, 1) is a finite nilpotent group.1. In this section we make some elementary remarks.
- Published
- 1970
209. On the Semisimplicity of Modular Group Algebras. II
- Author
-
D. S. Passman
- Subjects
Algebra ,Modular group ,General Mathematics ,Mathematics - Abstract
Let G be a discrete group, let Kbe an algebraically closed field of characteristic p > 0 and let KGdenote the group algebra of Gover K.In a previous paper (2) I studied the Jacobson radical JKGof KGfor groups Gwith big abelian subgroups or quotient groups. It is therefore natural to next consider metabelian groups, and I do this here. The main result is as follows.THEOREM 1. Let K be an algebraically closed field of characteristic p and let a group G have a normal abelian subgroup A with G/A abelian. Then JKG ≠ {0} if and only if G has an element g of order p such that the A-conjugacy class gA is finite and such that the group is periodic.Note that since and G/Ais abelian, we do in fact have .
- Published
- 1969
210. Modular Representations of Sn
- Author
-
G. de B. Robinson
- Subjects
Algebra ,business.industry ,General Mathematics ,Modular design ,business ,Mathematics - Abstract
The purpose of this paper is to clarify and sharpen the argument in the last two chapters of the author's Representation theory of the symmetric group(3). When these chapters were written the peculiar properties of the case p = 2 were not fully appreciated. No difficulty arises in the definition of the block in terms of the p-core, or in the application of the general modular theory based on the formula
- Published
- 1964
211. An Algorithmic Solution for a Word Problem in Group Theory
- Author
-
N. S. Mendelsohn
- Subjects
General Mathematics ,Algorithmic learning theory ,010102 general mathematics ,Small cancellation theory ,01 natural sciences ,Coset enumeration ,Algebra ,0103 physical sciences ,010307 mathematical physics ,Word problem (mathematics) ,0101 mathematics ,Word problem for groups ,Group theory ,Mathematics - Abstract
This paper describes a systematic procedure which yields in a finite number of steps a solution to the following problem. Let G be a group generated by a finite set of generators g1, g2, g3, . . . , gr and defined by a finite set of relations R1 = R2 = . . . = Rk = I, where I is the unit element of G and R1R2, . . . , Rk are words in the gi and gi-1. Let H be a subgroup of G, known to be of finite index, and generated by a finite set of words, W1, W2, . . . , Wt. Let W be any word in G. Our problem is the following. Can we find a new set of generators for H, together with a set of representatives h1 = 1, h2, . . . , hu of the right cosets of H (i.e. G = H1 + Hh2 + . . . + Hhu) such that W can be expressed in the form W = Uhp, where U is a word in .
- Published
- 1964
212. Algebraic Approximation of Curves
- Author
-
Andrew H. Wallace
- Subjects
Algebra ,Discrete mathematics ,Function field of an algebraic variety ,General Mathematics ,Algebraic surface ,Real algebraic geometry ,Algebraic extension ,Algebraic function ,Dimension of an algebraic variety ,Differential algebraic geometry ,Singular point of an algebraic variety ,Mathematics - Abstract
In his paper on the algebraic approximation of differentiable manifolds Nash (1) introduced the concept of a sheet of a real algebraic variety (see the definition in §16 below) and raised certain questions of a general nature. In attempting to answer these questions it has been necessary to evolve some sort of technique for manipulating curves on algebraic varieties, and, in particular, to set up a criterion for the possibility of approximating a sequence of analytic arcs (definition in §1) joined end to end by a single analytic arc.
- Published
- 1958
213. On the Basis Problem for Vector Valued Function Spaces
- Author
-
H. W. Ellis
- Subjects
Algebra ,Basis (linear algebra) ,Dual space ,General Mathematics ,Locally convex topological vector space ,Topological tensor product ,Basis function ,Lp space ,Mathematics ,Schauder basis ,Normed vector space - Abstract
1. Introduction. In a recent paper (2) Halperin and the author considered separable Banach spaces Lλ of real valued functions on general measure spaces and proved the existence of 1-regular (§2) Haar or σ-Haar bases when λ was the classical p-norm or any levelling length function (3) and, more generally, of K-regular Haar or σ-Haar bases when λ was a continuous length function satisfying certain additional conditions (2, Theorem 3.2).
- Published
- 1956
214. Eigenfunctions of Operator-Valued Analytic Functions
- Author
-
Malcolm J. Sherman
- Subjects
Algebra ,Operator (computer programming) ,General Mathematics ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,Eigenfunction ,GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries) ,Mathematics ,Analytic function - Abstract
This paper is a sequel to [2], whose primary purposes are to clarify and generalize the concept introduced there of an eigenfunction of an inner function, and to answer questions raised there concerning the equivalence of several possible forms of the definition. A new definition, proposed here, leads to a complete characterization of the eigenfunctions of Potapov inner functions of normal operators, and the result is more satisfactory than [2, Theorem 3.4], although the latter is used strongly in the proof.Let be an inner function in the sense of Lax; i.e., is almost everywhere (a.e.) a unitary operator on a separable Hilbert space and belongs weakly to the Hardy class H2. An analytic function q (which will have to be a scalar inner function) was defined to be an eigenfunction of if the set of z in the disk {z: |z| ≦ 1} for which is invertible is a set of linear measure 0 on the circle {z: |z| = 1}.
- Published
- 1970
215. Lifting Inductive and Projective Limits
- Author
-
Johann Sonner
- Subjects
Algebra ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,Projective test ,01 natural sciences ,Mathematics - Abstract
In this paper, which is the fourth in a series of articles (11, 12, 13) on universal solutions in categories, a relationship between inductive limits and final structures (or projective limits and initial structures) is studied. The problems to be encountered are illustrated by the following example.
- Published
- 1967
216. On a Type Problem
- Author
-
James A. Jenkins
- Subjects
Algebra ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
Considerable interest has attached to the problem of determining the type of a Riemann surface obtained by performing an identification between the edges of a strip or a half-strip (1, 2, 4, 5, 8). A fairly thorough analysis was made in 1946 by Volkovyskii (6) who gave various sufficient conditions for parabolic and hyperbolic type. The object of the present paper is to show that his principal sufficient condition for hyperbolic type can be substantially improved.
- Published
- 1959
217. Solution to a Problem of Spector
- Author
-
A. H. Lachlan
- Subjects
Algebra ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,010307 mathematical physics ,0101 mathematics ,01 natural sciences ,Mathematics - Abstract
In [6, p. 586] Spector asked whether given a number e there exists a unary partial function from the natural numbers into {0, 1} with coinfinite domain such that for any function ƒ into {0, 1} extending it is the case thatWe answer this question affirmatively in Corollary 1 below and show that can be made partial recursive (p.r.) with recursive domain. The reader who is familiar with Spector's paper [6] will find the new trick that is required in the first paragraph of the proof of Lemma 2 below.From one point of view, this is a theorem about trees which branch twice at every node. We shall formulate a generalization which applies to trees which branch n times at every node.
- Published
- 1971
218. Basic Objects for an Algebraic Homotopy Theory
- Author
-
Paul Cherenack
- Subjects
Homotopy lifting property ,Homotopy category ,General Mathematics ,Homotopy ,010102 general mathematics ,Cofibration ,01 natural sciences ,Regular homotopy ,Algebra ,n-connected ,Homotopy sphere ,0103 physical sciences ,A¹ homotopy theory ,010307 mathematical physics ,0101 mathematics ,Mathematics - Abstract
The purposes of this paper are:(A) To show (§§ 1, 3, 5) that some of the usual notions of homotopy theory (sums, quotients, suspensions, loop functors) exist in the category of affine k-schemes where the affine rings are countably generated.(B) By example to demonstrate some of the more geometric relations between two objects of and their quotient or to study the algebraic suspension of one of them. See §§ 2.1, 2.2, 2.3, 3.(C) To prove (§4) that the algebraic suspension (in R/) of the n-sphere is homeomorphic to the n + 1 sphere for the usual topologies.(D) To show that the algebraic loop functor is right adjoint to the algebraic suspension functor (§5).These results can be viewed as a precursor of definitions for an algebraic homotopy theory from a “geometric” point of view (rather than a more algebraic standpoint employing Galois theory [5]).
- Published
- 1972
219. Classes of Functions on Algebras
- Author
-
C. G. Cullen and C. A. Hall
- Subjects
Complex field ,General Mathematics ,010102 general mathematics ,Function (mathematics) ,01 natural sciences ,Domain (mathematical analysis) ,Algebra ,Range (mathematics) ,0103 physical sciences ,Associative algebra ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,010307 mathematical physics ,0101 mathematics ,GeneralLiterature_REFERENCE(e.g.,dictionaries,encyclopedias,glossaries) ,Real field ,Mathematics - Abstract
Let be a finite-dimensional linear associative algebra over the real field R or the complex field C and let F be a function with domain and range in .Several classes of functions on have been discussed in the literature, and it is the purpose of this paper to discuss the relationships between these classes and to present some interesting examples. First we shall list the definitions of the classes we wish to consider here.
- Published
- 1966
220. A New Group Algebra for Locally Compact Groups II
- Author
-
John Ernest
- Subjects
Algebra ,Compact group ,General Mathematics ,010102 general mathematics ,0103 physical sciences ,ComputingMethodologies_DOCUMENTANDTEXTPROCESSING ,010307 mathematical physics ,Group algebra ,Locally compact space ,0101 mathematics ,01 natural sciences ,Mathematics ,Group ring - Abstract
In an earlier work, we defined and described a new group algebra , which is a von Neumann algebra containing the group G (3). In this paper we continue this study be relating the lattice of normal subgroups of the group G to the lattice of central projections of the group algebra . More precisely, we shall exhibit a one-to-one mapping ϕ of the lattice of closed normal subgroups of G into the lattice of central projections of , having the property that if N1 ⊂ N2, then ϕ(N2) ≤ ϕ(N1).
- Published
- 1965
221. The Group Ring Of a Class Of Infinite Nilpotent Groups
- Author
-
S. A. Jennings
- Subjects
Pure mathematics ,Ring (mathematics) ,General Mathematics ,010102 general mathematics ,Unipotent ,Central series ,01 natural sciences ,Algebra ,Nilpotent ,Infinite group ,0103 physical sciences ,010307 mathematical physics ,Ideal (ring theory) ,0101 mathematics ,Nilpotent group ,Mathematics ,Group ring - Abstract
Introduction. In this paper we study the (discrete) group ring Γ of a finitely generated torsion free nilpotent group over a field of characteristic zero. We show that if Δ is the ideal of Γ spanned by all elements of the form G − 1, where G ∈ , thenand the only element belonging to Δw for all w is the zero element (cf. (4.3) below).
- Published
- 1955
222. Finite-to-One Open Mappings
- Author
-
Edwin Duda and W. Hugh Haynsworth
- Subjects
Algebra ,General Mathematics ,Mathematics - Abstract
The class of finite-to-one open mappings on manifolds contains some important subclasses. Any non-constant analytic function from a bounded region in its domain of definition is finite-to-one. Church [2] showed that any light strongly open Cn map f: Rn → Rn is discrete. A number of papers concerning discrete open mappings on manifolds have been published; see [1-6; 8-9; 11-14].A result of Černavskiĭ [1] (see also [13]) shows that for any discrete strongly open mapping f : Mn → Nn of an n-manifold into an n-manifold, the branch set of f has dimension less than n – 1. If f is also a closed map, then N(f) is finite and the set of points x for which N(x, f) = N(f) is an open dense connected subset of Mn.
- Published
- 1971
223. On the Integral Extensions of Quadratic Forms Over Local Fields
- Author
-
Melvin Band
- Subjects
Algebra ,General Mathematics ,Mathematical analysis ,Binary quadratic form ,Quadratic field ,Mathematics - Abstract
Let F be a local field with ring of integers and unique prime ideal (p). Suppose that V a finite-dimensional regular quadratic space over F, W and W′ are two isometric subspaces of V (i.e. τ: W → W′ is an isometry from W to W′). By the well-known Witt's Theorem, τ can always be extended to an isometry σ ∈ O(V).The integral analogue of this theorem has been solved over non-dyadic local fields by James and Rosenzweig [2], over the 2-adic fields by Trojan [4], and partially over the dyadics by Hsia [1], all for the special case that W is a line. In this paper we give necessary and sufficient conditions that two arbitrary dimensional subspaces W and W′ are integrally equivalent over non-dyadic local fields.
- Published
- 1970
224. Axioms for Elliptic Geometry
- Author
-
David Gans
- Subjects
Algebra ,Elliptic geometry ,Non-Euclidean geometry ,General Mathematics ,Euclidean geometry ,Mathematical analysis ,Ordered geometry ,Absolute geometry ,Foundations of geometry ,Synthetic geometry ,Mathematics ,Projective geometry - Abstract
Until recently the literature contained little on the axiomatic foundations of elliptic geometry that was non-analytical and independent of projective geometry. During the past decade this subject has come in for further study, notably by Busemann [2] and Blumenthal [1], who supplied such foundations. This paper presents another and, it is believed, simpler effort in the same general direction, proceeding by the familiar synthetic methods of elementary geometry and using only elementary topological notions and ideas concerning metric spaces. Specifically, elliptic 2-space is obtained on the basis of six axioms, most notable of which is one assuming the existence of translations. The writer wishes to express his deep appreciation to Herbert Busemann for his invaluable help.
- Published
- 1952
225. Compact Operators in Reductive Algebras
- Author
-
Edward A. Azoff
- Subjects
Algebra ,General Mathematics ,Compact operator ,Mathematics - Abstract
Let be a Hilbert space and denote the collection of (bounded, linear) operators on by . Throughout this paper, the term ‘algebra’ will refer to a subalgebra of ; unless otherwise stated, it will not be assumed to contain I or to be closed in any topology.An algebra is said to be transitive if it has no non-trivial invariant subspaces. The following lemma has revolutionized the study of transitive algebras. For a pr∞f and a general discussion of its implications, the reader is referred to [5].
- Published
- 1975
226. Autometrized Boolean Algebras II
- Author
-
David Ellis
- Subjects
Algebra ,General Mathematics ,Mathematics - Abstract
The writer [1] has previously examined the fundamental concepts of distance geometry in a Boolean algebra, B, with distance defined by . Any technical terms from distance geometry which are not defined in this paper may be found in [1]. A Boolean algebra bearing the given distance function is called an autometrized Boolean algebra. It is clear that the set of motions B (congruences of B with itself) form a group under substitution. This group we denote by M(B).
- Published
- 1951
227. Characterizations of Modules
- Author
-
David J. Fieldhouse
- Subjects
Algebra ,General Mathematics ,Mathematics - Abstract
In this paper we use the Bourbaki [2] conventions for rings and modules. All rings are associative but not necessarily commutative and have a 1; all modules are unital.Bass [1] calls a ring A left perfect if and only if every left A -module has a projective cover, which he shows is equivalent to every flat left A -module being projective. Bass calls a ring A semi-perfect if and only if every finitely generated module has a projective cover and shows that this concept is leftright symmetric.We will define a ring A to be quasi-perfect if and only if every finitely generated flat left A -module is projective.An exercise [6, Exercise 10, p. 136] is given by Lambek to show that every semi-perfect ring is quasi-perfect.
- Published
- 1971
228. A Theorem Concerning Partitions and its Consequence in the Theory of Lie Algebras
- Author
-
J. W. B. Hughes
- Subjects
Algebra ,Adjoint representation of a Lie algebra ,Representation of a Lie group ,General Mathematics ,Lie algebra ,Fundamental representation ,Killing form ,Affine Lie algebra ,Representation theory ,Mathematics ,Lie conformal algebra - Abstract
In the first part of this paper we state and prove a theorem concerning the partition (j; l, i) of an integer j into at most l integers , none of which exceed i; l and i being themselves integers, (j; l, i) is thus the number of distinct solutions of the equations1.1where the satisfy the inequalities1.2
- Published
- 1968
229. Correction to on the Brauer Group of Algebras Having a Grading and an Action
- Author
-
Morris Orzech
- Subjects
Algebra ,Pure mathematics ,General Mathematics ,Grading (education) ,Brauer group ,Mathematics - Abstract
Let R be a commutative ring, G a finite abelian group. Let A be an R-algebra which is graded by G (i.e. A = Σ⊕σ∈GAσ, where AσAτ ⊂ Aστ for σ, τ in G) and for which A1 is an R-module of finite type. In Remark 4.1 (a) of [1] we asserted that under these hypotheses if u is in A and u + pA is homogeneous in A/pA for each maximal ideal p of R then u is homogeneous in A. We used this assertion for u a unit in A such that a → uau–1 is a grading-preserving homomorphism. K. Ulbrich has kindly pointed out a counterexample to the assertion: R = Z/4Z, G = {1, σ};, u = 2σ + 1, p = 2R. Proposition 4.2 of [1] uses the erroneous result and is in turn invoked later in the paper.
- Published
- 1980
230. On Some Polynomials Of Touchard
- Author
-
Max Wyman and Leo Moser
- Subjects
Algebra ,General Mathematics ,Mathematics - Abstract
In the preceding paper Touchard considers a set of polynomials Qn(x) defined by1.Touchard uses (1) to compute Qn(x) for 0 ≤ n ≤ 9 and also finds Qn(-½).He remarks however “l'expression générale des polynômes Qn(x) nous echappe.”The object of this note is to derive an explicit expression for Qn(x).
- Published
- 1956
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.