84:
74:
53:
210:. Obviously the reason for that is precision, which is important also. But the problem is that a definition of an unfamiliar term is often given in terms of 2-3 other unfamiliar terms, which in turn are defined in terms of more unfamiliar terms, etc.. I find myself diving through several layers of dependency definitions -- each with a different wikipedia page -- just to unpack one definition. And the problem with specialized notation is that it is not even clear
22:
323:
Semigroup theory is not commonly thought even to math PhDs, although they'd probably at least have heard of the definition. The page for semigroups does however formally define it. Your complaint doesn't seem have anything specific about this page, which should definitely not repeat the definition of a semigroup.
386:. So that section of the article should be expanded by instantiating those notions from a more accessible incarnation of a *-semigroup (like those mentioned in the lead). Alas, given the relative obscurity of the topic, the only treatments appear in graduate-level textbooks, so it may require a bit of
267:
As a case in point, I was just looking up the definition of "inverse relation" on wikipedia, and the explanation talked about a "semigroup with involution", so I had to look up that, which was defined in terms of a "semigroup", so I had to look up that page, which says that "A semigroup generalizes a
455:
As far as I can see a *-regular semigroup is purely and simply an inverse semigroup (the inversion need not be the only involutory anti-isomorphism but if a regular semigroup has an involutory anti-isomorphism then the inverses are unique and so it is an inverse semigroup, which is also a '-regular
322:
In general learning mathematics from
Knowledge is not a good idea if one is clueless about basics. I have to say that while it's possible to get a compsci PhD (even from MIT) without ever learning the definition of a semigroup, that doesn't imply mean the math pages here need a lot of changes.
440:
so those are a prerequisite in order to grasp what's going on there. (The axiomatic definition that follows doesn't help much.) Besides that, it's rather unfortunate (if I got this right) that *-regular semigroup doesn't just mean a *-semigroups that's also a regular semigroup. Due to the
264:, though of course they should be clearly noted as being imprecise. The key point in a plain language definition is to avoid domain-specific jargon. For example: "Roughly speaking, a foo is . . . ". And later: "More precisely, a foo is . . . " (with full rigor and jargon).
181:
Actually, that wasn't the case. The rewritten section explains the distinction (correctly, I hope). To get example 6 you need to take the quotient of the free monoid with involution by identifying every letter with its own involution/inverse.
435:
The study of these appears to have been motivated by some additional properties of the
Penrose-Moore inverse that aren't shared by *-semigroups at large. This section is the most newbie-unfriendly because is states things in terms of
306:
I hope the above suggestions are helpful and don't just sound like complaints. I know it is hard to write such things in widely understandable ways, and I very much appreciate the efforts of all editors who contribute. Thanks! --
405:
Well, a few pages later, Lawson covered that, so... I've added it. Also, it occurred to me that the *-semigroup of binary relations is a rather trivial case of the full linear monoid on binary matrices (i.e. over
202:
I have a PhD in
Computer Science, and I've certainly had reasonable exposure to math and logic over the years, but I find this article unbearably difficult to unpack. The main problem is the
140:
462:
If correct then it should be clearly stated (and in consequence the Moore-Penrose inverse is just the inverse in an inverse semigroup, which should also be clearly stated).
252:
232:
490:
130:
485:
106:
463:
442:
416:
391:
360:
338:
324:
234:(which I do know, but I'm just using as an example). Ask yourself: What would a reader type into a google search, to find out what the
183:
359:
does that. I've actually spent a good number of minutes trying to phrase that in words, but I think it's a pretty pointless exercise.
97:
58:
337:
Also the lead of this page contains two examples that anyone with PhD in any science should have little trouble understanding.
382:) notions from C*-algebras, which may be unfamiliar to someone who came here (say) from the set theory example that is the
166:
is trying to say that the only free semigroup with involution is basically the one where word reversal is the involution?
295:
think it is important to introduce the jargon that is used in the field, but it should be fairly clearly separated from
33:
375:
163:
351:
Also, complaining is easy. I invite you try and explain the formula (xy)* = y*x* in plain
English. Not even the
287:
and precisely into the meaning of the term. The (possibly imprecise) plain language definition should be given
467:
303:
they face the prospect of a deeply nested recursive traversal through many pages of jargon-filled definitions.
441:
Google-unfriendly name that *-regular semigroups have, it's hard to locate the relevant literature on them...
21:
446:
420:
395:
364:
342:
328:
187:
299:
providing a layman's (approximate) definition, so that readers can get the gist of what the term is about
268:
monoid", so I had to look up "monoid" . . . except that I gave up at that point. :( (Stack overflow?)
39:
83:
356:
105:
on
Knowledge. If you would like to participate, please visit the project page, where you can join
437:
308:
89:
73:
52:
171:
383:
312:
237:
217:
471:
450:
424:
399:
368:
346:
332:
316:
191:
175:
479:
374:
Actually, while there are plenty of examples here for the basic notion, the section
387:
352:
167:
102:
379:
79:
378:
introduces plenty of sub-concepts and alas exemplifies them only with the (
279:: (a) someone runs across an unfamiliar term and reads the page to get a
262:
plain language definitions help enormously, even if they are imprecise
291:, free of jargon. The gory details and jargon should come later. I
198:
Please make this article easier to understand by non-mathematicians!
15:
459:
If I am wrong it would be good to mention a counter-example.
164:
Semigroup_with_involution#Free_semigroup_with_involution
376:
Semigroup_with_involution#Basic_concepts_and_properties
240:
220:
214:
to look up the definition of a symbol such as "*" or
101:, a collaborative effort to improve the coverage of
275:that a page like this should address, and they are
283:of what that term means; and (b) someone wants to
246:
226:
390:to add more accessible examples to that section.
8:
431:Most difficult section: *-regular semigroups
456:semigroup with the inversion ' as "the" *.
19:
47:
239:
219:
49:
7:
95:This article is within the scope of
38:It is of interest to the following
14:
491:Low-priority mathematics articles
115:Knowledge:WikiProject Mathematics
486:Start-Class mathematics articles
118:Template:WikiProject Mathematics
82:
72:
51:
20:
135:This article has been rated as
162:The extremely tedious section
1:
109:and see a list of open tasks.
176:22:22, 23 August 2014 (UTC)
507:
472:06:00, 6 August 2015 (UTC)
451:09:45, 19 April 2015 (UTC)
425:14:51, 18 April 2015 (UTC)
415:) representing relations.
400:13:18, 18 April 2015 (UTC)
369:06:54, 18 April 2015 (UTC)
347:06:09, 18 April 2015 (UTC)
333:06:05, 18 April 2015 (UTC)
317:16:36, 17 April 2015 (UTC)
192:08:36, 21 April 2015 (UTC)
134:
67:
46:
208:domain-specific notation
141:project's priority scale
98:WikiProject Mathematics
248:
228:
204:high density of jargon
28:This article is rated
249:
229:
258:Examples help a lot.
247:{\displaystyle \in }
238:
227:{\displaystyle \in }
218:
121:mathematics articles
273:two main use cases
244:
224:
90:Mathematics portal
34:content assessment
438:Green's relations
155:
154:
151:
150:
147:
146:
498:
384:inverse relation
253:
251:
250:
245:
233:
231:
230:
225:
123:
122:
119:
116:
113:
92:
87:
86:
76:
69:
68:
63:
55:
48:
31:
25:
24:
16:
506:
505:
501:
500:
499:
497:
496:
495:
476:
475:
464:121.210.225.141
433:
414:
236:
235:
216:
215:
200:
160:
120:
117:
114:
111:
110:
88:
81:
61:
32:on Knowledge's
29:
12:
11:
5:
504:
502:
494:
493:
488:
478:
477:
432:
429:
428:
427:
412:
372:
371:
349:
335:
254:symbol means?
243:
223:
199:
196:
195:
194:
159:
156:
153:
152:
149:
148:
145:
144:
133:
127:
126:
124:
107:the discussion
94:
93:
77:
65:
64:
56:
44:
43:
37:
26:
13:
10:
9:
6:
4:
3:
2:
503:
492:
489:
487:
484:
483:
481:
474:
473:
469:
465:
460:
457:
453:
452:
448:
444:
443:86.127.138.67
439:
430:
426:
422:
418:
417:86.127.138.67
411:
410:
404:
403:
402:
401:
397:
393:
392:86.127.138.67
389:
385:
381:
377:
370:
366:
362:
361:86.127.138.67
358:
354:
350:
348:
344:
340:
339:86.127.138.67
336:
334:
330:
326:
325:86.127.138.67
321:
320:
319:
318:
314:
310:
304:
302:
298:
294:
290:
286:
282:
278:
274:
269:
265:
263:
259:
255:
241:
221:
213:
209:
205:
197:
193:
189:
185:
184:86.127.138.67
180:
179:
178:
177:
173:
169:
165:
157:
142:
138:
132:
129:
128:
125:
108:
104:
100:
99:
91:
85:
80:
78:
75:
71:
70:
66:
60:
57:
54:
50:
45:
41:
35:
27:
23:
18:
17:
461:
458:
454:
434:
408:
407:
373:
305:
300:
296:
292:
288:
284:
280:
276:
272:
270:
266:
261:
257:
256:
211:
207:
203:
201:
161:
137:Low-priority
136:
96:
62:Low‑priority
40:WikiProjects
112:Mathematics
103:mathematics
59:Mathematics
30:Start-class
480:Categories
380:homonymous
285:dig deeply
281:rough idea
271:There are
277:different
206:and the
168:JMP EAX
139:on the
357:groups
309:DBooth
301:before
36:scale.
388:WP:OR
353:WP:FA
297:first
289:first
468:talk
447:talk
421:talk
396:talk
365:talk
343:talk
329:talk
313:talk
260:And
188:talk
172:talk
355:on
212:how
131:Low
482::
470:)
449:)
423:)
398:)
367:)
345:)
331:)
315:)
293:do
242:∈
222:∈
190:)
174:)
158:So
466:(
445:(
419:(
413:2
409:F
394:(
363:(
341:(
327:(
311:(
186:(
170:(
143:.
42::
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.