Complete Decomposability in the Exterior Algebra of a Free Module

1980 ◽  
Vol 32 (1) ◽  
pp. 27-33 ◽  
Author(s):  
M. Boratynski ◽  
E. D. Davis ◽  
A. V. Geramita

Recall the classical criterion for the complete decomposability of exterior vectors: the completely decomposable vectors in ∧pRn, R a field, are precisely the “Plücker vectors,” i.e. those whose coordinates (relative to the standard bases for ∧pRn) satisfy the Plücker equations. For R an arbitrary commutative ring, completely decomposable exterior vectors are still Plücker vectors, but the converse is not generally true. Rings for which the converse is true (for all 1 ≤ p ≤ n) are called Towber rings. Noetherian Towber rings are regular and, in fact, are characterized by the property that every Plücker vector in ∧2R4 is completely decomposable. (See [10] for these two results as well as for the above mentioned facts.) The present note develops a new characterization of Towber rings, combining it with results of Kleiner [9] and Estes-Matijevic [5] in (1) below.

Author(s):  
János Nagy ◽  
András Némethi

AbstractThe present note is part of a series of articles targeting the theory of Abel maps associated with complex normal surface singularities with rational homology sphere links (Nagy and Némethi in Math Annal 375(3):1427–1487, 2019; Nagy and Némethi in Adv Math 371:20, 2020; Nagy and Némethi in Pure Appl Math Q 16(4):1123–1146, 2020). Besides the general theory, by the study of specific families we wish to show the power of this new method. Indeed, using the general theory of Abel maps applied for elliptic singularities in this note we are able to prove several key properties for elliptic singularities (e.g. the statements of the next paragraph), which by ‘old’ techniques were not reachable. If $$({\widetilde{X}},E)\rightarrow (X,o)$$ ( X ~ , E ) → ( X , o ) is the resolution of a complex normal surface singularity and $$c_1:{\mathrm{Pic}}({\widetilde{X}})\rightarrow H^2({\widetilde{X}},{\mathbb {Z}})$$ c 1 : Pic ( X ~ ) → H 2 ( X ~ , Z ) is the Chern class map, then $${\mathrm{Pic}}^{l'}({\widetilde{X}}):= c_1^{-1}(l')$$ Pic l ′ ( X ~ ) : = c 1 - 1 ( l ′ ) has a (Brill–Noether type) stratification $$W_{l', k}:= \{{\mathcal {L}}\in {\mathrm{Pic}}^{l'}({\widetilde{X}})\,:\, h^1({\mathcal {L}})=k\}$$ W l ′ , k : = { L ∈ Pic l ′ ( X ~ ) : h 1 ( L ) = k } . In this note we determine it for elliptic singularities together with the stratification according to the cycle of fixed components. E.g., we show that the closure of any $$W(l',k)$$ W ( l ′ , k ) is an affine subspace. For elliptic singularities we also characterize the End Curve Condition and Weak End Curve Condition in terms of the Abel map, we provide several characterization of them, and finally we show that they are equivalent.


2007 ◽  
Vol 06 (04) ◽  
pp. 671-685 ◽  
Author(s):  
K. VARADARAJAN

We give a complete characterization of the class of commutative rings R possessing the property that Spec(R) is weakly 0-dimensional. They turn out to be the same as strongly π-regular rings. We considerably strengthen the results of K. Samei [13] tying up cleanness of R with the zero dimensionality of Max(R) in the Zariski topology. In the class of rings C(X), W. Wm Mc Govern [6] has characterized potent rings as the ones with X admitting a clopen π-base. We prove the analogous result for any commutative ring in terms of the Zariski topology on Max(R). Mc Govern also introduced the concept of an almost clean ring and proved that C(X) is almost clean if and only if it is clean. We prove a similar result for all Gelfand rings R with J(R) = 0.


1998 ◽  
Vol 40 (2) ◽  
pp. 223-236 ◽  
Author(s):  
Gary F. Birkenmeier ◽  
Jin Yong Kim ◽  
Jae Keol Park

AbstractLet P be a prime ideal of a ring R, O(P) = {a ∊ R | aRs = 0, for some s ∊ R/P} | and Ō(P) = {x ∊ R | xn ∊ O(P), for some positive integer n}. Several authors have obtained sheaf representations of rings whose stalks are of the form R/O(P). Also in a commutative ring a minimal prime ideal has been characterized as a prime ideal P such that P= Ō(P). In this paper we derive various conditions which ensure that a prime ideal P = Ō(P). The property that P = Ō(P) is then used to obtain conditions which determine when R/O(P) has a unique minimal prime ideal. Various generalizations of O(P) and Ō(P) are considered. Examples are provided to illustrate and delimit our results.


1970 ◽  
Vol 2 (1) ◽  
pp. 117-124 ◽  
Author(s):  
Vlastimil Dlab

In the present note, we offer a simple characterization of perfect rings in terms of their components and socle sequences, which is subsequently used to establish a one-to-one correspondence between perfect rings and certain finite additive categories. This correspondence is effected by means of a matrix representation, which describes the way in which perfect rings are built from local perfect rings.


Author(s):  
George Szeto ◽  
Yuen-Fat Wong

AbstractThe quaternion algebra of degree 2 over a commutative ring as defined by S. Parimala and R. Sridharan is generalized to a separable cyclic extension B[j] of degree n over a noncommutative ring B. A characterization of such an extension is given, and a relation between Azumaya algebras and Galois extensions for B[j] is also obtained.


1981 ◽  
Vol 33 (5) ◽  
pp. 1232-1244 ◽  
Author(s):  
Hiroyuki Ishibashi

Let o be a quasi semilocal semihereditary ring, i.e., o is a commutative ring with 1 which has finitely many maximal ideals {Ai|i ∊ I} and the localization oAi at any maximal ideal Ai is a valuation ring. We assume 2 is a unit in o. Furthermore * denotes an involution on o with the property that there exists a unit θ in o such that θ* = –θ. V is an n-ary free module over o with f : V × V → o a λ-Hermitian form. Thus λ is a fixed element of o with λλ* = 1 and f is a sesquilinear form satisfying f(x, y)* = λf(y, x) for all x, y in V. Assume the form is nonsingular; that is, the mapping M → Hom (M, A) given by x → f( , x) is an isomorphism. In this paper we shall write f(x, y) = xy for x, y in V.


Author(s):  
George Szeto

AbstractThe characterization of a separable polynomial over an indecomposable commutative ring (with no idempotents but 0 and 1) in terms of the discriminant proved by G. J. Janusz is generalized to a skew polynomial ring R [ X, ρ] over a not necessarily commutative ring R where ρ is an automorphism of R with a finite order. 1980 Mathematics subject classification (Amer. Math. Soc.): 16 A 05.


1992 ◽  
Vol 34 (2) ◽  
pp. 209-214
Author(s):  
Daniel Ševčovič

The present note deals with bounded endomorphisms of free p-algebras (pseudocomplemented lattices). The idea of bounded homomorphisms was introduced by R. McKenzie in [8]. T. Katriňák [5] subsequently studied the properties of bounded homomorphisms for the varieties of p-algebras. This concept is also an efficient tool for the characterization of, so-called, splitting as well as projective algebras in the varieties of all lattices or p-algebras. For details the reader is referred to [2], [5], [6], [7] and other references therein. Let us emphasize that the main results that are contained in the above mentioned references strongly depend on the boundedness of each endomorphism of any finitely generated free algebra in a given variety.


2018 ◽  
Vol 30 (1) ◽  
pp. 253-268 ◽  
Author(s):  
Hossein Larki

Abstract Given any finitely aligned higher-rank graph Λ and any unital commutative ring R, the Kumjian–Pask algebra {\mathrm{KP}_{R}(\Lambda)} is known as the higher-rank generalization of Leavitt path algebras. After the characterization of simple Kumjian–Pask algebras by Clark and Pangalela among others, in this article we focus on the purely infinite simple ones. Briefly, we show that if {\mathrm{KP}_{R}(\Lambda)} is simple and every vertex of Λ is reached from a generalized cycle with an entrance, then {\mathrm{KP}_{R}(\Lambda)} is purely infinite. We also prove a dichotomy for simple Kumjian–Pask algebras: If each vertex of Λ is reached only from finitely many vertices and {\mathrm{KP}_{R}(\Lambda)} is simple, then {\mathrm{KP}_{R}(\Lambda)} is either purely infinite or locally matritial. This result covers all unital simple Kumjian–Pask algebras.


Sign in / Sign up

Export Citation Format

Share Document