Polyadic Groups

This book provides a general, unified approach to the theory of polyadic groups, their normal subgroups and matrix representations. The author focuses on those properties of polyadic groups which are not present in the binary case. These properties indicate a strong relationship between polyadic groups and various group-like algebras, as well as ternary Hopf algebras and n-Lie algebras that are widely used in theoretical physics. The relationships of polyadic groups with special types of binary groups, called covering groups and binary retracts, are described. These relationships allow the study of polyadic groups using these binary groups and their automorphisms. The book also describes the affine geometry induced by polyadic groups and fuzzy subsets defined on polyadic groups. Finally, we discuss the categories of polyadic groups and the relationships between the different varieties of polyadic groups. In many cases, we give elegant new proofs of known theorems. We also give many interesting examples and applications. The book contains many little-known results from articles previously published in hard-to-reach Russian, Ukrainian and Macedonian journals. These articles are not in English.

This book provides a general, unified approach to the theory of polyadic groups, their normal subgroups and matrix representations. The author focuses on those properties of polyadic groups which are not present in the binary case. These properties indicate a strong relationship between polyadic groups and various group-like algebras, as well as ternary Hopf algebras and n-Lie algebras that are widely used in theoretical physics. The relationships of polyadic groups with special types of binary groups, called covering groups and binary retracts, are described. These relationships allow the study of polyadic groups using these binary groups and their automorphisms. The book also describes the affine geometry induced by polyadic groups and fuzzy subsets defined on polyadic groups. Finally, we discuss the categories of polyadic groups and the relationships between the different varieties of polyadic groups. In many cases, we give elegant new proofs of known theorems. We also give many interesting examples and applications. The book contains many little-known results from articles previously published in hard-to-reach Russian, Ukrainian and Macedonian journals. These articles are not in English.

Emil Post was a pioneer of 20th century mathematical logic whose influence on computer science is particularly remarkable considering his lack of any contact with computing machines. Post's approach, revolutionary for the time, was to study logical systems from the outside, using ordinary mathematical methods. His investigations led him to set forth what has become the standard paradigm for studying logical systems. By showing how a system of logic could be viewed as a kind of general combinatorial system, Post provided the basis for much of modern computer science. No index. Annotation copyright by Book News, Inc., Portland, OR

This anthropological study of a workers’ village in North Taiwan makes an important contribution to the comparative literature on Chinese and Taiwanese social organization. Based on fieldwork conducted in 1973 and 1978, the study is exceptional not only because of its excellent data but also because the village itself was unique. Unlike villages previously studied and written about, Ploughshare was neither an agricultural nor a fishing village, but rather one whose inhabitants earned their living mostly from coal mining, knitting, and other non-agrarian activities. Culture and environmental context thus shaped social organization there differently than in other Taiwanese villages. This ethnography links local data to surrounding socioeconomic spheres: it shows the village’s relationship to its region, to Taiwan as a whole, and to the international economy. It also captures an important point in time, as Taiwan was undergoing the “economic miracle” that brought it into the ranks of developed countries. Stevan Harrell’s new preface highlights changes not only in the village over the last several decades, but also in the ways that anthropologists think about culture and Taiwan. Ploughshare Village, with its rich descriptions and analyses, will be of value to anthropologists, sociologists, economists, and China specialists.

A co-publication of the AMS and Bar-Ilan University This volume contains the proceedings of the Research Workshop of the Israel Science Foundation on Groups, Algebras and Identities, held from March 20–24, 2016, at Bar-Ilan University and The Hebrew University of Jerusalem, Israel, in honor of Boris Plotkin's 90th birthday. The papers in this volume cover various topics of universal algebra, universal algebraic geometry, logic geometry, and algebraic logic, as well as applications of universal algebra to computer science, geometric ring theory, small cancellation theory, and Boolean algebras.

The International Conference on Information Processing and Management of - certainty in Knowledge-Based Systems, IPMU, is organized every two years with the aim of bringing together scientists working on methods for the management of uncertainty and aggregation of information in intelligent systems. Since 1986, this conference has been providing a forum for the exchange of ideas between th theoreticians and practitioners working in these areas and related ?elds. The 13 IPMU conference took place in Dortmund, Germany, June 28–July 2, 2010. This volume contains 79 papers selected through a rigorous reviewing process. The contributions re?ect the richness of research on topics within the scope of the conference and represent several important developments, speci?cally focused on theoretical foundations and methods for information processing and management of uncertainty in knowledge-based systems. We were delighted that Melanie Mitchell (Portland State University, USA), Nihkil R. Pal (Indian Statistical Institute), Bernhard Sch ̈ olkopf (Max Planck I- titute for Biological Cybernetics, Tubing ̈ en, Germany) and Wolfgang Wahlster (German Research Center for Arti?cial Intelligence, Saarbruc ̈ ken) accepted our invitations to present keynote lectures. Jim Bezdek received the Kamp ́ede F ́ eriet Award, granted every two years on the occasion of the IPMU conference, in view of his eminent research contributions to the handling of uncertainty in clustering, data analysis and pattern recognition.

This volume contains the proceedings of the 11th International Conference on Concurrency Theory (CONCUR 2000) held in State College, Pennsylvania, USA, during 22-25 August 2000. The purpose of the CONCUR conferences is to bring together researchers, developers, and students in order to advance the theory of concurrency and promote its applications. Interest in this topic is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and their - plications, and of the scienti?c relevance of their foundations. The scope covers all areas of semantics, logics, and veri?cation techniques for concurrent systems. Topics include concurrency related aspects of: models of computation, semantic domains, process algebras, Petri nets, event structures, real-time systems, hybrid systems, decidability, model-checking, veri?cation techniques, re?nement te- niques, term and graph rewriting, distributed programming, logic constraint p- gramming, object-oriented programming, typing systems and algorithms, case studies, tools, and environments for programming and veri?cation. The ?rst two CONCUR conferences were held in Amsterdam (NL) in 1990 and 1991. The following ones in Stony Brook (USA), Hildesheim (D), Uppsala (S), Philadelphia (USA), Pisa (I), Warsaw (PL), Nice (F), and Eindhoven (NL). The proceedings have appeared in Springer LNCS, as Volumes 458, 527, 630, 715, 836, 962, 1119, 1243, 1466, and 1664.