Computational aspects for Cohen-Macaulay and Buchsbaum ideals

In 1913, F.S. Macaulay introduced the concept of perfectness for homogeneous polynomial ideals. An aim of this paper is to obtain a direct method based on Macaulay's definition to decide computationally the perfectness of an ideal. We extend our methods to a certain class of Buchsbaum ideals. Another goal is to examine the hereditary property of being perfect between a homogeneous ideal α andin (α), the latter being the ideal generated by the initial terms with respect to an arbitrary admissible term order.

---

Sunto Nel 1913 F. S. Macaulay introdusse il concetto di ideale omogeneo perfetto. Uno scopo di questo lavoro è ottenere un metodo diretto, basato sulla definizione, per decidere computazionalmente se un ideale è perfetto. Estendiamo il nostro metodo anche a una certa classe di ideali di Buchsbaum. Un altro scopo è quello di esaminare la ereditarietà di essere un ideale perfetto tra un ideale omogeneo α ein (α), essendo quest'ultimo l'ideale generato dai termini iniziali respetto a un arbitrario termine ordine ammissibile.

---

---

This author would like to thank Massey University for financial support and the Department of Mathematics for its friendly atmosphere while finishing this paper.     

Algèbres Symétriques et Singularités

Riassunto Scopo di questo articolo è descrivere i generatori per la catena di ideali di Micali associati ad un ideale in un anello commutativo con elemento unità. Applichiamo i nostri risultati allo studio di singolarità di ipersuperfici algebriche.

---

Summary The aim of this paper is to describe the generators for the Micali's chain of ideals associated to an ideal in a commutative ring with unit. We apply our results in the study of singularities of algebraic hypersurfaces.

     

Sugli ideali,le congruenze e i quozienti di ω-gruppi in una categoria astratta

Riassunto Dato un anelloA in una categoria ∂ con prodotti finiti, si definisce il concetto di ?ideale diA? e si studiano le relazioni tra ideali, congruenze e ?anelli quozienti? diA.

---

Summary Given a ringA in a category ∂ with finite products, we define the concept of ?ideal ofA? and we investigate some relations between the ideals, the congruences and the ?quotient rings? ofA.

---

---

Lavoro eseguito nell'ambito dei Gruppi di Ricerca Matematica del C.N.R. per l'anno 1969–1970 (115.2182.05174).     

Su certi ideali massimali degli anelli di polinomi

Riassunto In questo lavoro vengono date alcune caratterizzazioni e condizioni di esistenza degli ideali massimali di altezza 1 degli anelli di polinomi. Uno dei risultati ottenuti è il seguente: seA è un anello noetheriano,f è un elemento massimale diA[X], allora l'ideale(f)∩A è una componente primaria isolata di (0).

---

Summary Some characterizations and existence conditions are given for maximal ideals of height 1 in polynomial rings. We note the following result: ifA is a noetherian ring,f is a polynomial such that (f) is a maximal ideal inA[X], then(f)∩A is a minimal prime which occurs in the primary decomposition of (0).

---

---

Durante quasi tutto il periodo di preparazione del presente lavoro, l'Autore ha usufruito di una botsa per laureandi del C.N.R.     

Solutions presque périodiques des inéquations d’évolution paraboliques

Sunto Si dimostra un teorema di esistenza per la soluzione quasi periodica di una disequazione d’evoluzione parabolica.

---

---

Politecnico di Milano. Lavoro eseguito usufruendo di una borsa di studio del C.N.R. per l’estero presso l’Università di Parigi.

---

Entrata in Redazione il 14 giugno 1970.     

Due questioni di relatività generale

Sunto Si considera un generico conduttore ideale elastico magnetizzabile & in Relatività generale. Si mostra che quando il moto di & è rigido secondo Born sussistono certe proprietà di invarianza per grandezze elettromagnetiche, le quali, nel caso di non magnetizzabilità, si riducono a certe proprietà già note sia in Fisica classica che in Relatività generale, cf.[11] e[14]. Inoltre si scrivono le equazioni (in termini finiti) che determinano la velocità di propagazione in & delle onde magneto-elastiche d’accelerazione e le discontinuità d’accelerazione. Con ciò si generalizzano alcuni risultati noti per fluidi.

---

Summary An arbitrary magnetizable and elastic ideal conductor, &, is considered in general Relativity. Certain invariance properties of some eletromagnetic quantities are shown to hold for &, under the condition of the Born rigidity. This is a generalization of a result that for nonmagnetizable bodies is already known in both classical physics and general Relativity, cf.[11], [14]. Furthermore the author deduces the algebraic equations for the propagation speed in & of (acceleration) magneto-elastic waves and for the discontinuity vector of acceleration. Thus some known results concerning fluids have been generalized.

---

---

Lavoro eseguito nell’ambito dell’attività dei gruppi di ricerca del C.N.R.

---

Entrata in Redazione il 26 luglio 1971.     

The group of pythagorean triples in Number fields

Sunto Generalizzando precedenti definizioni, si introduce il gruppo delle terne pitagoriche nell'anello di interi R di una fissata estensione finita K di Q. Sia S l'anello degli interi di K(i): si dà una descrizione esplicita di tali gruppi in termini delle unità di S, del suo gruppo di classi di ideali e di opportuni ideali primi di S.

---

---

Lavoro eseguito con il contribute del M.P.I.     

On flat factor rings and fully right idempotent rings

Summary We characterize those two-sided idealsf of a ringR such thatR/f is flat as a right or leftR-module. Furthermore we study those ringsR such thatR/f is leftR-flat for each two-sided ideal f; in particular whenR has finite Goldie dimension.

---

Riassunto Vengono caratterizzati gli ideali bilateri f di un anelloR tali cheR/f è piatto comeR-modulo sinistro o destro. Vengono inoltre studiati gli anelliR tali che per ogni ideale bilaterof l'R-modulo sinistroR/f è piatto, con particolare riguardo al caso in cuiR ha dimensione di Goldie finita.

---

---

Lavoro eseguito nell'ambito del G.N.S.A.G.A. del Consiglio Nazionale delle Ricerche.     

Curve aritmeticamente Buchsbaum su superfici di grado 3 e 4 dello spazio proiettivo

Riassunto Si studiano curve aritmeticamente Buchsbaum nello spazio proiettivoP ³, tali che l’ordine minimo di una superficie che le contiene è 3 o 4. Per tali curve si determinano l’ordine, il genere aritmetico, il carattere numerico connesso, il modulo di Hartshorne-Rao e la curva legata di ordine minimo. Nel caso di curve situate su superfici cubiche lisce si determinano anche i multigradi corrispondenti.

---

Summary In this paper we study arithmetically Buchsbaum curves in the projective spaceP ³, such that the minimal degree of a surface containing them is 3 or 4. For such curves we determine the degree, the aritmethic genus, the connected numerical character, the Hartshorne-Rao module, and the linked curves having minimal degree. For curves lying on smooth cubic surfaces ofP ³ we determine also the associated multidegrees.

---

---

Lavoro eseguito sotto gli auspici del G.N.S.A.G.A. del C.N.R.     

Una condizione di ergodicità per l’energia cinetica

Riassunto Si considera un sistema dinamico ooonomo ad un solo grado di libertà. Si semplifica la condizione di ergodicità di una variabile aleatoria e di tutte le funzioni di essa, data in un lavoro precedente da, B. Forte; questa nuova forma della condizione di ergodicità viene poi usata per stabilire a quale condizione necessaria e sufficiente deve soddisfare il potenziale della sollecitazione agente sul sistema perchè l’energia cinetica e tutte le funzioni di essa siano ergodiche.

---

Résumé On considère un système dynamique à un degré de liberté. On simplifie la condition d’ergodicité d’une variable aléatoire et de toutes ses fonctions, donnée dans un travail précédent par B. Forte; ensuite on emploie cette nouvelle forme de la condition d’ergodicité pour établir à quelle condition nécessaire et suffisante doit satisfaire le potentielU du système pour que l’énergie cinétique et toutes ses fonctions soient ergodiques.

---

---

Lavoro eseguito per la realizzazione del programma di ricerca del Gruppo n. 7 del C.N.R.     

Il principio di minima certezza e le sue prime applicazioni alla meccanica statistica

Sommario Si introduce il concetto di certezza di una variabile casuale. Si dimostra poi sulla base di questa nozione che è possibile dedurre da un principio di minimo la legge di distribuzione diMaxwell-Boltzmann per l’energia senza imporre con ciò alla distribuzione dei punti rappresentativi nello spazio delle fasi di essere di tipo boltzmanniano.

---

Résumé On a introduit la notion de certitude d’une variable aléatorie. On montre que sur la base de cette notion on peut déduire avec un principe de minimum la distribution deMaxwell-Boltzmann pour l’énergie sans que la distribution sur l’espace des phases soit du type deBoltzmann.

---

---

Lavoro eseguito per la realizzazione del programma di ricerca del Gruppo n. 7 del C.N.R.     

Some remarks on quasi-complete intersection space curves

Summary This paper is devoted to the study of quasi-complete intersection space curves. First, we give a Castelnuovo bound on the index of regularity fork-Buchsbaum, quasi-complete intersection space curves. Then, we prove that, smooth, arithmetically Buchsbaum, quasi-complete intersection space curves of maximal rank are unobstructed. We conclude by studying some examples and adding some remarks.

---

Riassunto Questo articolo è dedicato allo studio delle curve spaziali quasi-complete intersezioni. Dapprima, noi diamo un limite di Castelnuovo per l'indice di regolarità delle curvek-Buchsbaum, quasi-complete intersezioni. Inoltre, dimostriamo che le curve liscie, aritmeticamente di Buchsbaum, di rango massimo quasi complete intersezioni sono non ostruite. Si conclude studiando alcuni esempi e aggiungendo alcune osservazioni.

---

---

To Joan     

Un problema variazionale per soluzioni radiali di equazioni ellittiche estremanti

Sunto Si risolve un problema variazionale riguardante un operatore differenziale ordinario non lineare del secondo ordine, con una singolarità nell’origine. Il problema ha origine dalla ricerca di limitazioni puntuali per soluzioni di equazioni ellitiche non variazionali.

---

Summary A variational problem concerning a second order nonlinear ordinary differential operator with a singularity in the origin is solved. The problem arises from the research for pointwise estimates for solutions of non variational elliptic equations.

---

---

Lavoro eseguito nell’ambito del contratto ? Equazioni funzionali ? del Consiglio Nazionale delle Ricerche.

---

Entrata in Redazione il 30 novembre 1970.     

Sull’entropia di ordine α

Sommario Si propone per l’entropia di ordine α un sistema semplificato di assiomi, basato sull’assunzione di una definizione modificata dell’entropia condizionata. Il sistema tende in maniera continua al sistema classico per l’entropia diShannon.

---

Résumé On propose pour l’entropie α un système simplifié d’axiomes, en s’appuyant sur une définition modifiée de l’entropie liée. Ce système tend d’une fa?on continue au système deShannon lorsque α→1.

---

---

Lavoro eseguito per il C.N.R.—Gruppo di Ricerca n. 7. L’autore è grato al Prof.B. Forte per i suoi preziosi suggerimenti.     

Estensioni booleane di strutture relazionali

Riassunto In questa nota si introduce il concetto di estensione booleana in una struttura relazionale, facendo vedere che per questa via è possibile generalizzare in modo naturale le nozioni di potenza diretta, potenza ridotta e ultrapotenza di una struttura. Si estende inoltre alle ultraestensioni un teorema fondamentale sulle ultrapotenze.

---

Summary In this paper the notion of Boolean extension of a relational structure is introduced. It is shown that it is possible to generalize in a natural way the notions of direct power, and ultrapower of a relational structure. A foundamental theorem on ultrapowers is extended to ?ultraextensions?.

---

---

Lavoro eseguito nell’ambito dell’attività del Gruppo di Ricerca n. 37 del Consiglio Nazionale delle Ricerche per l’anno 1968–69.     

Varietà a congruenze ideali

Riassunto SiaX una classe di strutture algebriche simili,AA _i)_i∈I una famiglia di algebre diX eL _i il reticolo delle congruenze diA _i. In modo naturale ad ogni ideale di resta associata una congruenza di . Il concetto di ?congruenza ideale? cioè di congruenza diA legata a un ideale diL estende il concetto di ?congruenza filtrale? di congruenza cioè legata a un filtro suI. Ciò conduce a introdurre un concetto di ?classe ideale? di algebre che estende quello di ?classe filtrale? di [3]. Vengono estesi alle classi ideali i risultati di [3].

---

Summary LetX be a class of similar algebras, (A _i)_i∈I a family of algebras inX and letL _i be the lattice of the congruences ofA _i. In a natural way we can link each ideal ofL=IIL _i with a congruence ofA=IIA _i. So we are brought to consider ?ideal classes? of algebras wich are an extension of ?filtral classes? [3]. The results of [3] are extended to ?ideal classes?.

---

---

Lavoro eseguito nell'ambito dell'attività del Comitato Nazionale per la Matematica del C.N.R., contratto 115218205174, anno 1970.     

On steady irrotational flow of incompressible ideal fluid in a circular domain with free surface

We study irrotational steady flows of an incompressible ideal fluid in a two-dimensional circular domain, with free surface. Stationary solutions have been studied as bifurcation problems assuming the obstacle exactly circular, and in the presence of surface tension. In this paper, disregarding the surface tension, for non circular obstacles, we analize the set of solutions close to bifurcation points letting the Froud number as driving parameter.

---

Sunto Si studiano moti irrotazionali stazionari di un fluido ideale incomprimibile in un dominio bidimensionale circolare con superficie libera. Di recente, le soluzioni stazionarie sono considerate come problemi di biforcazione assumendo che l’ostacolo sia un cerchio, supponendo che vi sia una tensione superficiale sulla superficie libera. In questo lavoro trascurando la tensione superficiale e considerando ostacoli non circolari, analizziamo l’insieme delle soluzioni vicino punti di biforcazione al variare del numero di Fround.

     

Sulla classificazione delle curve algebriche sghembe in base alla determinazione di tutti I multilateri sghembi connessi per ogni ordine e genere

Riassunto In questa Nota viene continuato (per il caso din=7) lo studio dei multilateri sghembi di ordinen e generep dati, conn+p−1 vertici di connessione e che sono casi limite di curve algebriche sghembe irriducibili, studio già iniziato (pern≤6) in un precedente lavoro.

---

Résumé Dans cette Note on continue (pour le casn=7) l’étude des multilatères gauches d’ordren et de genrep donnés, ayantn+p−1 sommets de connexion, et qui sont des cas limites de courbes, gauches algébriques irriductibles, étude déjà initiée (pourn≤6) dans un précédent travail.

---

---

(Nota II)

---

Lavoro eseguito nell’ambito dell’attività del Gruppo di ricerca n. 26 del Comitato Nazionale per la Matematica del C.N.R. per l’anno accademico 1963–64.     

On the stability of couette-benard M.H.D. flows of binary mixtures

Summary We study a class of Couette-Benard M.H.D. flows of a binary mixture in a plane slant layer. By using the theory of semigroups of linear bounded transformations, we prove that the initial-value problem forfinite perturbations has one and only one solution belonging to a suitable Banach space. Finally, we show the inconditionated asymptotical stability in norm of such a solution.

---

Sunto Si studia una classe di moti magnetoidrodinamici alla Couette-Benard di una miscela fluida binaria in uno strato piano obliquo e, con le tecniche della teoria dei semigruppi di trasformazioni lineari limitate, si dimostra, in un opportuno spazio di Banach, l’esistenza e l’unicità della soluzione del problema di evoluzione per perturbazionifinite e l’incondizionata stabilità asintotica in norma di tali moti.

---

---

Entrata in Redazione il 19 Ottobre 1974.

---

Work performed under the auspices of the National Research Council (C.N.R., Gruppo Nazionale per la Fisica Matematica).