Another single law for groups

It has long been known that, in terms of right division, groups can be defined by a single law. In this paper a single law defining groups in terms of multiplication and inversion is proposed. This law is in 4 variables, and it is conjectured that no fewer than 4 variables will do, and that the prop...

Full description

Saved in:
Bibliographic Details
Published in:Bulletin of the Australian Mathematical Society 1981-02, Vol.23 (1), p.81-102
Main Author: Neumann, B.H.
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
cited_by cdi_FETCH-LOGICAL-c370t-ea29dd80754c49e8bc307deb4eca1b6aa4ec85fe9235bf68a99f12a55929f83a3
cites cdi_FETCH-LOGICAL-c370t-ea29dd80754c49e8bc307deb4eca1b6aa4ec85fe9235bf68a99f12a55929f83a3
container_end_page 102
container_issue 1
container_start_page 81
container_title Bulletin of the Australian Mathematical Society
container_volume 23
creator Neumann, B.H.
description It has long been known that, in terms of right division, groups can be defined by a single law. In this paper a single law defining groups in terms of multiplication and inversion is proposed. This law is in 4 variables, and it is conjectured that no fewer than 4 variables will do, and that the proposed law is of minimal length as well. Some extensions of the result, and an alternative single law with the same length and number of variables, are also discussed. By contrast, groups in terms of multiplication, inversion, and a unit element can not be defined by a single law. Most of these results were stated by Tarski at the Logic Colloquium at Hannover in 1966, but apparently no proof has yet been published.
doi_str_mv 10.1017/S0004972700006912
format article
fullrecord <record><control><sourceid>cambridge_cross</sourceid><recordid>TN_cdi_crossref_primary_10_1017_S0004972700006912</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><cupid>10_1017_S0004972700006912</cupid><sourcerecordid>10_1017_S0004972700006912</sourcerecordid><originalsourceid>FETCH-LOGICAL-c370t-ea29dd80754c49e8bc307deb4eca1b6aa4ec85fe9235bf68a99f12a55929f83a3</originalsourceid><addsrcrecordid>eNp9j91Kw0AQhRdRMFYfwAshLxDdn-zfZSnaCkURq7fLJNmNqWlSdlO0b--GFm8Er84MZ84cPoSuCb4lmMi7V4xxriWVUbHQhJ6ghEjOMyIYO0XJaGejf44uQljHjXOqEnQz7frhw_o0NF3d2rSFr9T1Pq19v9uGS3TmoA326qgT9PZwv5otsuXz_HE2XWYlk3jILFBdVQpLnpe5tqooGZaVLXJbAikEQBwUd1ZTxgsnFGjtCAXONdVOMWATRA5_S9-H4K0zW99swO8NwWbkM3_4YiY7ZJow2O_fAPhPIyST3Ij5i5Fy9sTfxcKs4j07dsCm8E1VW7Pud76LXP-0_AAcd1_4</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Another single law for groups</title><source>Cambridge University Press:JISC Collections:Full Collection Digital Archives (STM and HSS) (218 titles)</source><creator>Neumann, B.H.</creator><creatorcontrib>Neumann, B.H.</creatorcontrib><description>It has long been known that, in terms of right division, groups can be defined by a single law. In this paper a single law defining groups in terms of multiplication and inversion is proposed. This law is in 4 variables, and it is conjectured that no fewer than 4 variables will do, and that the proposed law is of minimal length as well. Some extensions of the result, and an alternative single law with the same length and number of variables, are also discussed. By contrast, groups in terms of multiplication, inversion, and a unit element can not be defined by a single law. Most of these results were stated by Tarski at the Logic Colloquium at Hannover in 1966, but apparently no proof has yet been published.</description><identifier>ISSN: 0004-9727</identifier><identifier>EISSN: 1755-1633</identifier><identifier>DOI: 10.1017/S0004972700006912</identifier><language>eng</language><publisher>Cambridge, UK: Cambridge University Press</publisher><ispartof>Bulletin of the Australian Mathematical Society, 1981-02, Vol.23 (1), p.81-102</ispartof><rights>Copyright © Australian Mathematical Society 1981</rights><lds50>peer_reviewed</lds50><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c370t-ea29dd80754c49e8bc307deb4eca1b6aa4ec85fe9235bf68a99f12a55929f83a3</citedby><cites>FETCH-LOGICAL-c370t-ea29dd80754c49e8bc307deb4eca1b6aa4ec85fe9235bf68a99f12a55929f83a3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://www.cambridge.org/core/product/identifier/S0004972700006912/type/journal_article$$EHTML$$P50$$Gcambridge$$H</linktohtml><link.rule.ids>314,780,784,27923,27924,55688</link.rule.ids></links><search><creatorcontrib>Neumann, B.H.</creatorcontrib><title>Another single law for groups</title><title>Bulletin of the Australian Mathematical Society</title><addtitle>Bull. Austral. Math. Soc</addtitle><description>It has long been known that, in terms of right division, groups can be defined by a single law. In this paper a single law defining groups in terms of multiplication and inversion is proposed. This law is in 4 variables, and it is conjectured that no fewer than 4 variables will do, and that the proposed law is of minimal length as well. Some extensions of the result, and an alternative single law with the same length and number of variables, are also discussed. By contrast, groups in terms of multiplication, inversion, and a unit element can not be defined by a single law. Most of these results were stated by Tarski at the Logic Colloquium at Hannover in 1966, but apparently no proof has yet been published.</description><issn>0004-9727</issn><issn>1755-1633</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1981</creationdate><recordtype>article</recordtype><recordid>eNp9j91Kw0AQhRdRMFYfwAshLxDdn-zfZSnaCkURq7fLJNmNqWlSdlO0b--GFm8Er84MZ84cPoSuCb4lmMi7V4xxriWVUbHQhJ6ghEjOMyIYO0XJaGejf44uQljHjXOqEnQz7frhw_o0NF3d2rSFr9T1Pq19v9uGS3TmoA326qgT9PZwv5otsuXz_HE2XWYlk3jILFBdVQpLnpe5tqooGZaVLXJbAikEQBwUd1ZTxgsnFGjtCAXONdVOMWATRA5_S9-H4K0zW99swO8NwWbkM3_4YiY7ZJow2O_fAPhPIyST3Ij5i5Fy9sTfxcKs4j07dsCm8E1VW7Pud76LXP-0_AAcd1_4</recordid><startdate>198102</startdate><enddate>198102</enddate><creator>Neumann, B.H.</creator><general>Cambridge University Press</general><scope>BSCLL</scope><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>198102</creationdate><title>Another single law for groups</title><author>Neumann, B.H.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c370t-ea29dd80754c49e8bc307deb4eca1b6aa4ec85fe9235bf68a99f12a55929f83a3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1981</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Neumann, B.H.</creatorcontrib><collection>Istex</collection><collection>CrossRef</collection><jtitle>Bulletin of the Australian Mathematical Society</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Neumann, B.H.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Another single law for groups</atitle><jtitle>Bulletin of the Australian Mathematical Society</jtitle><addtitle>Bull. Austral. Math. Soc</addtitle><date>1981-02</date><risdate>1981</risdate><volume>23</volume><issue>1</issue><spage>81</spage><epage>102</epage><pages>81-102</pages><issn>0004-9727</issn><eissn>1755-1633</eissn><abstract>It has long been known that, in terms of right division, groups can be defined by a single law. In this paper a single law defining groups in terms of multiplication and inversion is proposed. This law is in 4 variables, and it is conjectured that no fewer than 4 variables will do, and that the proposed law is of minimal length as well. Some extensions of the result, and an alternative single law with the same length and number of variables, are also discussed. By contrast, groups in terms of multiplication, inversion, and a unit element can not be defined by a single law. Most of these results were stated by Tarski at the Logic Colloquium at Hannover in 1966, but apparently no proof has yet been published.</abstract><cop>Cambridge, UK</cop><pub>Cambridge University Press</pub><doi>10.1017/S0004972700006912</doi><tpages>22</tpages><oa>free_for_read</oa></addata></record>
fulltext fulltext
identifier ISSN: 0004-9727
ispartof Bulletin of the Australian Mathematical Society, 1981-02, Vol.23 (1), p.81-102
issn 0004-9727
1755-1633
language eng
recordid cdi_crossref_primary_10_1017_S0004972700006912
source Cambridge University Press:JISC Collections:Full Collection Digital Archives (STM and HSS) (218 titles)
title Another single law for groups
url http://sfxeu10.hosted.exlibrisgroup.com/loughborough?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-12T11%3A39%3A00IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-cambridge_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Another%20single%20law%20for%20groups&rft.jtitle=Bulletin%20of%20the%20Australian%20Mathematical%20Society&rft.au=Neumann,%20B.H.&rft.date=1981-02&rft.volume=23&rft.issue=1&rft.spage=81&rft.epage=102&rft.pages=81-102&rft.issn=0004-9727&rft.eissn=1755-1633&rft_id=info:doi/10.1017/S0004972700006912&rft_dat=%3Ccambridge_cross%3E10_1017_S0004972700006912%3C/cambridge_cross%3E%3Cgrp_id%3Ecdi_FETCH-LOGICAL-c370t-ea29dd80754c49e8bc307deb4eca1b6aa4ec85fe9235bf68a99f12a55929f83a3%3C/grp_id%3E%3Coa%3E%3C/oa%3E%3Curl%3E%3C/url%3E&rft_id=info:oai/&rft_id=info:pmid/&rft_cupid=10_1017_S0004972700006912&rfr_iscdi=true